Pythagorean Theorem Proof via Areas

GeoGebra Commands & Parameters

1. Ray(A, XA) → a
2. Point(a) → B
3. Midpoint(A, B) → O
4. Semicircle(A, B) → c
5. Point(c) → C
6. Segment(A, B) → b
7. Segment(B, C) → d
8. Segment(C, A) → e
9. Angle(A, C, B) → α
10. Polygon(A, C, 4) → poly1, a_1, d_1, f, g, D, E
11. Polygon(C, B, 4) → poly2, d_2, b_1, h, i, F, G
12. Polygon(B, A, 4) → poly3, b_2, a_2, j, k, H_1, I
13. Segment(C, D) → l
14. Segment(D, E) → m
15. Segment(E, A) → n
16. Segment(A, H_1) → p
17. Segment(H_1, I) → q
18. Segment(I, B) → r
19. Segment(B, F) → s
20. Segment(F, G) → t_1
21. Segment(G, C) → c_1
22. Line(A, B) → e_1
23. OrthogonalLine(C, e_1) → f_1
24. Intersect(e_1, f_1) → H
25. Intersect(f_1, q) → D_1
26. Min(1, Max[t, 0]) → ct1
27. Segment(C, D_1) → g_1
28. Polygon(E, A, PC, PD) → poly4, e_2, a_3, pc, pd
29. Min(Max[t - 1, 0], 1) → ct2
30. Rotate(WD, (-θ), A) → ZD'
31. Rotate(B, (-θ), A) → W
32. Rotate(B, (-θ), A) → B'
33. Rotate(E, (-θ), A) → E'
34. Polygon(A, B', ZD', E') → poly5, a_4, b', zd', e'
35. Rotate(WD, -1.5707963267948966, A) → WD'
36. Min(Max[t - 2, 0], 1) → ct3
37. Polygon(W, J, K, A) → poly6, b'_1, j_1, k_1, a_5
38. Polygon(L, B, F, M) → poly7, l_1, b_3, f_2, m_1
39. Rotate(N, θ, B) → N'_1
40. Rotate(F, θ, B) → F'
41. Rotate(A, θ, B) → A'
42. Polygon(A', B, F', N'_1) → poly8, a', b_4, f', n'
43. Rotate(N, 1.5707963267948966, B) → N'
44. Polygon(P, Q, I, B) → poly9, p_1, q_1, i_1, b_5
45. Segment(H_1, D_1) → h_1
46. Segment(A, H) → n_1
47. Segment(H, B) → r_1
48. Segment(D_1, H) → s_1
49. Segment(H, C) → c_2
50. Segment(D_1, I) → g_2
51. If(Dica ≥ 1, true, false) → showHint1
52. Point(h_2) → S
53. Segment(E, WD) → j_2
54. Segment(F, N) → k_2
55. If(Dica ≥ 2, true, false) → showHint2
56. If(Dica ≥ 3, true, false) → showHint3