特殊同焦达布圆达布克西曲面：由圆族生成

GeoGebra 命令及参数

1. Point(xAxis) → e
2. Intersect(xAxis, yAxis) → o
3. Circle(o, e) → c_E
4. Intersect(c_E, yAxis, 1) → i'
5. Intersect(c_E, yAxis, 2) → i
6. Line(i, i') → f_{1}
7. Intersect(c_E, xAxis, 2) → e'
8. Line(e, e') → g
9. Point(g) → f
10. LineBisector(f'', f) → n
11. Point(g) → s
12. Mirror(s, c_E) → s'''
13. Midpoint(s, s''') → A
14. Mirror(s, f_{1}) → s'
15. Mirror(s', c_E) → s''
16. Midpoint(s'', s) → B
17. Circle(B, s) → h
18. Mirror(f, h) → f'_{1}
19. Mirror(h, f_{1}) → h'
20. Mirror(f, h') → f'_{2}
21. ImplicitCurve(darboux(x, y, 0)) → bizQu_{xy}
22. ImplicitCurve(darboux(x, 0, y)) → bizQu_{xz}
23. Circle(s, s'', S_z) → bizQu1_{xz}
24. Circle(s', s''', S'_z) → bizQu2_{xz}
25. LineBisector(f, f''') → l
26. Sphere(o, S_z) → eKu
27. CurveCartesian(T_{-1}((1 / (1 + sqrt(1 - (a_T^(2) * (cos(u))^(2)) - (b_T^(2) * (sin(u))^(2)))) * ((a_T * cos(u)) + ((b_T * sin(u)) * ί)))), u, (-π), π) → TBizQu_{+}
28. CurveCartesian(T_{-1}((1 / (1 - sqrt(1 - (a_T^(2) * (cos(u))^(2)) - (b_T^(2) * (sin(u))^(2)))) * ((a_T * cos(u)) + ((b_T * sin(u)) * ί)))), u, (-π), π) → TBizQu_{-}
29. Sequence(k, k, (-anz), anz) → L_{anz}
30. Zip(Circle[PP((k / anz * π)), S_z, S'_z], k, L_{anz}) → KreisGitterx
31. Point(g) → s0_x
32. ImplicitCurve(darboux0(x, y, 0)) → bizQu0_{xy}
33. ImplicitCurve(darboux1(x, 0, y)) → bizQu11_{xz}
34. CurveCartesian((1 / (1 + sqrt(1 - (a0^(2) * (cos(u))^(2)) - (b0^(2) * (sin(u))^(2)))) * ((a0 * cos(u)) + ((ί * b0) * sin(u)))), u, (-π), π) → TBizQu0_{+}
35. CurveCartesian((1 / (1 - sqrt(1 - (a0^(2) * (cos(u))^(2)) - (b0^(2) * (sin(u))^(2)))) * ((a0 * cos(u)) - ((ί * b0) * sin(u)))), u, (-π), π) → TBizQu0_{-}
36. Zip(Circle[PP0((k / anz * π)), S_z, S'_z], k, L_{anz}) → KreisGittery
37. Rotate(Sphere[Intersect[Tangent[ℯ^((ί * u)), c_E], xAxis], ℯ^((ί * u))], 90°, yAxis) → oKu_u
38. Circle(f, S_z, S'_z) → cf
39. Circle(f', S_z, S'_z) → cf'
40. Circle(f, i, i') → cff
41. Circle(f', i, i') → cff'