分数大小比较的几何可视化：用多边形与条件判断直观看不等式

GeoGebra 命令及参数

1. Point(xAxis) → I
2. Polygon(A, B, 4) → poly1, f, g, h, i, C, D
3. Polygon(E, F, 4) → poly2, j, k, l, m, G, H
4. Textfield(d11) → d1
5. Textfield(d22) → d2
6. Textfield(n11) → n1
7. Textfield(n22) → n2
8. Sequence(H + (a / d11 * (G - H)), a, 0, d11) → l1
9. Sequence(A + (a / d22 * (D - A)), a, 0, d22) → l2
10. Sequence(E + (a / d11 * (F - E)), a, 0, d11) → l3
11. Sequence(B + (a / d22 * (C - B)), a, 0, d22) → l4
12. Sequence(Polygon[l1(a), l1(a + 1), l3(a + 1), l3(a)], a, 1, d11) → l5
13. Sequence(Polygon[l2(a), l2(a + 1), l4(a + 1), l4(a)], a, 1, d22) → l6
14. Sequence(Polygon[l1(a), l1(a + 1), l3(a + 1), l3(a)], a, 1, n11) → l7
15. If(0 ≤ n ≤ 1, Dilate[E, 1 - n, I], I) → J
16. Sequence(Polygon[l2(a), l2(a + 1), l4(a + 1), l4(a)], a, 1, n22) → l8
17. Point(xAxis) → K
18. If(0 ≤ n ≤ 1, Translate[l7, J - E], Translate[l7, I - E]) → l9
19. If(0 ≤ n ≤ 1, Translate[l5, J - E], Translate[l5, I - E]) → l10
20. If(0 ≤ n ≤ 1, Translate[l6, Dilate[A, 1 - n, I] - A], Translate[l6, I - A]) → l11
21. If(2 ≤ n ≤ 3, Dilate[E, 3 - n, K], K) → L
22. If(2 ≤ n ≤ 3, Dilate[A, 3 - n, K], K) → M
23. If(2 ≤ n ≤ 3, Translate[l6, M - A], Translate[l6, K - A]) → l13
24. If(2 ≤ n ≤ 3, Translate[l5, L - E], Translate[l5, K - E]) → l14
25. If(2 ≤ n ≤ 3, Translate[l8, M - A], Translate[l8, K - A]) → l12
26. Point(yAxis) → O
27. Segment(N, O) → p
28. Segment(P, Q) → q