勾股定理的一种证明

GeoGebra 命令及参数

1. Intersect(c_2, h) → A
2. Intersect(c_2, e) → B
3. Intersect(e, i) → C
4. Intersect(h, i) → D
5. Intersect(a_1, h) → E
6. Intersect(a_1, e) → F
7. Intersect(e, g) → G
8. Intersect(g, h) → H
9. Intersect(e, b_2) → I
10. Intersect(c_2, d) → J
11. Intersect(h, f) → K
12. Intersect(i, j) → L
13. Intersect(j, k) → M
14. Intersect(e, k) → N
15. Intersect(a_1, j) → O
16. Intersect(g, j) → Q
17. Angle(L, C, I) → lbr90
18. Polygon(J, K, L, I) → cc, cc2, cc3, cc4, cc1
19. Polygon(C, L, I) → lbr, lbra, lbrc, lbrb
20. Polygon(K, D, L) → ltr, ltra, ltrb, ltrc
21. Polygon(A, J, K) → ltl, ltla, ltlc, ltlb
22. Polygon(B, I, J) → lbl, lbla, lblc, lblb
23. Intersect(h, k) → P
24. Polygon(Q, N, G) → rbr, rbrc, rbrb, rbra
25. Polygon(M, N, Q) → rbc, rbca, rbcc, rbcb
26. Polygon(O, F, N, M) → aa, aal, aab, aar, aat
27. Polygon(P, M, Q, H) → bb, bbl, bbb, bbr, bbt
28. Polygon(O, M, E) → rtl, rtla, rtlc, rtlb
29. Polygon(P, E, M) → rtc, rtca, rtcc, rtcb
30. Angle(N, M, Q) → rbc90