勾股定理第3部分

GeoGebra 命令及参数

1. Segment(A, B) → a
2. OrthogonalLine(A, a) → b
3. Point(b) → C
4. Segment(C, A) → c
5. Segment(C, B) → d
6. Angle(B, A, C) → α
7. Circle(B, A) → e
8. Circle(A, B) → f
9. OrthogonalLine(B, a) → g
10. OrthogonalLine(A, a) → h
11. Intersect(f, h, 1) → D
12. Intersect(e, g, 1) → E
13. Segment(D, E) → i
14. Segment(B, A) → j
15. Segment(A, D) → k
16. Segment(E, B) → l
17. Circle(A, C) → p
18. Circle(C, A) → q
19. OrthogonalLine(A, c) → m
20. Intersect(p, m, 1) → F
21. OrthogonalLine(C, c) → n
22. Intersect(q, n, 1) → G
23. OrthogonalLine(C, d) → r
24. OrthogonalLine(B, d) → s
25. Circle(B, C) → t
26. Circle(C, B) → c_1
27. Intersect(c_1, r, 2) → H
28. Intersect(t, s, 2) → I
29. Segment(B, I) → a_1
30. Segment(I, H) → b_1
31. Segment(H, C) → d_1
32. Segment(C, G) → e_1
33. Segment(F, A) → f_1
34. Segment(F, G) → g_1
35. OrthogonalLine(A, d) → h_1
36. Intersect(h_1, d) → J
37. Intersect(h_1, b_1) → K
38. Segment(A, J) → i_1
39. Segment(J, K) → j_1
40. Polygon(J, B, I, K) → poly1, j_2, b_2, i_2, k_1
41. Polygon(I, A, B) → poly2, b_3, i_3, a_2
42. PointIn(poly1) → Pointpoly1
43. PointIn(poly2) → Pointpoly2