Curvy Slide: Square Cross Sections with Polynomial Regression

Curvy Slide: Square Cross Sections with Polynomial Regression
Loading the math board and drawing, please wait…
2020-01-29 19:41
This GeoGebra example demonstrates a 3D solid sliding along a curved path, featuring square cross sections that can be dynamically adjusted via a polynomial regression curve. It visualizes the interplay between solid geometry and calculus, particularly the method of cross sections for approximating volumes. Core mathematical concepts include polynomial fitting, parametric curves, 3D transformations (translation and rotation), and Riemann sums (upper and lower sums) as a limit process. The construction uses commands such as FitPoly to generate the regression curve from points, PointIn, Point, Plane, Segment, and Surface to build the 3D framework, Rotate, Mirror, and Translate to position and symmetrize the square sections, CurveCartesian for the path, and Polygon with Angle for section geometry. A slider n controls the number of sections, illustrating convergence to the integral. Suitable for high school to undergraduate students studying solid geometry, introductory calculus, or mathematical modeling, and for teachers demonstrating volume by cross sections or curve fitting interactively.

GeoGebra Commands & Parameters

  1. PointIn(y > 0) → A
  2. PointIn(y > 0) → B
  3. PointIn(y > 0) → C
  4. PointIn(y > 0) → D
  5. PointIn(y > 0) → E
  6. FitPoly({A, B, C, D, E}, n) → f
  7. Rotate(If[Min[l1] ≤ x ≤ Max[l1], f], π / 2, xAxis) → h_1
  8. Point(h_1) → F
  9. Rotate(G, π / 2, xAxis) → G'
  10. Plane(G, G + (0, 1, 0), G + (0, 0, 1)) → p
  11. Segment(G', H) → g
  12. Surface(u, (-ra) + ((2 * ra) * v), f(u), u, Min[l1], Max[l1], v, 0, 1) → d
  13. Mirror(H, G') → H'
  14. Segment(H, H') → k
  15. CurveCartesian(u, ra, f(u), u, Min[l1], Max[l1]) → b
  16. CurveCartesian(u, (-ra), f(u), u, Min[l1], Max[l1]) → c
  17. Segment(M, J) → q
  18. Segment(J, N) → r
  19. Segment(O, L) → a
  20. Segment(L, K) → f_1
  21. CurveCartesian(u, ra, f(u) + (2 * ra), u, Min[l1], Max[l1]) → e
  22. CurveCartesian(u, (-ra), f(u) + (2 * ra), u, Min[l1], Max[l1]) → u
  23. Surface(u, ra, f(u) + ((2 * ra) * v), u, Min[l1], Max[l1], v, 0, 1) → j
  24. Surface(u, (-ra), f(u) + ((2 * ra) * v), u, Min[l1], Max[l1], v, 0, 1) → i
  25. Translate(d, Vector[(0, 0, (2 * ra))]) → d'
  26. Translate(M, Vector[(0, 0, (2 * ra))]) → M'
  27. Segment(M', M) → s
  28. Translate(J, Vector[(0, 0, (2 * ra))]) → J'
  29. Segment(M', J') → l
  30. Segment(P, O) → t
  31. Segment(P, K) → g_1
  32. Translate(H, Vector[(0, 0, (2 * ra))]) → H'_2
  33. Translate(H', Vector[(0, 0, (2 * ra))]) → H''_2
  34. Polygon(H, H'_2, H''_2, H') → q1, h_3, h'_2, h''_2, i_1
  35. Segment(H, H'_2) → j_1
  36. Segment(H'_2, H''_2) → k_1
  37. Segment(H''_2, H') → l_1
  38. Angle(H'_2, H, H') → α
  39. Angle(H''_2, H'_2, H) → β
  40. Angle(H', H''_2, H'_2) → γ
  41. Angle(H, H', H''_2) → δ