毕达哥拉斯定理几何验证：等腰直角与垂线作图

GeoGebra 命令及参数

1. Line(C, thing) → f
2. OrthogonalLine(C, f) → g
3. Point(g) → B
4. Point(f) → D
5. Segment(B, D) → h
6. OrthogonalLine(B, g) → i
7. Circle(C, B) → c
8. Circle(B, C) → d
9. Intersect(d, i, 2) → A
10. Intersect(c, f, 1) → E
11. Segment(A, E) → j
12. OrthogonalLine(D, f) → k
13. Circle(C, D) → e
14. Circle(D, C) → p
15. Intersect(e, g, 1) → F
16. Intersect(p, k, 1) → G
17. Segment(F, G) → l
18. OrthogonalLine(B, h) → m
19. OrthogonalLine(D, h) → n
20. Circle(B, D) → q
21. Circle(D, B) → r
22. Intersect(q, m, 2) → H
23. Intersect(r, n, 2) → I
24. Segment(H, I) → s
25. Segment(A, B) → t
26. Segment(C, F) → b
27. Segment(G, D) → f_1
28. Segment(D, I) → g_1
29. Segment(B, H) → h_1
30. Segment(B, C) → i_1
31. Segment(C, D) → j_1
32. Polygon(A, B, C, E) → q1, a_1, b_1, c_1, e_1
33. Polygon(B, D, I, H) → q2, b_2, d_1, i_2, h_2
34. Polygon(C, D, G, F) → q3, c_2, d_2, g_2, f_2
35. PointIn(q1) → Pointq1_{1}
36. PointIn(q3) → Pointq3_{1}
37. PointIn(q2) → Pointq2_{1}
38. PointIn(q1) → Pointq1_{2}
39. PointIn(q3) → Pointq3_{2}
40. PointIn(q2) → Pointq2_{2}
41. PointIn(q1) → Pointq1_{3}
42. PointIn(q3) → Pointq3_{3}
43. PointIn(q1) → Pointq1_{4}
44. PointIn(q3) → Pointq3_{4}
45. PointIn(q2) → Pointq2_{3}
46. PointIn(q1) → Pointq1_{5}
47. PointIn(q3) → Pointq3_{5}
48. PointIn(q3) → Pointq3
49. PointIn(q1) → Pointq1
50. PointIn(q2) → Pointq2