等腰三角形判定定理的交互式探究（G.GCO.9）

GeoGebra 命令及参数

1. Rotate(B, (-α), A) → B'
2. Angle(B', A, B) → β
3. Ray(A, B') → f
4. Point(f) → C
5. Rotate(A, (-α), C) → A'
6. Angle(A', C, A) → γ
7. Ray(C, A') → g
8. Ray(A, B) → h
9. Intersect(g, h) → D
10. Segment(A, D) → i
11. Segment(C, D) → j
12. Segment(A, C) → k
13. Polygon(A, C, D) → poly1, d, a, c
14. Min(i, k) → e
15. Circle(A, (0.2 * e)) → p
16. Intersect(p, k, 1) → E
17. Intersect(p, i, 1) → F
18. CircleSector(A, E, F) → q
19. Dilate(A, If[0 < b ≤ 1, 1 - b, 0], C) → A'_1
20. Segment(A, A'_1) → l
21. Vector(A, A'_1) → u
22. Translate(q, u) → q'
23. Rotate(q', If[1 < b ≤ 2, ((b - 1) * (π - α)), π - α], C) → q''
24. Dilate(A, If[2 < b ≤ 3, 3 - b, 0], D) → A'_2
25. Dilate(C, If[2 < b ≤ 3, 3 - b, 0], D) → C'
26. Segment(A, A'_2) → m
27. Segment(C, C') → n
28. Rotate(A, If[3.5 < b ≤ 4.5, ((b - 3.5) * (π - (2 * α))), π - (2 * α)], D) → A'_3
29. Rotate(A'_2, If[3.5 < b ≤ 4.5, ((b - 3.5) * (π - (2 * α))), π - (2 * α)], D) → G
30. Segment(A'_3, G) → m'