二维旋转构图：矢量与多边形的三角关系

GeoGebra 命令及参数

1. Point(Ray[(1, 0), (3, 0)]) → A
2. Point(Ray[A + (1, 0), A + (2, 0)]) → C
3. Point(Ray[A + (0, 1), A + (0, 2)]) → B
4. Polygon({(0, 0), A, B, (0, y(B))}) → q1
5. Polygon({A, C, (x(C), y(B)), B}) → q2
6. Polygon({A, A - (0, l), A + (h, (-l)), C}) → q3
7. Polygon({B, B + (0, h), B + ((-l), h), B + ((-l), 0)}) → q4
8. Polygon({C, C + (l, 0), C + (l, w), C + (0, w)}) → q5
9. Polygon({(0, w), (0, w + h), ((-w), w + h), ((-w), w)}) → q6
10. Rotate(q4, (90° * t), Line[(0, w), B]) → q4'
11. Rotate(q2, (90° * t), Line[B, A]) → q2'
12. Rotate(Rotate[q5, (90° * t), Line[C + (0, w), C]], (90° * t), Line[B, A]) → q5'
13. Rotate(Rotate[q6, (90° * t), Line[(0, w), (0, w + h)]], (90° * t), Line[(0, w), B]) → q6'
14. Rotate(Rotate[q3, (90° * t), Line[C, A]], (90° * t), Line[B, A]) → q3'