双曲线反射性质证明

GeoGebra 命令及参数

1. Segment(E, D) → j
2. Point(d) → P
3. Segment(F_1, P) → e
4. Segment(P, F_2) → f
5. Circle(P, F_2) → h
6. Intersect(h, e, 1) → Q
7. Segment(P, Q) → i
8. Segment(P, F_2) → m
9. Segment(Q, F_2) → n
10. Midpoint(n) → M
11. Line(P, M) → q
12. Polygon(Q, P, M) → poly1, c_1, b_1, a_1
13. Polygon(M, P, F_2) → poly2, f_2, c_2, a_2
14. Segment(M, Q) → r
15. Segment(M, F_2) → s
16. Angle(P, M, Q) → α
17. Point(q) → P'
18. Segment(F_2, P') → t
19. Segment(P', Q) → d_1
20. Segment(F_1, P') → e_1
21. Angle(Q, P, M) → β
22. Angle(M, P, F_2) → γ
23. Ray(F_1, P) → f_1
24. Point(f_1) → A
25. Point(q) → B
26. Angle(A, P, B) → δ
27. Ray(F_2, P) → g_1
28. Point(g_1) → C
29. Angle(B, P, C) → ε