双不等式

GeoGebra 命令及参数

1. Mirror(D, A) → D'
2. Segment(D', D) → b
3. Point(b) → C
4. Segment(D', C) → a
5. Point(a) → B
6. Distance(A, B) → d
7. Circle(C_1, dis / 2) → e
8. Line(C_1, xAxis) → f
9. Intersect(e, f) → E, F
10. Vector(C_1, F) → u
11. Sequence(Translate[A, Vector[(i * u)]], i, (-c), c) → L1
12. Segment(B, C) → g
13. Midpoint(B, C) → G
14. Sequence(Circle[Element[L1, i], h], i, 0, (2 * c)) → liste1
15. Sequence(Line[Element[L1, i], yAxis], i, 0, (2 * c)) → liste2
16. Sequence(Intersect[Element[liste1, i], Element[liste2, i], 1], i, 0, (2 * c)) → liste3
17. Sequence(Intersect[Element[liste1, i], Element[liste2, i], 2], i, 0, (2 * c)) → liste4
18. Sequence(Segment[Element[liste3, i], Element[liste4, i]], i, 0, (2 * c)) → liste5
19. Point(a) → H
20. Sequence(Translate[B, Vector[(v * i)]], i, 1, 50, AxisStepX[]) → liste6
21. Sequence(Translate[C, Vector[((-v) * i)]], i, 1, 50, AxisStepX[]) → liste7
22. Sequence(Translate[C + ((-p), (-p)), Vector[((-v) * i)]], i, 1, 50, AxisStepX[]) → liste9
23. Sequence(Translate[C + (p, p), Vector[((-v) * i)]], i, 1, 50, AxisStepX[]) → liste8
24. Sequence(Segment[Element[liste8, i], Element[liste9, i]], i, 1, 50) → liste10
25. Sequence(Translate[B + ((-p), (-p)), Vector[(v * i)]], i, 1, 50, AxisStepX[]) → liste11
26. Sequence(Translate[B + (p, p), Vector[(v * i)]], i, 1, 50, AxisStepX[]) → liste12
27. Sequence(Segment[Element[liste11, i], Element[liste12, i]], i, 1, 50) → liste13
28. Mirror(M, I) → M'
29. Mirror(N, J) → N'
30. Mirror(O, K) → O'
31. Mirror(P, L) → P'
32. Segment(J, I) → i
33. Segment(K, L) → j
34. Segment(M, I) → k
35. Segment(N, J) → l
36. Segment(K, O') → r
37. Segment(K, O) → s
38. Segment(L, P') → t
39. Segment(L, P) → a_1
40. Segment(I, M') → q
41. Segment(J, N') → m