二十面体的对角线

GeoGebra 命令及参数

1. Rotate(A, (2 * π / 3), zAxis) → B
2. Point(Circle[Midpoint[A, B], (Distance[A, B] * sqrt(3) / 2), Segment[A, B]]) → C
3. Icosahedron(A, B, C) → a, D, faceABC, faceACF, faceAFG, faceADG, faceABD, faceBDH, faceBEH, faceBCE, faceCEI, faceCFI, E, faceEHK, faceEIK, faceIKL, faceFIL, faceHJK, faceJKL, faceGJL, faceFGL, faceDHJ, faceDGJ, F, edgeAC, edgeAB, edgeBC, edgeAF, edgeCF, edgeAG, edgeFG, edgeAD, edgeDG, edgeBD, G, edgeBH, edgeDH, edgeBE, edgeEH, edgeCE, edgeCI, edgeEI, edgeFI, edgeEK, edgeHK, H, edgeIK, edgeIL, edgeKL, edgeFL, edgeJK, edgeHJ, edgeJL, edgeGL, edgeGJ, edgeDJ, I, J, K, L
4. Sequence(Sequence[Segment[l1(a), l1(b)], a, 1, Length[l1]], b, 1, Length[l1]) → l2
5. RemoveUndefined(Flatten[l2]) → l3