勾股定理与平行线间面积守恒

GeoGebra 命令及参数

1. Semicircle(A, B) → c
2. Point(c) → C
3. Polygon(A, B, C) → t1, c_1, a, b
4. Polygon(A, C, 4) → poly1, f, g, h, i, D, E
5. Polygon(C, B, 4) → poly2, j, k, l, m, F, G
6. Polygon(B, A, 4) → poly3, n, p, q, r, H, I
7. Line(D, b) → s
8. Line(G, a) → t
9. Intersect(s, t) → J
10. Line(J, p) → d
11. Midpoint(A, J) → K
12. Mirror(C, K) → C'
13. If(w ≤ 1, w, 1) → e
14. Dilate(C', e, E) → C''
15. Midpoint(C'', C) → L
16. Mirror(A, L) → A'
17. Polygon(C'', A', C, A) → q1, c'', a', c_2, a_1
18. Midpoint(J, B) → M
19. Mirror(C, M) → C'_1
20. Dilate(C'_1, e, F) → N
21. Midpoint(C, N) → O
22. Mirror(B, O) → B'
23. Polygon(B', N, B, C) → q2, b', n_1, b_1, c_3
24. If(w ≤ 2 ∧ w > 1, w - 1, 1) → o
25. Vector(J, C) → u
26. Translate(C, u) → C'_2
27. Dilate(C'_2, o, C) → P
28. Dilate(H, o, A) → H'
29. Dilate(A, o, C') → A'_1
30. Dilate(C, o, J) → C'_3
31. Polygon(A'_1, C'_3, P, H') → q3, a'_1, c'_3, p_1, h'
32. Dilate(I, o, B) → I'
33. Dilate(B, o, C'_1) → B'_1
34. Polygon(B'_1, I', P, C'_3) → q4, b'_1, i', p_2, c'_1
35. If(w ≤ 3 ∧ w > 2, w - 2, 1) → v
36. Intersect(d, c_1) → Q
37. Intersect(d, q) → R
38. Dilate(R, v, C'_2) → R'
39. Dilate(Q, v, C) → Q'
40. Polygon(H, R', Q', A) → q5, h_1, r', q', a_2
41. Polygon(Q', B, I, R') → q6, q'_1, b_2, i_1, r'_1
42. Angle(A, C, B) → α
43. Polygon(A, C, 4) → poly4, f_1, g_1, j_1, k_1, S, T
44. Polygon(C, B, 4) → poly5, l_1, m_1, q_1, r_1, U, V
45. Segment(J, R) → s_1
46. Segment(E, J) → t_1
47. Segment(J, F) → d_1
48. Segment(C'', A) → e_1
49. Segment(N, B) → g_2
50. Segment(J, Q) → f_2
51. Segment(Q, R) → h_2