特殊平行四边形探索

GeoGebra 命令及参数

1. Segment(F, G) → f
2. OrthogonalLine(F, f) → g
3. OrthogonalLine(G, f) → h
4. Point(g) → H
5. Line(H, f) → i
6. Intersect(h, i) → I
7. Polygon(H, I, G, F) → poly2, h_1, i_1, g_1, f_1
8. Segment(J, K) → j
9. Polygon(J, K, 4) → poly3, k, l, m, n, L, M
10. Segment(N, O) → p
11. Line(P, p) → q
12. Segment(O, P) → r
13. Line(N, r) → s
14. Intersect(q, s) → Q
15. Polygon(P, Q, N, O) → poly4, p_1, q_1, n_1, o
16. Distance(P, O) → distancePO
17. Distance(O, N) → distanceON
18. Distance(N, Q) → distanceNQ
19. Distance(Q, P) → distanceQP
20. Distance(F, G) → distanceFG
21. Distance(F, H) → distanceFH
22. Distance(H, I) → distanceHI
23. Distance(I, G) → distanceIG
24. Distance(K, J) → distanceKJ
25. Distance(J, M) → distanceJM
26. Distance(M, L) → distanceML
27. Distance(L, K) → distanceLK
28. Angle(poly4) → α, β, γ, δ
29. Angle(poly2) → ε, ζ, η, θ
30. Angle(poly3) → ν, ξ, ο, ρ
31. Segment(O, Q) → b_1
32. Segment(P, N) → c_1
33. Segment(H, G) → e_1
34. Segment(I, F) → j_1
35. Segment(K, M) → m_1
36. Segment(L, J) → r_1
37. Intersect(b_1, c_1) → R
38. Intersect(e_1, j_1) → S
39. Intersect(m_1, r_1) → U
40. Angle(K, U, L) → σ
41. Distance(O, R) → distanceOR
42. Distance(R, Q) → distanceRQ
43. Distance(P, R) → distancePR
44. Distance(R, N) → distanceRN
45. Distance(F, S) → distanceFS
46. Distance(S, I) → distanceSI
47. Distance(H, S) → distanceHS
48. Distance(S, G) → distanceSG
49. Distance(K, U) → distanceKU
50. Distance(U, J) → distanceUJ
51. Distance(U, M) → distanceUM
52. Distance(U, L) → distanceUL
53. Segment(A, B) → a
54. LineBisector(a) → b
55. Point(b) → C
56. Intersect(b, a) → D
57. Circle(D, Segment[D, C]) → c
58. Intersect(c, b, 2) → E
59. Polygon(C, B, E, A) → poly1, c_2, b_2, e, a_1
60. Segment(C, E) → d
61. Segment(B, A) → d_1
62. Angle(C, D, B) → ι
63. Distance(D, A) → distanceDA
64. Distance(B, D) → distanceBD
65. Distance(D, E) → distanceDE
66. Distance(C, D) → distanceCD
67. Angle(poly1) → κ, λ, μ, τ
68. Segment(B, E) → k_1
69. Segment(E, A) → l_1
70. Segment(A, C) → s_1
71. Segment(C, B) → t_1