任意凸四边形可分割为平行四边形

GeoGebra 命令及参数

1. Polygon(A, B, C, D) → poly1, a, b, c, d
2. Midpoint(d) → E
3. Midpoint(a) → F
4. Midpoint(b) → G
5. Midpoint(c) → H
6. Segment(E, G) → e
7. Segment(F, H) → f
8. Intersect(e, f) → I
9. Polygon(E, D, H, I) → poly2, e_1, d_1, h, i
10. Polygon(I, G, B, F) → poly3, i_1, g, b_1, f_1
11. Polygon(I, F, A, E) → poly4, i_2, f_2, a_1, e_2
12. Rotate(E, α, H) → E'
13. Rotate(D, α, H) → D'
14. Rotate(H, α, H) → H'
15. Rotate(I, α, H) → I'
16. Polygon(E', D', H', I') → poly2', e', d', h', i'
17. Rotate(I, (-β), G) → I'_1
18. Rotate(G, (-β), G) → G'
19. Rotate(B, (-β), G) → B'
20. Rotate(F, (-β), G) → F'
21. Polygon(I'_1, G', B', F') → poly3', i'_1, g', b', f'
22. Segment(A, C) → k
23. Circle(A, j) → p
24. Intersect(p, k) → J, K
25. Vector(A, J) → u
26. Translate(I, u) → I'_2
27. Translate(F, u) → F'_1
28. Translate(A, u) → A'
29. Translate(E, u) → E'_1
30. Polygon(I, G, C, H) → poly5, i_3, g_1, c_1, h_1
31. Polygon(I, G, C, H) → poly6, i_4, g_2, c_2, h_2
32. Polygon(J, E'_1, I'_2, F'_1) → poly7, l, m, n, q