Full Geometry Proof of i - Example 2

GeoGebra Commands & Parameters

1. Semicircle(C, D) → c
2. Semicircle(D, C) → d
3. Segment(A, D) → a
4. Circle(A, 1) → f
5. Semicircle(E, F) → r
6. Semicircle(F, E) → g
7. Polygon(B, A, C, G) → poly1, b_1, a_1, c_1, g_1
8. Vector((1.414213562373095, 1.414213562373095)) → u_3
9. Vector((1.79, 0.89)) → v
10. Segment(G, B) → e
11. Segment(G, J) → h
12. Segment(G, K) → i
13. Angle(B, G, K) → α_u
14. Angle(B, G, J) → β_v
15. Vector((0.89, 1.79)) → w
16. Segment(G, L) → j
17. Angle(B, G, L) → δ_w
18. Angle(J, G, L) → Δ_v
19. Circle(G, K) → k
20. Point(r) → N
21. Point(g) → M
22. Segment(N, A) → p
23. Segment(A, M) → q
24. Segment(M, N) → s
25. Polygon(N, C, G, B, M) → poly2, n_1, c_2, g_2, b_2, m_1
26. Vector((2, 1)) → t
27. Vector((1, 2)) → u
28. Segment(G, N) → d_1
29. Segment(G, M) → e_1
30. Angle(M, G, N) → α_t
31. Segment(A, R) → k_1
32. Segment(A, Q) → l_1
33. Segment(Q, R) → p_1
34. Circle(A, S) → q_1
35. Distance(G, A) → distanceGA
36. Point(Circle[A, 3]) → T
37. Segment(A, T) → r_1
38. Point(Circle[G, 3]) → U
39. Segment(G, U) → s_1
40. Point(Circle[T, 2.8284271247461903]) → V
41. Segment(T, V) → t_1
42. Distance(G, Q) → distanceGQ
43. Distance(G, M) → distanceGM
44. Segment(G, M) → a_2
45. Segment(W, Z) → d_2
46. Vector(A_1, B_1) → u_2
47. Vector(C_1, D_1) → v_2
48. Distance(G, N) → distanceGN
49. Midpoint(G, N) →
50. Segment(G, N) → f_2