婆什迦罗（Bhaskara）勾股定理证明的动态演示

GeoGebra 命令及参数

1. Midpoint(A, B) → A_1
2. CircleArc(A_1, B, Z) → s
3. Point(s) → C
4. Polygon(A, C, B) → P, b_1, a_1, c_1
5. Angle(A, C, B) → α
6. Vector(A, D) → h
7. Translate(A, h) → A'
8. Translate(C, h) → C'
9. Translate(B, h) → B'
10. Polygon(A', C', B') → P', b', a', c'
11. Polygon(A', M, L, B') → Q, a'_1, m, l, b'_1
12. Polygon(I, J, K, G) → R, i, j, k, g_1
13. Polygon(G, H, F, E) → S, g_2, h_1, f_1, e_1
14. Line(C', B') → n
15. Line(M, n) → p
16. OrthogonalLine(L, p) → q
17. Intersect(p, b') → N
18. Intersect(q, p) → O
19. Intersect(q, n) → T
20. Polygon(M, N, A') → U, a'_2, m_1, n_1
21. Polygon(M, L, O) → V, o, m_2, l_1
22. Polygon(T, B', L) → W, l_2, t, b'_2
23. Polygon(T, O, N, C') → Y, t_1, o_1, n_2, c'_1
24. Translate(T, g) → T'
25. Translate(O, g) → O'
26. Translate(N, g) → N'
27. Translate(C', g) → C''
28. Polygon(T', O', N', C'') → Y', t', o', n', c''
29. Angle(C, A, B) → β
30. Rotate(T', ((-b) * β), N') → T''
31. Rotate(O', ((-b) * β), N') → O''
32. Rotate(N', ((-b) * β), N') → N''
33. Rotate(C'', ((-b) * β), N') → C'''
34. Polygon(T'', O'', N'', C''') → Y'', t'', o'', n'', c'''
35. Translate(T, r) → T'_1
36. Translate(B', r) → B''
37. Translate(L, r) → L'
38. Polygon(T'_1, B'', L') → W', l', t'_1, b''
39. Rotate(T'_1, ((-c) * β), L') → T'_1'
40. Rotate(B'', ((-c) * β), L') → B'''
41. Rotate(L', ((-c) * β), L') → L''
42. Polygon(T'_1', B''', L'') → W'', l'', t'_1', b'''
43. Translate(M, u_1) → M'
44. Translate(N, u_1) → N'_1
45. Translate(A', u_1) → A''
46. Polygon(M', N'_1, A'') → U', a'', m', n'_1
47. Rotate(M', ((-d) * β), A'') → M''
48. Rotate(N'_1, ((-d) * β), A'') → N'_1'
49. Rotate(A'', ((-d) * β), A'') → A'''
50. Polygon(M'', N'_1', A''') → U'', a''', m'', n'_1'
51. Translate(M, v_1) → M'_1
52. Translate(L, v_1) → L'_1
53. Translate(O, v_1) → O'_1
54. Polygon(M'_1, L'_1, O'_1) → V', o'_1, m'_1, l'_1
55. Rotate(M'_1, ((-e) * β), M'_1) → M'_1'
56. Rotate(L'_1, ((-e) * β), M'_1) → L'_1'
57. Rotate(O'_1, ((-e) * β), M'_1) → O'_1'
58. Polygon(M'_1', L'_1', O'_1') → V'', o'_1', m'_1', l'_1'
59. Translate(A', w_1) → A''_1
60. Translate(C', w_1) → C''_1
61. Translate(B', w_1) → B''_1
62. Polygon(A''_1, C''_1, B''_1) → P'', b''_1, a''_1, c''_1
63. Rotate(A''_1, ((-f) * β), A''_1) → A''_1'
64. Rotate(C''_1, ((-f) * β), A''_1) → C''_1'
65. Rotate(B''_1, ((-f) * β), A''_1) → B''_1'
66. Polygon(A''_1', C''_1', B''_1') → P''', b''_1', a''_1', c''_1'
67. Vector(B_1, C_1) → z_1