勾股定理视觉证明：通过几何图形展示直角三角形边长关系

GeoGebra 命令及参数

1. Point(Circle[A, a_1 + b_1]) → B
2. Segment(A, B) → c_1
3. Polygon(A, B, 4) → poly1, a_4, b_4, d, e, C_1, D
4. Circle(D, a_1) → f
5. Circle(B, b_1) → g
6. Intersect(f, d) → E,
7. Intersect(f, e) → F,
8. Intersect(g, b_4) → G,
9. Intersect(g, c_1) → H,
10. OrthogonalLine(E, d) → h
11. OrthogonalLine(F, e) → i
12. Intersect(i, h) → I
13. Segment(F, H) → c
14. Segment(I, C_1) → k
15. Polygon(D, F, I, E) → poly2, a_3, a, i_1, e_1
16. Polygon(I, H, B, G) → poly3, b, h_1, b_2, g_1
17. Point(Circle[J, a_1 + b_1]) → K
18. Segment(J, K) → j
19. Polygon(J, K, 4) → poly4, j_1, k_1, l, m, L, M
20. Circle(J, a_1) → p
21. Circle(L, a_1) → q
22. Circle(J, b_1) → r
23. Circle(L, b_1) → s
24. Intersect(p, j) → N,
25. Intersect(r, m) → O,
26. Intersect(s, k_1) → P,
27. Intersect(q, l) → Q,
28. Polygon(N, O, Q, P) → poly5, n, o, C, p_1
29. Text(aXa) → text1
30. Text(bXb) → text2
31. Text(aXb) → text3
32. Text(cXc) → text4
33. Text(c) → text5