Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Topic:
6)are all German mathematicians like Peter Roquette, Gunther Schmidt KarlOtto Stöhr as dumb as Franz, teachi ng a Conic section is ellipse, when in truth it is an oval?
Replies:
11
Last Post:
Oct 4, 2017 7:05 PM



Me
Posts:
1,713
Registered:
1/23/16


Re: 6)are all German mathematicians like Peter Roque tte, Gunther Schmidt KarlOtto Stöhr as dumb as Franz, te aching a Conic section is ellipse, when in truth it is an ov al?
Posted:
Oct 2, 2017 2:37 AM


Let's consider the Sectioning of a Cylinder and a Cone.
^ x E + .'  `. /  \ .  . G  +c  H .  . \  / `.  ´ y <+ ´ F > The above is a view of a ellipse with center c and is produced by the > Sectioning of a Cylinder as long as the cut is not perpendicular to the base, > and as long as the cut involves two points not larger than the height of the > cylinder walls. What we want to prove is that the cut is always a ellipse, > which is a [certain] plane figure of two axes of symmetry with a Major Axis > and Minor Axis and center at c. > > So, what is the proof that [cut] figure EGFH is always an ellipse in the > cylinder section [as well as in the cone section]?
Here's is an easy proof for it:
Cylinder (side view):
   ++ <= x = h   ´   ´   ´   ´    ´   x = 0 => ´  r  
d(x) = r  (2r/h)x
y^2 = r^2  d(x)^2 = r^2  r^2(2x/h  1)^2 = r^2(1  4(x  h)^2/h^2
=> (1/r^2)y^2 + (4/h^2)(x  h)^2 = 1 ...equation of an ellipse
Considerations:
=> y(h/2 + x')^2 = sqrt(r^2  r^2(2(h/2 + x')/h  1)^2) = r^2  r^2(2x'/h)^2
=> y(h/2 + x') = r * (sqrt(1  (2x'/h)^2) ...symmetric relative to h/2
=> y(h/2) = r (= Gc = cH)
Cone (side view):
. /\ /  \ /b  \ /+´ <= x = h / ´ \ / ´  \ / ´  \ x = 0 => ´+\ / a  \
r(x) = a  ((ab)/h)x d(x) = a  ((a+b)/h)x
y(x)^2 = r(x)^2  d(x)^2 = ab  ab(2x/h  1)^2 = ab(1  4(x  h)^2/h^2
=> (1/ab)y(x)^2 + (4/h^2)(x  h)^2 = 1 ...equation of an ellipse
Considerations:
=> y(h/2 + x')^2 = sqrt(ab  ab(2(h/2 + x')/h  1)^2) = ab  ab(2x'/h)^2
=> y(h/2 + x') = sqrt(ab) * (sqrt(1  (2x'/h)^2) ...symmetric relative to h/2
=> y(h/2) = sqrt(ab) (= Gc = cH)
======================================================
It turns out that a cylinder can be considered as a special case of a cone here. Actually, the latter proof works for both cases, cone and cylinder.
Cone/Cylinder (side view):
/  \ /b  \ /+´ <= x = h / ´ \ / ´  \ / ´  \ x = 0 => ´+\ / a  \
(cone: b < a; cylinder: a = b = r)
r(x) = a  ((ab)/h)x d(x) = a  ((a+b)/h)x
y(x)^2 = r(x)^2  d(x)^2 = ab  ab(2x/h  1)^2 = ab(1  4(x  h)^2/h^2
=> (1/ab)y(x)^2 + (4/h^2)(x  h)^2 = 1 ...equation of an ellipse
Considerations:
=> y(h/2 + x')^2 = sqrt(ab  ab(2(h/2 + x')/h  1)^2) = ab  ab(2x'/h)^2
=> y(h/2 + x') = sqrt(ab) * (sqrt(1  (2x'/h)^2) ...symmetric relative to h/2
=> y(h/2) = sqrt(ab) (= Gc = cH)
======================================================
@Archie: Yes, this proves that (certain) cone sections "as depicted in my diagram" as well as (certain) cylinder sections (as described by you) are ellipses. qed
Note, Archie, that there is no reference to Dandelin Spheres whatsoever.
Still not convinced? Can you point out an error in my simple calculation (of the shape of the cone/cylinder section) above?



