达兰贝尔定理 - 双曲线

GeoGebra 命令及参数

1. InfiniteCone((0, 0, 0), (0, 0, 1), pi / 2 - a_{cone}) → cone
2. Line(O, v) → g
3. Line(O, u) → h
4. Plane(g, h) → plano
5. IntersectPath(plano, cone) → conica
6. Line((0, 0, 0), w) → e
7. AngularBisector(e, g) → f, j
8. Intersect(zAxis, f) → C
9. Distance(C, e) → n
10. Sphere(C, n) → esf_2
11. IntersectPath(plano, esf_2) → f_2
12. Point(f_2) → F_2
13. Intersect(zAxis, j) → D
14. Distance(D, e) → l
15. Sphere(D, l) → esf_1
16. IntersectPath(plano, esf_1) → f_1
17. Point(f_1) → F_1
18. Intersect(e, esf_1) → Q_1, F
19. Intersect(e, esf_2) → Q_2, H
20. Segment(Q_1, Q_2) → b_1
21. Point(conica) → P
22. Segment(P, F_2) → q
23. Segment(F_1, P) → p
24. Distance(P, f_2) → r_2
25. Distance(P, f_1) → r_1
26. Point(g) → A
27. Point(yAxis) → B
28. Angle(A, O, B) → β
29. Plane(zAxis, yAxis) → b
30. IntersectPath(b, cone) → c
31. Plane(c) → d
32. IntersectConic(cone, esf_1) → r
33. Circle(zAxis, F) → c_1
34. Circle(zAxis, H) → c_2
35. Line((0, 0, 0), P) → i
36. Intersect(i, c_1) → P_1,
37. Intersect(i, c_2) → P_2,
38. Segment(P_1, P) → k
39. Segment(P_2, P) → m
40. Distance(Q_1, Q_2) → a_1
41. Intersect(g, conica) → V_2, V_1
42. Distance(V_2, V_1) → doisa