勾股定理证明41

GeoGebra 命令及参数

1. CircleArc(Midpoint[A, B], B, A) → th
2. Point(th) → Th_2
3. Point(th) → Th_1
4. CircleArc(Midpoint[A, B], Th_1, Th_2) → th_2
5. Polygon(B, A, 4) → QHyp, c, g, h, i, C_1, C_2
6. Midpoint(c) → M_c
7. Point(th_2) → C
8. OrthogonalLine(M_c, c) → m_c
9. Intersect(m_c, OrthogonalLine[C, m_c]) → C_M
10. Angle(C, M_c, C_M) → wi_m
11. If(wi_m ≤ π / 2, 1, -1) → vz
12. Intersect(OrthogonalLine[Fps, c], Ray[Fpv, C]) → D_1
13. Polygon(C, B, 4) → QKA, a, k, l, m, A_1, A_2
14. Polygon(A, C, 4) → QKB, b, p, q, r, B_1, B_2
15. Polygon(E_{11}, E_{12}, E_{13}) → Poly1, f, j, n
16. Polygon(E_{21}, E_{22}, E_{23}, E_{24}) → Poly2, e_{21}, e_{22}, e_{23}, e_{24}
17. Intersect(Ray[D_2, D_2 + (vz * v_c)], Ray[Fps, Fps + w_2]) → D_3
18. Intersect(Ray[Fpv, C], OrthogonalLine[D_3, c]) → D_5
19. Polygon(E_{31}, E_{32}, E_{33}) → Poly3, e_{33}, e_{31}, e_{32}
20. Polygon(E_{41}, E_{42}, E_{43}, E_{44}) → Poly4, e_{41}, e_{42}, e_{43}, e_{44}
21. Polygon(E_{51}, E_{52}, E_{53}) → Poly5, e_{53}, e_{51}, e_{52}
22. Segment(Fps, Fps + (Min[Max[t_6 - 0, 0], 1] * Vector[Fps, D_1])) → sn_1
23. Segment(D_2, D_2 + (Min[Max[t_6 - 1, 0], 1] * Vector[D_2, D_3])) → sn_2
24. Segment(D_3, D_3 + (Min[Max[t_6 - 2, 0], 1] * Vector[D_3, D_5])) → sn_3