长方体体积 by Nicolas ERDRICH

GeoGebra 命令及参数

1. Line(A, xAxis) → a
2. OrthogonalLine(A, a) → q_4
3. Circle(A, 2) → r
4. Intersect(r, q_4, 2) → E
5. Intersect(r, a, 2) → B
6. OrthogonalLine(E, q_4) → s
7. OrthogonalLine(B, a) → t
8. Intersect(s, t) → F
9. Rotate(F, 45*°, E) → S'
10. Angle(F, E, S') → α
11. Segment(E, S') → i_1
12. Segment(E, F) → j_1
13. Midpoint(j_1) → T
14. Circle(E, T) → k_1
15. Intersect(k_1, i_1, 1) → H
16. Segment(E, H) → p_1
17. Line(H, j_1) → q_1
18. Line(F, p_1) → r_1
19. Intersect(q_1, r_1) → V
20. Segment(A, E) → s_1
21. Segment(F, B) → t_1
22. Line(B, r_1) → a_2
23. Line(V, s_1) → b_2
24. Intersect(a_2, b_2) → W
25. Polygon(A, B, F, E) → poly1, p_2, r_2, s_2, q_2
26. Polygon(B, W, V, F) → poly2, r_3, w, v, s_3
27. Polygon(E, F, V, H) → poly3, q_3, s_4, v_1, u
28. Sequence(Sequence[Polygon[Translate[E, Vector[l * Vector[B, A] + m * Vector[E, H]]], Translate[F, Vector[l * Vector[B, A] + m * Vector[E, H]]], Translate[V, Vector[l * Vector[B, A] + m * Vector[E, H]]], Translate[H, Vector[l * Vector[B, A] + m * Vector[E, H]]]], l, 0, o], m, 0, q) → liste3
29. Sequence(Sequence[Polygon[Translate[B, Vector[l * Vector[E, A] + m * Vector[E, H]]], Translate[W, Vector[l * Vector[E, A] + m * Vector[E, H]]], Translate[V, Vector[l * Vector[E, A] + m * Vector[E, H]]], Translate[F, Vector[l * Vector[E, A] + m * Vector[E, H]]]], l, 0, p], m, 0, q) → liste2
30. Sequence(Sequence[Polygon[Translate[A, Vector[k * Vector[B, A] + l * Vector[E, A]]], Translate[B, Vector[k * Vector[B, A] + l * Vector[E, A]]], Translate[F, Vector[k * Vector[B, A] + l * Vector[E, A]]], Translate[E, Vector[k * Vector[B, A] + l * Vector[E, A]]]], k, 0, o], l, 0, p) → liste