例13：几何作图与绘制

GeoGebra 命令及参数

1. Point(xAxis) → A
2. Point(Circle[A, 1]) → B
3. Segment(A, B) → b
4. Circle(A, B) → c
5. OrthogonalLine(A, b) → d
6. Intersect(c, d, 2) → C
7. OrthogonalLine(C, d) → e
8. OrthogonalLine(B, b) → f
9. Intersect(e, f) → D
10. Point(xAxis) → E
11. Point(Circle[E, a]) → F
12. Segment(E, F) → j
13. OrthogonalLine(E, j) → k
14. OrthogonalLine(F, j) → l
15. Point(k) → G
16. OrthogonalLine(G, k) → m
17. Intersect(l, m) → H
18. Point(xAxis) → I
19. Point(Circle[I, a]) → J
20. Segment(I, J) → r
21. Circle(J, I) → s
22. Point(s) → K
23. Line(I, K) → t
24. Mirror(J, t) → J'
25. Polygon(A, B, D, C) → poly1, a_1, b_1, d_1, c_1
26. Polygon(E, F, H, G) → poly2, e_1, f_1, h, g
27. Polygon(I, J, K, J') → poly3, i, j_1, k_1, j'
28. Point(xAxis) → L
29. Point(Circle[L, a]) → M
30. Segment(L, M) → n
31. Line(N, n) → p
32. Line(M, N) → q
33. Line(L, q) → g_1
34. Intersect(p, g_1) → O
35. Polygon(L, M, N, O) → poly4, l_1, m_1, n_1, o
36. Point(xAxis) → P
37. Point(Circle[P, a]) → Q
38. Segment(P, Q) → h_1
39. OrthogonalLine(Q, h_1) → i_1
40. OrthogonalLine(P, h_1) → p_1
41. Point(i_1) → R
42. Point(p_1) → S
43. Polygon(P, Q, R, S) → poly5, p_2, q_1, r_1, s_1