毕达哥拉斯定理的相似三角形证明

GeoGebra 命令及参数

1. Polygon(A, B, C) → poly1, c, a, b
2. Polygon(D, F, E) → poly2, e, d, f
3. Line(E, e) → g
4. Circle(E, a^(2)) → h
5. Intersect(h, g, 2) → G
6. Polygon(E, F, G) → poly3, i, j, l
7. Circle(E, b^(2)) → k
8. Intersect(k, g, 1) → H
9. Polygon(E, H, D) → poly4, d_1, e_2, h_1
10. Angle(poly1) → α, β, γ
11. Angle(poly2) → δ, ε, ζ
12. Angle(poly4) → η, θ, ι
13. Angle(poly3) → κ, λ, μ
14. OrthogonalLine(D, e) → m
15. Intersect(m, g) → I
16. Segment(D, I) → n
17. Segment(H, I) → p
18. OrthogonalLine(F, e) → q
19. Intersect(q, g) → J
20. Segment(F, J) → r
21. Segment(J, G) → s