毕达哥拉斯定理 by kneido

GeoGebra 命令及参数

1. Semicircle(A, B) → c_2
2. Point(c_2) → C
3. Polygon(A, B, C) → poly1, c, a, b
4. Angle(poly1) → α, β, γ
5. OrthogonalLine(C, a) → d
6. OrthogonalLine(B, a) → e
7. Circle(C, B) → f
8. Intersect(f, d, 1) → D
9. Line(D, a) → g
10. Intersect(e, g) → E
11. Polygon(C, B, E, D) → poly2, c_1, b_1, e_1, d_1
12. OrthogonalLine(C, b) → h
13. OrthogonalLine(A, b) → i
14. Circle(A, C) → k
15. Intersect(k, i) → F, G
16. Line(F, b) → j
17. Intersect(h, j) → H
18. Polygon(A, C, H, F) → poly3, a_1, c_3, h_1, f_1
19. OrthogonalLine(A, c) → l
20. OrthogonalLine(B, c) → m
21. Circle(B, A) → p
22. Intersect(p, m, 1) → I
23. Line(I, c) → n
24. Intersect(l, n) → J
25. Polygon(A, B, I, J) → poly4, a_3, b_2, i_1, j_1
26. Midpoint(A, I) → K
27. Midpoint(C, E) → L
28. Midpoint(A, H) → M