立体相似性检验：用缩放与相交构造相似多面体

GeoGebra 命令及参数

1. Intersect(xAxis, yAxis) → A
2. Point(Segment[(0, 0, 0), (6, 0, 0)]) → B
3. Point(Segment[(x(B), 0, 0), (x(B), 0, 10)]) → C
4. Point(Segment[D, (0, 0, 14)]) → E
5. Segment(E, C) → f
6. Segment(C, B) → g
7. Segment(A, B) → h
8. Surface(f, spin, zAxis) → a
9. Point(Segment[F, F + (Distance[A, B], 0, 0)]) → G
10. Point(Segment[(x(G), 0, 0), (x(G), 0, Distance[B, C])]) → H_{1}
11. Point(Segment[I, (x(I), 0, z(E) - 0.1)]) → J
12. Segment(J, H_{1}) → i
13. Segment(H_{1}, G) → j
14. Segment(F, G) → k
15. Surface(g, spin, zAxis) → b
16. Line(F, J) → l
17. Surface(i, spin, l) → c
18. Surface(j, spin, l) → d
19. Segment(E, D) → H
20. Segment(D, C) → r
21. Segment(J, I) → p
22. Segment(I, H_{1}) → q
23. Line(E, J) → m
24. Intersect(m, xAxis) → K
25. Dilate(c, check, K) → c'
26. Dilate(d, check, K) → d'