正多边形的旋转

GeoGebra 命令及参数

1. Polygon(P, Rotate[P, (2 * π / n), (0, 0)], n) → p, f, A, B, C, D, E, F, G, g, h, i, j, k, l, m, q
2. Translate(Rotate[p, ((-s) * t), Centroid[p]], Vector[(0, 0), (t, 0)]) → p2
3. Circle((t, 0), 1) → c
4. OrthogonalLine((t, 0), xAxis) → r
5. Intersect(r, p2) → H, I
6. Locus(H, t) → loc1
7. Segment((t, 0), H) → b