嵌套三角形相似问题

GeoGebra 命令及参数

1. Segment(A, B) → a
2. Polygon(A, B, C) → poly1, c, a_1, b
3. Point(b) → D
4. Line(D, a) → d
5. Intersect(d, a_1) → E
6. Polygon(C, D, E) → poly2, e, c_1, d_1
7. Segment(A_1, B_1) → a_2
8. Point(Circle[F, abs(a)]) → G
9. Segment(F, G) → f
10. Angle(B, A, C) → α
11. Rotate(G, α, F) → G'
12. Angle(G, F, G') → β
13. Line(F, G') → g
14. Circle(F, Segment[A, C]) → h
15. Intersect(h, g, 2) → H
16. Segment(H, G) → i
17. Polygon(F, G, H) → poly3, h_1, f_1, g_1
18. Point(Circle[I, abs(c_1)]) → J
19. Segment(I, J) → j
20. Rotate(J, α, I) → J'
21. Angle(J, I, J') → γ
22. Line(I, J') → k
23. Circle(I, Segment[D, C]) → p
24. Intersect(p, k, 2) → K
25. Segment(K, J) → l
26. Polygon(I, J, K) → poly4, k_1, i_1, j_1