勾股定理证明1

GeoGebra 命令及参数

1. Polygon(B, A, 4) → poly1, b, c, d, e, D, E
2. Polygon(C, B, 4) → poly2, f, g, h, i, F, G
3. Polygon(A, C, B) → poly3, b_1, a_1, c_1
4. OrthogonalLine(B, b_1) → j
5. Polygon(A, C, 4) → poly4, k, l, m, n, H, I
6. Intersect(j, m) → J
7. Intersect(j, b_1) → K
8. Polygon(I, J, K, A) → poly5, i_1, j_1, k_1, a_2
9. Polygon(J, H, C, K) → poly6, j_2, h_1, c_2, k_2
10. Polygon(A, B, C) → poly7, c_3, a_3, b_2