圆柱与球体的交线

GeoGebra 命令及参数

1. CurveCartesian((b * cos(t)), sqrt(a^(2) - b^(2) - c^(2) - (((2 * b) * c) * sin(t))), c + (b * sin(t)), t, 0, 6.283185307179586) → cou
2. Point(Segment[(0, -4, c), (0, (-a), c)]) → A
3. Mirror(A, (0, 0, c)) → A'
4. CurveCartesian((b * cos(t)), (-sqrt(a^(2) - b^(2) - c^(2) - (((2 * b) * c) * sin(t)))), c + (b * sin(t)), t, 0, 6.28319) → cou'
5. Surface((b * cos(u)) + p, (sqrt(a^(2) - b^(2) - c^(2) - (((2 * b) * c) * sin(u))) * (1 - v)) + (v * y(A')), c + (b * sin(u)), u, 0, 6.283185307179586, v, 0, 1) → rc1
6. Surface((b * cos(u)) + p, ((-sqrt(a^(2) - b^(2) - c^(2) - (((2 * b) * c) * sin(u)))) * (1 - v)) + (v * y(A)), c + (b * sin(u)), u, 0, 6.283185307179586, v, 0, 1) → rc2
7. Surface((v * cos(u)), sqrt(a^(2) - v^(2) - c^(2) - (((2 * v) * c) * sin(u))), c + (v * sin(u)), u, 0, 6.283185307179586, v, b, a + c) → rs1
8. Surface((v * cos(u)), (-sqrt(a^(2) - v^(2) - c^(2) - (((2 * v) * c) * sin(u)))), c + (v * sin(u)), u, 0, 6.283185307179586, v, b, a + c) → rs2
9. Surface((b * cos(u)) + p, v, c + (b * sin(u)), u, angl, π - angl, v, y(A), y(A')) → rc3
10. Surface((b * cos(u)) + (p * q), (p * (1 - q)) + (v * sqrt(a^(2) - b^(2) - c^(2) - (((2 * b) * c) * sin(u)))), c + (b * sin(u)), u, 0, 6.28319, v, -1, 1) → sc
11. Surface((v * cos(u)), (p * (1 - q)) + sqrt(a^(2) - v^(2) - c^(2) - (((2 * v) * c) * sin(u))), c + (v * sin(u)), u, -0.02, 6.3, v, 0, b) → ss1
12. Surface((v * cos(u)), (p * (1 - q)) - sqrt(a^(2) - v^(2) - c^(2) - (((2 * v) * c) * sin(u))), c + (v * sin(u)), u, -0.02, 6.3, v, 0, b) → ss2
13. Cylinder(A + (p, 0, 0), A' + (p, 0, 0), b) → d, e, f, g
14. Sphere((0, 0, 0), a) → i