毕达哥拉斯定理的婆什迦罗证明

GeoGebra 命令及参数

1. Point(c_1) → D
2. Polygon(B, D, C) → t1, a, b, c
3. Angle(B, D, C) → α
4. Polygon(I, G, H) → t2, h, i, g
5. Angle(H, G, I) → β
6. Polygon(I, J, H) → t3, h_1, i_1, j
7. Angle(I, J, H) → γ
8. OrthogonalLine(E, a) → f
9. Intersect(f, a) → K
10. Polygon(E, B, K) → t4, k, e, b_1
11. Angle(E, K, B) → δ
12. OrthogonalLine(F, b_1) → l
13. Intersect(l, b_1) → L
14. Polygon(E, L, F) → t5, f_1, e_1, l_1
15. Line(C, D) → m
16. Intersect(m, e_1) → M
17. Polygon(M, C, F) → t6, f_2, m_1, c_2
18. Polygon(L, M, D, K) → q1, l_2, m_2, d, k_1
19. Polygon(R, Q, J, P) → q2, r, q, j_1, p_2
20. Angle(F, L, E) → ε
21. Angle(C, M, F) → ζ
22. Polygon(U, S, T, V) → q3, u, s, t, v
23. Polygon(Z, W, B_1, A_1) → q4, z_1, w, b_2, a_1
24. Polygon(C_1, B_1, E_1, D_1) → q5, c_3, b_3, e_2, d_1
25. Polygon(Z, W, F_1) → t9, f_3, z_2, w_1
26. Polygon(D_1, F_1, E_1) → t10, e_3, d_2, f_4
27. Polygon(O, H, N) → t7, n, o, h_2
28. Polygon(O, P, H) → t8, h_3, o_1, p
29. Circle(T, b) → g_1
30. Circle(S, a) → p_1
31. Intersect(g_1, p_1, 2) → G_1
32. Polygon(S, G_1, T) → t11, t_1, s_1, g_2
33. Angle(S, G_1, T) → η
34. Angle(F_1, W, Z) → θ
35. Angle(D_1, E_1, F_1) → ι
36. Angle(O, N, H) → κ
37. Angle(H, P, O) → λ