铰接正方形与勾股定理的直观演示

GeoGebra 命令及参数

1. Circle(A, B) → c
2. Circle(A, C) → d
3. Point(d) → D
4. Line(A, D) → a
5. OrthogonalLine(A, a) → b
6. OrthogonalLine(D, a) → e
7. Intersect(d, b, 2) → E
8. OrthogonalLine(E, b) → f
9. Intersect(e, f) → F
10. Point(c) → G
11. Line(A, G) → g
12. OrthogonalLine(A, g) → h
13. OrthogonalLine(G, g) → i
14. Intersect(c, h, 1) → H
15. OrthogonalLine(H, h) → j
16. Intersect(i, j) → I
17. Polygon(I, H, A, G) → poly1, i_1, h_1, a_1, g_1
18. Polygon(A, E, F, D) → poly2, a_2, e_1, f_1, d_1
19. Segment(D, G) → k
20. OrthogonalLine(D, k) → l
21. OrthogonalLine(G, k) → m
22. Circle(D, G) → p
23. Intersect(p, l, 2) → J
24. OrthogonalLine(J, l) → n
25. Intersect(m, n) → K
26. Polygon(D, J, K, G) → poly3, d_2, j_1, k_1, g_2
27. PointIn(poly3) → Pointpoly3
28. Angle(G, A, D) → t