证明角相等 by Tim Brzezinski

GeoGebra 命令及参数

1. Point(xAxis) → A_1
2. Segment(A_1, A) → f
3. Max(x(A_1), x(A)) → a
4. PointIn(b) → B
5. Circle(B, f) → c
6. Point(c) → D
7. Segment(B, D) → g
8. Circle(A, A_1) → d
9. Line(A, A_1) → h
10. Intersect(d, h, 2) → F
11. CircleArc(A, A_1, F) → e
12. Point(e) → E
13. Angle(A_1, A, E) → α
14. Rotate(D, α, B) → D'
15. Segment(A, E) → i
16. Segment(B, D') → j
17. Circle(A, (0.5 * f)) → k
18. Intersect(k, f) → G,
19. Intersect(k, i) → H,
20. Circle(B, (0.5 * f)) → p
21. Intersect(p, g, 1) → I
22. Intersect(p, j, 1) → J
23. CircleSector(A, G, H) → q
24. CircleSector(B, I, J) → r
25. Segment(A, A_1) → l
26. Segment(A, E) → m
27. Segment(B, D) → n
28. Segment(B, D') → s