角边角全等公理演示

GeoGebra 命令及参数

1. Vector(A, B) → u
2. Vector(A, C) → v
3. Vector(D, E) → w
4. Vector(D, F) → a
5. Segment(G, H) → f
6. Angle(C, A, B) → α
7. Circle(I, Segment[G, H]) → c
8. Point(c) → J
9. Segment(I, J) → g
10. Circle(I, Segment[A, C]) → d
11. Circle(I, Segment[A, B]) → e
12. Intersect(d, g, 1) → K
13. Circle(K, Segment[C, B]) → h
14. Intersect(e, h, 1) → L
15. Segment(I, L) → i
16. Circle(J, Segment[F, D]) → k
17. Circle(J, Segment[D, E]) → p
18. Intersect(k, g, 1) → M
19. Circle(M, Segment[F, E]) → q
20. Line(I, L) → j
21. Intersect(p, q, 2) → N
22. Line(J, N) → l
23. Angle(E, D, F) → β
24. Intersect(j, l) → O
25. Angle(O, J, I) → γ
26. Angle(J, I, O) → δ
27. Segment(J, O) → m
28. Segment(O, I) → n
29. Circle(P, Segment[G, H]) → r
30. Point(r) → Q
31. Segment(P, Q) → s
32. Circle(P, Segment[A, C]) → t
33. Circle(P, Segment[A, B]) → c_1
34. Intersect(t, s, 1) → R
35. Circle(R, Segment[C, B]) → d_1
36. Intersect(c_1, d_1, 1) → S
37. Line(P, S) → b
38. Circle(Q, Segment[D, F]) → e_1
39. Circle(Q, Segment[D, E]) → f_1
40. Intersect(e_1, s, 1) → T
41. Circle(T, Segment[F, E]) → g_1
42. Intersect(f_1, g_1, 2) → U
43. Line(Q, U) → h_1
44. Intersect(b, h_1) → V
45. Segment(V, P) → i_1
46. Segment(V, Q) → j_1
47. Angle(V, Q, P) → ε
48. Angle(Q, P, V) → ζ