Angle-Angle Similarity Theorem Quick Investigation

GeoGebra Commands & Parameters

1. Rotate(D, (a_{2} * π / 180), E) → D'
2. Ray(E, D') → n
3. Rotate(B, (a_{2} * π / 180), A) → B'_{1}
4. Ray(A, B'_{1}) → f_{3}
5. Rotate(A, ((-a_3) * π / 180), B) → A'
6. Ray(B, A') → i
7. Intersect(f_{3}, i) → C
8. Rotate(E, ((-a_3) * π / 180), D) → E'_{1}
9. Ray(D, E'_{1}) → l
10. Intersect(l, n) → F
11. Segment(E, F) → d
12. Line(A, d) → g_1
13. Point(g_1) → O
14. Point(g_1) → N
15. Segment(D, E) → f
16. Segment(A, B) → c
17. Rotate(B, (a_{2} * π / 180), A) → B'
18. Angle(B, A, B') → α
19. Rotate(E, α, D) → E'
20. Ray(D, E') → h
21. Ray(A, B') → g
22. Ray(A, B) → f_{2}
23. Ray(D, E) → m
24. Line(A, f) → i_1
25. Point(i_1) → M
26. Segment(A, C) → a
27. Segment(C, B) → b
28. Polygon(A, B, C) → t1, c_{2}, a_{1}, b_1
29. Polygon(D, F, E) → t2, e_1, d_{2}, f_1
30. Segment(F, D) → e
31. Circle(A, (0.4 * Min[l1])) → r
32. Circle(C, (0.4 * Min[l1])) → s
33. Intersect(r, c, 1) → G
34. Intersect(r, a, 1) → H
35. Intersect(s, a, 1) → I
36. Intersect(s, b, 1) → J
37. CircleSector(A, G, H) → t
38. Circle(B, (0.4 * Min[l1])) → c_1
39. Intersect(c_1, b, 1) → K
40. Intersect(c_1, c, 1) → L
41. CircleSector(B, K, L) → d_1
42. Dilate(A, If[0 < v ≤ 1, 1 - v, 0], E) → A'_{2}
43. Vector(A, A'_{2}) → u_1
44. Translate(t, u_1) → t'
45. CircleArc(A, G, H) → h_1
46. Angle(C, A, O) → β
47. Rotate(t', If[0 < v ≤ 1, (v * β), β], A'_{2}) → t''
48. Line(B, e) → j_1
49. Point(j_1) → P
50. Dilate(B, If[1 < v ≤ 2, 2 - v, 0], D) → B'_{2}
51. Vector(B, B'_{2}) → u
52. Translate(d_1, u) → k_1
53. Angle(C, B, P) → γ
54. Rotate(k_1, If[1 < v ≤ 2, ((v - 1) * γ), γ], B'_{2}) → p_1
55. CircleArc(B, K, L) → k