勾股定理证明 by sonom

GeoGebra 命令及参数

1. Segment(A, B) → a
2. OrthogonalLine(A, a) → b
3. Point(b) → C
4. Segment(C, B) → c
5. Segment(A, C) → d
6. Rotate(C, 90*°, A) → C'
7. OrthogonalLine(A, c) → e
8. Intersect(e, c) → D
9. Angle(C, D, A) → β
10. Angle(C, B, A) → γ
11. Segment(A, D) → f
12. Angle(A, C, D) → ζ
13. Angle(B, A, C) → α
14. Angle(B, A, D) → δ
15. Angle(D, A, C) → ε
16. Polygon(B, A, C) → poly1, c_1, b_1, a_1