直角三角形内的特殊相似关系

GeoGebra 命令及参数

1. Mirror(B, yAxis) → B_1
2. Rotate(B_1, e°, A) → B''_1
3. Polygon(C, A, B) → t1, b, c, a
4. Mirror(C, yAxis) → C'_1
5. Mirror(A, yAxis) → A'_2
6. Polygon(C'_1, A'_2, B_1) → t1', b', c', a'
7. OrthogonalLine(A, a') → f
8. Intersect(f, a') → D
9. Polygon(B_1, A, D) → t2, d, b'_1, a_1
10. Polygon(A, D, C) → t3, c_1, a_2, d_1
11. Rotate(A, e°, A) → A'_1
12. Rotate(D, e°, A) → D'_1
13. Polygon(B''_1, A'_1, D'_1) → t2', d', b'', a'_1
14. Vector(B''_1, ((e * 3.1 / 112.6) + x(B''_1), (e * 4.6 / 112.6) + y(B''_1))) → u
15. Translate(B''_1, u) → B'
16. Translate(A'_1, u) → A'
17. Translate(D'_1, u) → D'
18. Polygon(B', A', D') → t2'', d'', b''', e_1
19. Angle(D, A, B_1) → α
20. Rotate(A, (e * (α / 112.6)°), A) → A'_3
21. Rotate(D, (e * (α / 112.6)°), A) → D'_2
22. Rotate(A, (e * (α / 112.6)°), A) → A'_4
23. Rotate(D, (e * (α / 112.6)°), A) → D'_3
24. Rotate(A, (-((e * (α / 112.6)°))), A) → A'_5
25. Rotate(D, (-((e * (α / 112.6)°))), A) → D'_4
26. Rotate(A, (e * (22.62 / 112.6)°), A) → A'_6
27. Rotate(D, (e * (22.62 / 112.6)°), A) → D'_5
28. Rotate(C, (e * (22.62 / 112.6)°), A) → C'_4
29. Polygon(A'_6, D'_5, C'_4) → t3', c'_4, a'_6, d'_5
30. Vector(A, (x(A) + (5 / 112 * e), 0)) → v
31. Translate(A'_6, v) → A''
32. Translate(D'_5, v) → D''
33. Translate(C'_4, v) → C''
34. Polygon(A'', D'', C'') → t3'', g_1, e_2, f_1
35. Angle(B', D', A') → β
36. Angle(C'', D'', A'') → γ
37. Segment(A, D) → i
38. Angle(A, D, C) → δ
39. Angle(B, A, C) → ε