边边相似性是否足够证明三角形相似？

GeoGebra 命令及参数

1. Line(A, B) → a
2. Line(C, a) → b
3. Point(b) → D
4. Polygon(A, C, D, B) → poly1, a_1, c, d, b_1
5. Intersect(a_1, d) → E
6. Distance(A, E) → γ
7. Distance(B, E) → α
8. Distance(C, E) → δ
9. Distance(D, E) → ζ
10. Polygon(E, B, A) → poly2, a_2, e, b_2
11. Polygon(E, C, D) → poly3, d_1, e_1, c_1
12. Rotate(B, -45*°, E) → B'
13. CircleArc(E, B', B) → f
14. Point(f) → F
15. Segment(E, F) → g
16. Polygon(E, F, A) → poly4, a_3, e_2, f_1
17. Distance(A, B) → β
18. Distance(D, C) → ε
19. Distance(A, F) → η
20. Distance(A, B) → distanceAB