Why do early math courses focus on the cross sections of a cone and not on other 3D objects? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Why ellipse is a “conic” section?Conic sections directrix and focusEquivalence of focus-focus and focus-directix definitions of ellipse without leaving the planeOn the Visual Manifestation of Curves in NatureWhy is the focus of the parabola not within the parabola in the following result?Reconciliation of Cone-Slicing and Focus-Directrix Definitions of Conic SectionsWhy are the middle cross sections of dual polyhedrea the same?Why does early solid-geometry pedagogy focus on rectangular prisms and cylinders?Finding the volume of a solid s using cross sectionsShowing that an ellipse, as the intersection of cone and plane, matches the two-focus definitionWhy are monoids not treated in most algebra courses?
Why are vacuum tubes still used in amateur radios?
Constant factor of an array
Trying to understand entropy as a novice in thermodynamics
What order were files/directories output in dir?
What would you call this weird metallic apparatus that allows you to lift people?
Is multiple magic items in one inherently imbalanced?
One-one communication
Did Mueller's report provide an evidentiary basis for the claim of Russian govt election interference via social media?
How to change the tick of the color bar legend to black
i2c bus hangs in master RPi access to MSP430G uC ~1 in 1000 accesses
Does the Mueller report show a conspiracy between Russia and the Trump Campaign?
Special flights
Why datecode is SO IMPORTANT to chip manufacturers?
Tannaka duality for semisimple groups
Why not send Voyager 3 and 4 following up the paths taken by Voyager 1 and 2 to re-transmit signals of later as they fly away from Earth?
AppleTVs create a chatty alternate WiFi network
What is the "studentd" process?
Is it dangerous to install hacking tools on my private linux machine?
Why do early math courses focus on the cross sections of a cone and not on other 3D objects?
Did pre-Columbian Americans know the spherical shape of the Earth?
I got rid of Mac OSX and replaced it with linux but now I can't change it back to OSX or windows
Can you force honesty by using the Speak with Dead and Zone of Truth spells together?
Why is std::move not [[nodiscard]] in C++20?
Sally's older brother
Why do early math courses focus on the cross sections of a cone and not on other 3D objects?
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Why ellipse is a “conic” section?Conic sections directrix and focusEquivalence of focus-focus and focus-directix definitions of ellipse without leaving the planeOn the Visual Manifestation of Curves in NatureWhy is the focus of the parabola not within the parabola in the following result?Reconciliation of Cone-Slicing and Focus-Directrix Definitions of Conic SectionsWhy are the middle cross sections of dual polyhedrea the same?Why does early solid-geometry pedagogy focus on rectangular prisms and cylinders?Finding the volume of a solid s using cross sectionsShowing that an ellipse, as the intersection of cone and plane, matches the two-focus definitionWhy are monoids not treated in most algebra courses?
$begingroup$
Conic sections seem to get special attention in early math classes.
My question is why do these cross sections of cones deserve more attention than those of, say, a rectangular prism, a cube, or some other 3D (or any dimensional) object?
I have a couple of guesses:
- Studying a particular "simple" example can provide insight into the general idea (i.e. cross sections of higher dimensional objects). And conic sections are deemed simple.
- The applications of ellipses, parabolas, and hyperbolas are just so vast that their graphs and properties deserve special studying (e.g. elliptical orbits).
I'd really appreciate some outside thoughts on this, even if it is just speculation. I've been giving cross sections some special study attention recently and have done a handful of google searches to try and understand why conic sections keep coming up (as can be seen in a lot of math curriculum).
Thank you!
conic-sections education cross-sections
$endgroup$
add a comment |
$begingroup$
Conic sections seem to get special attention in early math classes.
My question is why do these cross sections of cones deserve more attention than those of, say, a rectangular prism, a cube, or some other 3D (or any dimensional) object?
I have a couple of guesses:
- Studying a particular "simple" example can provide insight into the general idea (i.e. cross sections of higher dimensional objects). And conic sections are deemed simple.
- The applications of ellipses, parabolas, and hyperbolas are just so vast that their graphs and properties deserve special studying (e.g. elliptical orbits).
I'd really appreciate some outside thoughts on this, even if it is just speculation. I've been giving cross sections some special study attention recently and have done a handful of google searches to try and understand why conic sections keep coming up (as can be seen in a lot of math curriculum).
Thank you!
conic-sections education cross-sections
$endgroup$
2
$begingroup$
Ancient Greek origins of geometry : conic sections (circle and later ellipse) were of paramount importance for astronomy.
$endgroup$
– Mauro ALLEGRANZA
yesterday
1
$begingroup$
@MauroALLEGRANZA Greek geometers studied conics - but did conics appear in their astronomy? I thought Kepler was the first to see that.
$endgroup$
– Ethan Bolker
yesterday
$begingroup$
@MauroALLEGRANZA I don't know it's very well understood why the Greeks studied conics.
$endgroup$
– Jack M
yesterday
1
$begingroup$
@JackM - agreed; but the reason why, for centuries after Ancient Greece, conics were studied is IMO linked to the fact that they are quite simple and because the path of celestial bodies is not a square.
$endgroup$
– Mauro ALLEGRANZA
yesterday
$begingroup$
A somehow related question: why ellipse is a 'conic' section?
$endgroup$
– polfosol
13 hours ago
add a comment |
$begingroup$
Conic sections seem to get special attention in early math classes.
My question is why do these cross sections of cones deserve more attention than those of, say, a rectangular prism, a cube, or some other 3D (or any dimensional) object?
I have a couple of guesses:
- Studying a particular "simple" example can provide insight into the general idea (i.e. cross sections of higher dimensional objects). And conic sections are deemed simple.
- The applications of ellipses, parabolas, and hyperbolas are just so vast that their graphs and properties deserve special studying (e.g. elliptical orbits).
I'd really appreciate some outside thoughts on this, even if it is just speculation. I've been giving cross sections some special study attention recently and have done a handful of google searches to try and understand why conic sections keep coming up (as can be seen in a lot of math curriculum).
Thank you!
conic-sections education cross-sections
$endgroup$
Conic sections seem to get special attention in early math classes.
My question is why do these cross sections of cones deserve more attention than those of, say, a rectangular prism, a cube, or some other 3D (or any dimensional) object?
I have a couple of guesses:
- Studying a particular "simple" example can provide insight into the general idea (i.e. cross sections of higher dimensional objects). And conic sections are deemed simple.
- The applications of ellipses, parabolas, and hyperbolas are just so vast that their graphs and properties deserve special studying (e.g. elliptical orbits).
I'd really appreciate some outside thoughts on this, even if it is just speculation. I've been giving cross sections some special study attention recently and have done a handful of google searches to try and understand why conic sections keep coming up (as can be seen in a lot of math curriculum).
Thank you!
conic-sections education cross-sections
conic-sections education cross-sections
edited 4 hours ago
Beasted1010
asked 2 days ago
Beasted1010Beasted1010
11925
11925
2
$begingroup$
Ancient Greek origins of geometry : conic sections (circle and later ellipse) were of paramount importance for astronomy.
$endgroup$
– Mauro ALLEGRANZA
yesterday
1
$begingroup$
@MauroALLEGRANZA Greek geometers studied conics - but did conics appear in their astronomy? I thought Kepler was the first to see that.
$endgroup$
– Ethan Bolker
yesterday
$begingroup$
@MauroALLEGRANZA I don't know it's very well understood why the Greeks studied conics.
$endgroup$
– Jack M
yesterday
1
$begingroup$
@JackM - agreed; but the reason why, for centuries after Ancient Greece, conics were studied is IMO linked to the fact that they are quite simple and because the path of celestial bodies is not a square.
$endgroup$
– Mauro ALLEGRANZA
yesterday
$begingroup$
A somehow related question: why ellipse is a 'conic' section?
$endgroup$
– polfosol
13 hours ago
add a comment |
2
$begingroup$
Ancient Greek origins of geometry : conic sections (circle and later ellipse) were of paramount importance for astronomy.
$endgroup$
– Mauro ALLEGRANZA
yesterday
1
$begingroup$
@MauroALLEGRANZA Greek geometers studied conics - but did conics appear in their astronomy? I thought Kepler was the first to see that.
$endgroup$
– Ethan Bolker
yesterday
$begingroup$
@MauroALLEGRANZA I don't know it's very well understood why the Greeks studied conics.
$endgroup$
– Jack M
yesterday
1
$begingroup$
@JackM - agreed; but the reason why, for centuries after Ancient Greece, conics were studied is IMO linked to the fact that they are quite simple and because the path of celestial bodies is not a square.
$endgroup$
– Mauro ALLEGRANZA
yesterday
$begingroup$
A somehow related question: why ellipse is a 'conic' section?
$endgroup$
– polfosol
13 hours ago
2
2
$begingroup$
Ancient Greek origins of geometry : conic sections (circle and later ellipse) were of paramount importance for astronomy.
$endgroup$
– Mauro ALLEGRANZA
yesterday
$begingroup$
Ancient Greek origins of geometry : conic sections (circle and later ellipse) were of paramount importance for astronomy.
$endgroup$
– Mauro ALLEGRANZA
yesterday
1
1
$begingroup$
@MauroALLEGRANZA Greek geometers studied conics - but did conics appear in their astronomy? I thought Kepler was the first to see that.
$endgroup$
– Ethan Bolker
yesterday
$begingroup$
@MauroALLEGRANZA Greek geometers studied conics - but did conics appear in their astronomy? I thought Kepler was the first to see that.
$endgroup$
– Ethan Bolker
yesterday
$begingroup$
@MauroALLEGRANZA I don't know it's very well understood why the Greeks studied conics.
$endgroup$
– Jack M
yesterday
$begingroup$
@MauroALLEGRANZA I don't know it's very well understood why the Greeks studied conics.
$endgroup$
– Jack M
yesterday
1
1
$begingroup$
@JackM - agreed; but the reason why, for centuries after Ancient Greece, conics were studied is IMO linked to the fact that they are quite simple and because the path of celestial bodies is not a square.
$endgroup$
– Mauro ALLEGRANZA
yesterday
$begingroup$
@JackM - agreed; but the reason why, for centuries after Ancient Greece, conics were studied is IMO linked to the fact that they are quite simple and because the path of celestial bodies is not a square.
$endgroup$
– Mauro ALLEGRANZA
yesterday
$begingroup$
A somehow related question: why ellipse is a 'conic' section?
$endgroup$
– polfosol
13 hours ago
$begingroup$
A somehow related question: why ellipse is a 'conic' section?
$endgroup$
– polfosol
13 hours ago
add a comment |
6 Answers
6
active
oldest
votes
$begingroup$
Elementary algebra begins with the study of linear equations. Quadratic equations naturally come next. Their graphs are ellipses, parabolas and hyperbolas. The Greek geometers knew them as sections of a cone. That geometry is often left out of beginning math courses today.
The quadratic functions are particularly useful in physics. I think they are not nearly as useful in other applications, or in understanding numbers in the news. When I teach mathematics to students who are not planning to go on in science we work on exponential functions instead.
$endgroup$
add a comment |
$begingroup$
One of the things that makes a cone simpler than a cube is that it is an “algebraic object” that can be defined by a simple polynomial identity ($x^2 + y^2 - z^2 = 0$). Taking cross-sections preserves this algebraic nature (since an infinite plane is also algebraic) so we end up with a quadratic curve in two variables, which is a fairly nice object. In some sense these are the “simplest” possible shapes beyond straight lines.
At the same time, you are probably aware that the shape of a quadratic curve varies drastically depending on where the minus signs live. The equation of a cone has enough minus signs that it is able to represent pretty much the entire spectrum of such curves, in contrast to, say, a sphere.
Lastly, there is some extent to which we study these because they were studied classically by the ancient Greek geometers. This kind of speaks to the utility angle in that there would be more applications of things that are well studied. But the preceding two points show that there are objective (non-historical) reasons to consider conic sections interesting. They are simple enough to be studied very thoroughly, and this simplicity also increases the chances that they would emerge naturally in many situations.
$endgroup$
add a comment |
$begingroup$
My question is why do these cross sections of cones deserve more attention than those of, say, a rectangular prism, a cube, or some other 3D (or any dimensional) object?
Because there's nothing else. Look at the common 3D solids. The cross sections of a cuboid (and in fact any other polytope) are just a bunch of straight lines connected together, so this is just a piecewise linear graph, and piecewise linear graphs don't need to be motivated as cross-sections of three-dimensional objects. The cross sections of a spheroids (ellipsoids) are ellipses, which come up in cross sections of cones anyway. The cross sections of a cylinder are either trapeziums or ellipses. These are much less interesting and rich than conic sections!
$endgroup$
3
$begingroup$
Cross sections of circular cylinders can also be elliptical
$endgroup$
– MJD
2 days ago
$begingroup$
Has it been proven that there's nothing else? For example, what about a torus, or a peanut shape, a spiral spring shape? I can't imagine there are no other shapes with mathematically interesting cross sections?
$endgroup$
– bob
yesterday
4
$begingroup$
@bob: Indeed, the cross sections of a torus are very interesting, as some googling will no doubt reveal. Examples include Villarceau circles and spiric sections; the famous lemniscate of Bernoulli is an example of a spiric section.
$endgroup$
– Will R
yesterday
2
$begingroup$
@Will R Cool! For others, here's a link about spiric sections--it looks awesome: wikiwand.com/en/Spiric_section. And there is a generalized equation the same as with conic sections. Here's the equation from the Wikipedia article: (x^2+y^2)^2=dx^2+ey^2+f, where d, e, and f are parameters.
$endgroup$
– bob
yesterday
$begingroup$
And they're apparently known from antiquity. Here's a quote from the Wikipedia article in my previous comment: "Spiric sections were first described by the ancient Greek geometer Perseus in roughly 150 BC, and are assumed to be the first toric sections to be described. The name spiric is due to the ancient notation spira of a torus."
$endgroup$
– bob
yesterday
|
show 1 more comment
$begingroup$
There are several types of objects that can be analyzed as a curve defined by the zeroes of a second-degree polynomial in two variables: $Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0$. This includes circles, ellipses, parabolas, hyperbolas; all with the same basic equation form, but differing in their relationship between A, B, and C.
It's handy to have one term that covers all of these, and since all* of these shapes happen to be planar cross-sections of a cone, “conic sections" works nicely.
(* Well, except for the degenerate case of two parallel lines, as in $(y - x)^2 = 1$, which is actually not a conic section but a cylindrical section. Just say that a cylinder is a cone that doesn't slant.)
“Cubic sections", “pyramidal sections", etc., can just be called “polygons", so there's less need for a special word for them.
$endgroup$
1
$begingroup$
But what about cross sections of smooth or semi-smooth 3D solids? E.g. what about cross sections of Gabriel's horn? wikiwand.com/en/Gabriel%27s_Horn
$endgroup$
– bob
yesterday
add a comment |
$begingroup$
TL;DR: ultimately you do study cross-sections of other cone-like shapes, you just don't know about it unless you've studied some algebraic geometry.
The cross-sections of a cone lie in perspective. Imagine you are sat at the origin in $mathbbR^3$ and you look out along a ray (=half-line) which lies inside the cone. Fix a plane $Pi$ which does not go through the origin in $mathbbR^3$ and look at the conic section $C$ given by $Pi.$ From your point of view, the conic section $C$ looks like some vaguely oval shape. Now rotate the plane $Pi$ about a fixed point on $C$; amazingly enough, your point of view doesn't change! Your vaguely oval shape stays completely still throughout the entire process. Even though, from an extrinsic perspective, the conic section $C$ is changing dramatically during the process - maybe at first it was a circle, and then as $Pi$ rotates, it becomes an ellipse, then very briefly a parabola, and then a hyperbola - the whole time, what you see from the origin looks the same.
Roughly speaking, the study of this phenomenon used to be known as projective geometry. Modern projective geometry has its roots in this, but has grown far outside these bounds.
Suppose you give me a polynomial $f(x,y)$ in two variables; then the equation $f(x,y)=0$ defines a set of points in $mathbbR^2,$ and this set of points forms a curve. The curve might be a "conic section", like in the case $f(x,y)=x^2+y^2-1,$ or it might not be, like in the case $f(x,y)=y^2-x^3-x^2+1.$
Here's a neat trick: make a new polynomial $F(x,y,z),$ this time in three variables, as follows: $F(x,y,z)=f(x/z,y/z)cdot z^degf.$ Let's look at the two examples I mentioned above, to get a feel for this. If $f(x,y)=x^2+y^2-1,$ then
$$F(x,y,z)=f(x/z,y/z)cdot z^2=z^2left(fracx^2z^2+fracy^2z^2-1right)=x^2+y^2-z^2.$$ In the same way, if $f(x,y)=y^2-x^3-x^2+1,$ then $$F(x,y,z)=z^3left(fracy^2z^2-fracx^3z^3-fracx^2z^2+1right)=y^2z-x^3-x^2z+z^3.$$ By construction, what we get at the end is always a homogeneous polynomial, that is, every monomial term in the polynomial is of the same fixed degree (in the above examples, $2$ and $3$, respectively).
Why is this cool? Consider the set of points in $mathbbR^3$ satisfying $F(x,y,z)=0.$ What does this look like? In the case of the circle $f(x,y)=x^2+y^2-1,$ we got $F(x,y,z)=x^2+y^2-z^2,$ and $(x,y,z):x^2+y^2=z^2$ is exactly the standard cone in $mathbbR^3$! The "conic section" $x^2+y^2=1$ is just what you get when you intersect this surface with the plane $Pi=z=1.$ And in fact, more generally, if you give me any homogeneous polynomial $F(x,y,z),$ then the set $(x,y,z):F(x,y,z)=0$ will be a cone over the curve $f(x,y)=F(x,y,1)=0.$ Make no mistake: this "cone" doesn't look like the kind of cone you may be used to; it will be weirdly shaped, so that the intersection with the plane $Pi=z=1$ will give back the curve $F(x,y,1)=0.$
What does this mean? It means that whenever you consider an algebraic curve $f(x,y)=0$ in in the plane (and I wager that you do this a lot, whether or not you realize it), you are in fact already considering a "conic" section; it's just the cone is not quite what you are expecting! But it does have the same crucial "perspective" property that I point out before.
In algebraic geometry, you would study the homogenization $F(x,y,z)=0,$ but the modern viewpoint is not to think of this as a surface in space, but instead as a curve in the projective plane $mathbbP^2$: each line through the origin in $mathbbR^3$ is represented by a point in $mathbbP^2.$ I'll leave it to you to imagine a line through the origin rotating around in space, and sometimes it is contained, as a subset, in the surface $F(x,y,z)=0$ (think of the special case of the ordinary cone $x^2+y^2=z^2$ with which you're already familiar), but usually it only intersects this surface at the origin; those times when it is contained in the surface are the "points" on the "curve" $F(x,y,z)=0$ in $mathbbP^2.$
So why the focus on classical conic sections?
This has a simple answer: because they are the easiest case! They are one of the few truly accessible cases in algebraic geometry, in the sense that it is very easy to classify them: you have circles, hyperbolas, and ellipses (plus some degenerate cases). With more general "cones", this classification is not always so easy! And moreover, there is a fair amount to be said, many ways to say those things, and the maths relates to lots of other things (besides geometry, the study of conic sections is by definition also the study of quadratic forms).
$endgroup$
$begingroup$
My "simple answer" at the end here could be improved. In particular, I would like to say something about the fact that the conic sections happen to include all the quadratic curves, which is not something we would expect a priori. But I don't have time to expand on this point right now.
$endgroup$
– Will R
yesterday
$begingroup$
thanks for this answer. When I saw this post I immediately thought there should be an algebraic Geometry perspective posted, and you saved me from posting myself :)
$endgroup$
– Brevan Ellefsen
yesterday
add a comment |
$begingroup$
I would suggest they get attention not "because they are conics" but because in two dimensions, pictures of something which is very important in analysis and applied math just happen to be conics, and drawing pictures is a good way to understand something that could be taught later using only algebra and calculus.
The first non-zero term of the Taylor expansion of a smooth function $f(x)$ about a maximum or minimum value $x = x_0$ is quadratic:
$$f(x) approx f(x_0) + frac 1 2 f''(x_0) (x-x_0)^2.$$
Generalizing $x$ to an $n$-dimensional vector $mathrmx$ gives the result
$$f(mathrmx_0) approx f(mathrmx_0) + frac 1 2 (mathrmx - mathrmx_0)^T mathrmA, (mathrmx - mathrmx_0)$$
where $mathrmA$ is the Hessian matrix of partial derivatives of $mathrmx$.
In two dimensions, this is a quadratic form whose graph is a conic section.
The graphical approach illustrates the general idea that there is a "special" coordinate system in which the "cross terms" in the product disappear, or in the general case, the matrix $mathrmA$ is diagonal. That notion will reappear in the context of linear algebra and eigenvalue problems.
So the long-term motivation is certainly not clear to the students at this stage, but "studying conics" is a way to introduce them to some important ideas for the future.
The fact that curves defined by the above equations are also cross sections of a circular cone is just an "interesting factoid" at this stage of the students' math education, though it will turn up again for those who eventually study differential geometry! A modern math course is unlikely to spend much time on purely geometrical proofs of the properties of conics, though comparing classical (3D) geometry with analytic geometry in that situation could be interesting.
Looking at it from this perspective, the fact that "conics are cross sections of a solid" is not the important issue here, so studying "cross sections of other solids" is beside the point.
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3193067%2fwhy-do-early-math-courses-focus-on-the-cross-sections-of-a-cone-and-not-on-other%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
6 Answers
6
active
oldest
votes
6 Answers
6
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Elementary algebra begins with the study of linear equations. Quadratic equations naturally come next. Their graphs are ellipses, parabolas and hyperbolas. The Greek geometers knew them as sections of a cone. That geometry is often left out of beginning math courses today.
The quadratic functions are particularly useful in physics. I think they are not nearly as useful in other applications, or in understanding numbers in the news. When I teach mathematics to students who are not planning to go on in science we work on exponential functions instead.
$endgroup$
add a comment |
$begingroup$
Elementary algebra begins with the study of linear equations. Quadratic equations naturally come next. Their graphs are ellipses, parabolas and hyperbolas. The Greek geometers knew them as sections of a cone. That geometry is often left out of beginning math courses today.
The quadratic functions are particularly useful in physics. I think they are not nearly as useful in other applications, or in understanding numbers in the news. When I teach mathematics to students who are not planning to go on in science we work on exponential functions instead.
$endgroup$
add a comment |
$begingroup$
Elementary algebra begins with the study of linear equations. Quadratic equations naturally come next. Their graphs are ellipses, parabolas and hyperbolas. The Greek geometers knew them as sections of a cone. That geometry is often left out of beginning math courses today.
The quadratic functions are particularly useful in physics. I think they are not nearly as useful in other applications, or in understanding numbers in the news. When I teach mathematics to students who are not planning to go on in science we work on exponential functions instead.
$endgroup$
Elementary algebra begins with the study of linear equations. Quadratic equations naturally come next. Their graphs are ellipses, parabolas and hyperbolas. The Greek geometers knew them as sections of a cone. That geometry is often left out of beginning math courses today.
The quadratic functions are particularly useful in physics. I think they are not nearly as useful in other applications, or in understanding numbers in the news. When I teach mathematics to students who are not planning to go on in science we work on exponential functions instead.
answered 2 days ago
Ethan BolkerEthan Bolker
46.5k555122
46.5k555122
add a comment |
add a comment |
$begingroup$
One of the things that makes a cone simpler than a cube is that it is an “algebraic object” that can be defined by a simple polynomial identity ($x^2 + y^2 - z^2 = 0$). Taking cross-sections preserves this algebraic nature (since an infinite plane is also algebraic) so we end up with a quadratic curve in two variables, which is a fairly nice object. In some sense these are the “simplest” possible shapes beyond straight lines.
At the same time, you are probably aware that the shape of a quadratic curve varies drastically depending on where the minus signs live. The equation of a cone has enough minus signs that it is able to represent pretty much the entire spectrum of such curves, in contrast to, say, a sphere.
Lastly, there is some extent to which we study these because they were studied classically by the ancient Greek geometers. This kind of speaks to the utility angle in that there would be more applications of things that are well studied. But the preceding two points show that there are objective (non-historical) reasons to consider conic sections interesting. They are simple enough to be studied very thoroughly, and this simplicity also increases the chances that they would emerge naturally in many situations.
$endgroup$
add a comment |
$begingroup$
One of the things that makes a cone simpler than a cube is that it is an “algebraic object” that can be defined by a simple polynomial identity ($x^2 + y^2 - z^2 = 0$). Taking cross-sections preserves this algebraic nature (since an infinite plane is also algebraic) so we end up with a quadratic curve in two variables, which is a fairly nice object. In some sense these are the “simplest” possible shapes beyond straight lines.
At the same time, you are probably aware that the shape of a quadratic curve varies drastically depending on where the minus signs live. The equation of a cone has enough minus signs that it is able to represent pretty much the entire spectrum of such curves, in contrast to, say, a sphere.
Lastly, there is some extent to which we study these because they were studied classically by the ancient Greek geometers. This kind of speaks to the utility angle in that there would be more applications of things that are well studied. But the preceding two points show that there are objective (non-historical) reasons to consider conic sections interesting. They are simple enough to be studied very thoroughly, and this simplicity also increases the chances that they would emerge naturally in many situations.
$endgroup$
add a comment |
$begingroup$
One of the things that makes a cone simpler than a cube is that it is an “algebraic object” that can be defined by a simple polynomial identity ($x^2 + y^2 - z^2 = 0$). Taking cross-sections preserves this algebraic nature (since an infinite plane is also algebraic) so we end up with a quadratic curve in two variables, which is a fairly nice object. In some sense these are the “simplest” possible shapes beyond straight lines.
At the same time, you are probably aware that the shape of a quadratic curve varies drastically depending on where the minus signs live. The equation of a cone has enough minus signs that it is able to represent pretty much the entire spectrum of such curves, in contrast to, say, a sphere.
Lastly, there is some extent to which we study these because they were studied classically by the ancient Greek geometers. This kind of speaks to the utility angle in that there would be more applications of things that are well studied. But the preceding two points show that there are objective (non-historical) reasons to consider conic sections interesting. They are simple enough to be studied very thoroughly, and this simplicity also increases the chances that they would emerge naturally in many situations.
$endgroup$
One of the things that makes a cone simpler than a cube is that it is an “algebraic object” that can be defined by a simple polynomial identity ($x^2 + y^2 - z^2 = 0$). Taking cross-sections preserves this algebraic nature (since an infinite plane is also algebraic) so we end up with a quadratic curve in two variables, which is a fairly nice object. In some sense these are the “simplest” possible shapes beyond straight lines.
At the same time, you are probably aware that the shape of a quadratic curve varies drastically depending on where the minus signs live. The equation of a cone has enough minus signs that it is able to represent pretty much the entire spectrum of such curves, in contrast to, say, a sphere.
Lastly, there is some extent to which we study these because they were studied classically by the ancient Greek geometers. This kind of speaks to the utility angle in that there would be more applications of things that are well studied. But the preceding two points show that there are objective (non-historical) reasons to consider conic sections interesting. They are simple enough to be studied very thoroughly, and this simplicity also increases the chances that they would emerge naturally in many situations.
edited yesterday
answered 2 days ago
Erick WongErick Wong
20.6k22667
20.6k22667
add a comment |
add a comment |
$begingroup$
My question is why do these cross sections of cones deserve more attention than those of, say, a rectangular prism, a cube, or some other 3D (or any dimensional) object?
Because there's nothing else. Look at the common 3D solids. The cross sections of a cuboid (and in fact any other polytope) are just a bunch of straight lines connected together, so this is just a piecewise linear graph, and piecewise linear graphs don't need to be motivated as cross-sections of three-dimensional objects. The cross sections of a spheroids (ellipsoids) are ellipses, which come up in cross sections of cones anyway. The cross sections of a cylinder are either trapeziums or ellipses. These are much less interesting and rich than conic sections!
$endgroup$
3
$begingroup$
Cross sections of circular cylinders can also be elliptical
$endgroup$
– MJD
2 days ago
$begingroup$
Has it been proven that there's nothing else? For example, what about a torus, or a peanut shape, a spiral spring shape? I can't imagine there are no other shapes with mathematically interesting cross sections?
$endgroup$
– bob
yesterday
4
$begingroup$
@bob: Indeed, the cross sections of a torus are very interesting, as some googling will no doubt reveal. Examples include Villarceau circles and spiric sections; the famous lemniscate of Bernoulli is an example of a spiric section.
$endgroup$
– Will R
yesterday
2
$begingroup$
@Will R Cool! For others, here's a link about spiric sections--it looks awesome: wikiwand.com/en/Spiric_section. And there is a generalized equation the same as with conic sections. Here's the equation from the Wikipedia article: (x^2+y^2)^2=dx^2+ey^2+f, where d, e, and f are parameters.
$endgroup$
– bob
yesterday
$begingroup$
And they're apparently known from antiquity. Here's a quote from the Wikipedia article in my previous comment: "Spiric sections were first described by the ancient Greek geometer Perseus in roughly 150 BC, and are assumed to be the first toric sections to be described. The name spiric is due to the ancient notation spira of a torus."
$endgroup$
– bob
yesterday
|
show 1 more comment
$begingroup$
My question is why do these cross sections of cones deserve more attention than those of, say, a rectangular prism, a cube, or some other 3D (or any dimensional) object?
Because there's nothing else. Look at the common 3D solids. The cross sections of a cuboid (and in fact any other polytope) are just a bunch of straight lines connected together, so this is just a piecewise linear graph, and piecewise linear graphs don't need to be motivated as cross-sections of three-dimensional objects. The cross sections of a spheroids (ellipsoids) are ellipses, which come up in cross sections of cones anyway. The cross sections of a cylinder are either trapeziums or ellipses. These are much less interesting and rich than conic sections!
$endgroup$
3
$begingroup$
Cross sections of circular cylinders can also be elliptical
$endgroup$
– MJD
2 days ago
$begingroup$
Has it been proven that there's nothing else? For example, what about a torus, or a peanut shape, a spiral spring shape? I can't imagine there are no other shapes with mathematically interesting cross sections?
$endgroup$
– bob
yesterday
4
$begingroup$
@bob: Indeed, the cross sections of a torus are very interesting, as some googling will no doubt reveal. Examples include Villarceau circles and spiric sections; the famous lemniscate of Bernoulli is an example of a spiric section.
$endgroup$
– Will R
yesterday
2
$begingroup$
@Will R Cool! For others, here's a link about spiric sections--it looks awesome: wikiwand.com/en/Spiric_section. And there is a generalized equation the same as with conic sections. Here's the equation from the Wikipedia article: (x^2+y^2)^2=dx^2+ey^2+f, where d, e, and f are parameters.
$endgroup$
– bob
yesterday
$begingroup$
And they're apparently known from antiquity. Here's a quote from the Wikipedia article in my previous comment: "Spiric sections were first described by the ancient Greek geometer Perseus in roughly 150 BC, and are assumed to be the first toric sections to be described. The name spiric is due to the ancient notation spira of a torus."
$endgroup$
– bob
yesterday
|
show 1 more comment
$begingroup$
My question is why do these cross sections of cones deserve more attention than those of, say, a rectangular prism, a cube, or some other 3D (or any dimensional) object?
Because there's nothing else. Look at the common 3D solids. The cross sections of a cuboid (and in fact any other polytope) are just a bunch of straight lines connected together, so this is just a piecewise linear graph, and piecewise linear graphs don't need to be motivated as cross-sections of three-dimensional objects. The cross sections of a spheroids (ellipsoids) are ellipses, which come up in cross sections of cones anyway. The cross sections of a cylinder are either trapeziums or ellipses. These are much less interesting and rich than conic sections!
$endgroup$
My question is why do these cross sections of cones deserve more attention than those of, say, a rectangular prism, a cube, or some other 3D (or any dimensional) object?
Because there's nothing else. Look at the common 3D solids. The cross sections of a cuboid (and in fact any other polytope) are just a bunch of straight lines connected together, so this is just a piecewise linear graph, and piecewise linear graphs don't need to be motivated as cross-sections of three-dimensional objects. The cross sections of a spheroids (ellipsoids) are ellipses, which come up in cross sections of cones anyway. The cross sections of a cylinder are either trapeziums or ellipses. These are much less interesting and rich than conic sections!
edited 2 days ago
answered 2 days ago
YiFanYiFan
5,5832829
5,5832829
3
$begingroup$
Cross sections of circular cylinders can also be elliptical
$endgroup$
– MJD
2 days ago
$begingroup$
Has it been proven that there's nothing else? For example, what about a torus, or a peanut shape, a spiral spring shape? I can't imagine there are no other shapes with mathematically interesting cross sections?
$endgroup$
– bob
yesterday
4
$begingroup$
@bob: Indeed, the cross sections of a torus are very interesting, as some googling will no doubt reveal. Examples include Villarceau circles and spiric sections; the famous lemniscate of Bernoulli is an example of a spiric section.
$endgroup$
– Will R
yesterday
2
$begingroup$
@Will R Cool! For others, here's a link about spiric sections--it looks awesome: wikiwand.com/en/Spiric_section. And there is a generalized equation the same as with conic sections. Here's the equation from the Wikipedia article: (x^2+y^2)^2=dx^2+ey^2+f, where d, e, and f are parameters.
$endgroup$
– bob
yesterday
$begingroup$
And they're apparently known from antiquity. Here's a quote from the Wikipedia article in my previous comment: "Spiric sections were first described by the ancient Greek geometer Perseus in roughly 150 BC, and are assumed to be the first toric sections to be described. The name spiric is due to the ancient notation spira of a torus."
$endgroup$
– bob
yesterday
|
show 1 more comment
3
$begingroup$
Cross sections of circular cylinders can also be elliptical
$endgroup$
– MJD
2 days ago
$begingroup$
Has it been proven that there's nothing else? For example, what about a torus, or a peanut shape, a spiral spring shape? I can't imagine there are no other shapes with mathematically interesting cross sections?
$endgroup$
– bob
yesterday
4
$begingroup$
@bob: Indeed, the cross sections of a torus are very interesting, as some googling will no doubt reveal. Examples include Villarceau circles and spiric sections; the famous lemniscate of Bernoulli is an example of a spiric section.
$endgroup$
– Will R
yesterday
2
$begingroup$
@Will R Cool! For others, here's a link about spiric sections--it looks awesome: wikiwand.com/en/Spiric_section. And there is a generalized equation the same as with conic sections. Here's the equation from the Wikipedia article: (x^2+y^2)^2=dx^2+ey^2+f, where d, e, and f are parameters.
$endgroup$
– bob
yesterday
$begingroup$
And they're apparently known from antiquity. Here's a quote from the Wikipedia article in my previous comment: "Spiric sections were first described by the ancient Greek geometer Perseus in roughly 150 BC, and are assumed to be the first toric sections to be described. The name spiric is due to the ancient notation spira of a torus."
$endgroup$
– bob
yesterday
3
3
$begingroup$
Cross sections of circular cylinders can also be elliptical
$endgroup$
– MJD
2 days ago
$begingroup$
Cross sections of circular cylinders can also be elliptical
$endgroup$
– MJD
2 days ago
$begingroup$
Has it been proven that there's nothing else? For example, what about a torus, or a peanut shape, a spiral spring shape? I can't imagine there are no other shapes with mathematically interesting cross sections?
$endgroup$
– bob
yesterday
$begingroup$
Has it been proven that there's nothing else? For example, what about a torus, or a peanut shape, a spiral spring shape? I can't imagine there are no other shapes with mathematically interesting cross sections?
$endgroup$
– bob
yesterday
4
4
$begingroup$
@bob: Indeed, the cross sections of a torus are very interesting, as some googling will no doubt reveal. Examples include Villarceau circles and spiric sections; the famous lemniscate of Bernoulli is an example of a spiric section.
$endgroup$
– Will R
yesterday
$begingroup$
@bob: Indeed, the cross sections of a torus are very interesting, as some googling will no doubt reveal. Examples include Villarceau circles and spiric sections; the famous lemniscate of Bernoulli is an example of a spiric section.
$endgroup$
– Will R
yesterday
2
2
$begingroup$
@Will R Cool! For others, here's a link about spiric sections--it looks awesome: wikiwand.com/en/Spiric_section. And there is a generalized equation the same as with conic sections. Here's the equation from the Wikipedia article: (x^2+y^2)^2=dx^2+ey^2+f, where d, e, and f are parameters.
$endgroup$
– bob
yesterday
$begingroup$
@Will R Cool! For others, here's a link about spiric sections--it looks awesome: wikiwand.com/en/Spiric_section. And there is a generalized equation the same as with conic sections. Here's the equation from the Wikipedia article: (x^2+y^2)^2=dx^2+ey^2+f, where d, e, and f are parameters.
$endgroup$
– bob
yesterday
$begingroup$
And they're apparently known from antiquity. Here's a quote from the Wikipedia article in my previous comment: "Spiric sections were first described by the ancient Greek geometer Perseus in roughly 150 BC, and are assumed to be the first toric sections to be described. The name spiric is due to the ancient notation spira of a torus."
$endgroup$
– bob
yesterday
$begingroup$
And they're apparently known from antiquity. Here's a quote from the Wikipedia article in my previous comment: "Spiric sections were first described by the ancient Greek geometer Perseus in roughly 150 BC, and are assumed to be the first toric sections to be described. The name spiric is due to the ancient notation spira of a torus."
$endgroup$
– bob
yesterday
|
show 1 more comment
$begingroup$
There are several types of objects that can be analyzed as a curve defined by the zeroes of a second-degree polynomial in two variables: $Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0$. This includes circles, ellipses, parabolas, hyperbolas; all with the same basic equation form, but differing in their relationship between A, B, and C.
It's handy to have one term that covers all of these, and since all* of these shapes happen to be planar cross-sections of a cone, “conic sections" works nicely.
(* Well, except for the degenerate case of two parallel lines, as in $(y - x)^2 = 1$, which is actually not a conic section but a cylindrical section. Just say that a cylinder is a cone that doesn't slant.)
“Cubic sections", “pyramidal sections", etc., can just be called “polygons", so there's less need for a special word for them.
$endgroup$
1
$begingroup$
But what about cross sections of smooth or semi-smooth 3D solids? E.g. what about cross sections of Gabriel's horn? wikiwand.com/en/Gabriel%27s_Horn
$endgroup$
– bob
yesterday
add a comment |
$begingroup$
There are several types of objects that can be analyzed as a curve defined by the zeroes of a second-degree polynomial in two variables: $Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0$. This includes circles, ellipses, parabolas, hyperbolas; all with the same basic equation form, but differing in their relationship between A, B, and C.
It's handy to have one term that covers all of these, and since all* of these shapes happen to be planar cross-sections of a cone, “conic sections" works nicely.
(* Well, except for the degenerate case of two parallel lines, as in $(y - x)^2 = 1$, which is actually not a conic section but a cylindrical section. Just say that a cylinder is a cone that doesn't slant.)
“Cubic sections", “pyramidal sections", etc., can just be called “polygons", so there's less need for a special word for them.
$endgroup$
1
$begingroup$
But what about cross sections of smooth or semi-smooth 3D solids? E.g. what about cross sections of Gabriel's horn? wikiwand.com/en/Gabriel%27s_Horn
$endgroup$
– bob
yesterday
add a comment |
$begingroup$
There are several types of objects that can be analyzed as a curve defined by the zeroes of a second-degree polynomial in two variables: $Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0$. This includes circles, ellipses, parabolas, hyperbolas; all with the same basic equation form, but differing in their relationship between A, B, and C.
It's handy to have one term that covers all of these, and since all* of these shapes happen to be planar cross-sections of a cone, “conic sections" works nicely.
(* Well, except for the degenerate case of two parallel lines, as in $(y - x)^2 = 1$, which is actually not a conic section but a cylindrical section. Just say that a cylinder is a cone that doesn't slant.)
“Cubic sections", “pyramidal sections", etc., can just be called “polygons", so there's less need for a special word for them.
$endgroup$
There are several types of objects that can be analyzed as a curve defined by the zeroes of a second-degree polynomial in two variables: $Ax^2 + Bxy + Cy^2 + Dx + Ey + F = 0$. This includes circles, ellipses, parabolas, hyperbolas; all with the same basic equation form, but differing in their relationship between A, B, and C.
It's handy to have one term that covers all of these, and since all* of these shapes happen to be planar cross-sections of a cone, “conic sections" works nicely.
(* Well, except for the degenerate case of two parallel lines, as in $(y - x)^2 = 1$, which is actually not a conic section but a cylindrical section. Just say that a cylinder is a cone that doesn't slant.)
“Cubic sections", “pyramidal sections", etc., can just be called “polygons", so there's less need for a special word for them.
answered yesterday
DanDan
4,70511617
4,70511617
1
$begingroup$
But what about cross sections of smooth or semi-smooth 3D solids? E.g. what about cross sections of Gabriel's horn? wikiwand.com/en/Gabriel%27s_Horn
$endgroup$
– bob
yesterday
add a comment |
1
$begingroup$
But what about cross sections of smooth or semi-smooth 3D solids? E.g. what about cross sections of Gabriel's horn? wikiwand.com/en/Gabriel%27s_Horn
$endgroup$
– bob
yesterday
1
1
$begingroup$
But what about cross sections of smooth or semi-smooth 3D solids? E.g. what about cross sections of Gabriel's horn? wikiwand.com/en/Gabriel%27s_Horn
$endgroup$
– bob
yesterday
$begingroup$
But what about cross sections of smooth or semi-smooth 3D solids? E.g. what about cross sections of Gabriel's horn? wikiwand.com/en/Gabriel%27s_Horn
$endgroup$
– bob
yesterday
add a comment |
$begingroup$
TL;DR: ultimately you do study cross-sections of other cone-like shapes, you just don't know about it unless you've studied some algebraic geometry.
The cross-sections of a cone lie in perspective. Imagine you are sat at the origin in $mathbbR^3$ and you look out along a ray (=half-line) which lies inside the cone. Fix a plane $Pi$ which does not go through the origin in $mathbbR^3$ and look at the conic section $C$ given by $Pi.$ From your point of view, the conic section $C$ looks like some vaguely oval shape. Now rotate the plane $Pi$ about a fixed point on $C$; amazingly enough, your point of view doesn't change! Your vaguely oval shape stays completely still throughout the entire process. Even though, from an extrinsic perspective, the conic section $C$ is changing dramatically during the process - maybe at first it was a circle, and then as $Pi$ rotates, it becomes an ellipse, then very briefly a parabola, and then a hyperbola - the whole time, what you see from the origin looks the same.
Roughly speaking, the study of this phenomenon used to be known as projective geometry. Modern projective geometry has its roots in this, but has grown far outside these bounds.
Suppose you give me a polynomial $f(x,y)$ in two variables; then the equation $f(x,y)=0$ defines a set of points in $mathbbR^2,$ and this set of points forms a curve. The curve might be a "conic section", like in the case $f(x,y)=x^2+y^2-1,$ or it might not be, like in the case $f(x,y)=y^2-x^3-x^2+1.$
Here's a neat trick: make a new polynomial $F(x,y,z),$ this time in three variables, as follows: $F(x,y,z)=f(x/z,y/z)cdot z^degf.$ Let's look at the two examples I mentioned above, to get a feel for this. If $f(x,y)=x^2+y^2-1,$ then
$$F(x,y,z)=f(x/z,y/z)cdot z^2=z^2left(fracx^2z^2+fracy^2z^2-1right)=x^2+y^2-z^2.$$ In the same way, if $f(x,y)=y^2-x^3-x^2+1,$ then $$F(x,y,z)=z^3left(fracy^2z^2-fracx^3z^3-fracx^2z^2+1right)=y^2z-x^3-x^2z+z^3.$$ By construction, what we get at the end is always a homogeneous polynomial, that is, every monomial term in the polynomial is of the same fixed degree (in the above examples, $2$ and $3$, respectively).
Why is this cool? Consider the set of points in $mathbbR^3$ satisfying $F(x,y,z)=0.$ What does this look like? In the case of the circle $f(x,y)=x^2+y^2-1,$ we got $F(x,y,z)=x^2+y^2-z^2,$ and $(x,y,z):x^2+y^2=z^2$ is exactly the standard cone in $mathbbR^3$! The "conic section" $x^2+y^2=1$ is just what you get when you intersect this surface with the plane $Pi=z=1.$ And in fact, more generally, if you give me any homogeneous polynomial $F(x,y,z),$ then the set $(x,y,z):F(x,y,z)=0$ will be a cone over the curve $f(x,y)=F(x,y,1)=0.$ Make no mistake: this "cone" doesn't look like the kind of cone you may be used to; it will be weirdly shaped, so that the intersection with the plane $Pi=z=1$ will give back the curve $F(x,y,1)=0.$
What does this mean? It means that whenever you consider an algebraic curve $f(x,y)=0$ in in the plane (and I wager that you do this a lot, whether or not you realize it), you are in fact already considering a "conic" section; it's just the cone is not quite what you are expecting! But it does have the same crucial "perspective" property that I point out before.
In algebraic geometry, you would study the homogenization $F(x,y,z)=0,$ but the modern viewpoint is not to think of this as a surface in space, but instead as a curve in the projective plane $mathbbP^2$: each line through the origin in $mathbbR^3$ is represented by a point in $mathbbP^2.$ I'll leave it to you to imagine a line through the origin rotating around in space, and sometimes it is contained, as a subset, in the surface $F(x,y,z)=0$ (think of the special case of the ordinary cone $x^2+y^2=z^2$ with which you're already familiar), but usually it only intersects this surface at the origin; those times when it is contained in the surface are the "points" on the "curve" $F(x,y,z)=0$ in $mathbbP^2.$
So why the focus on classical conic sections?
This has a simple answer: because they are the easiest case! They are one of the few truly accessible cases in algebraic geometry, in the sense that it is very easy to classify them: you have circles, hyperbolas, and ellipses (plus some degenerate cases). With more general "cones", this classification is not always so easy! And moreover, there is a fair amount to be said, many ways to say those things, and the maths relates to lots of other things (besides geometry, the study of conic sections is by definition also the study of quadratic forms).
$endgroup$
$begingroup$
My "simple answer" at the end here could be improved. In particular, I would like to say something about the fact that the conic sections happen to include all the quadratic curves, which is not something we would expect a priori. But I don't have time to expand on this point right now.
$endgroup$
– Will R
yesterday
$begingroup$
thanks for this answer. When I saw this post I immediately thought there should be an algebraic Geometry perspective posted, and you saved me from posting myself :)
$endgroup$
– Brevan Ellefsen
yesterday
add a comment |
$begingroup$
TL;DR: ultimately you do study cross-sections of other cone-like shapes, you just don't know about it unless you've studied some algebraic geometry.
The cross-sections of a cone lie in perspective. Imagine you are sat at the origin in $mathbbR^3$ and you look out along a ray (=half-line) which lies inside the cone. Fix a plane $Pi$ which does not go through the origin in $mathbbR^3$ and look at the conic section $C$ given by $Pi.$ From your point of view, the conic section $C$ looks like some vaguely oval shape. Now rotate the plane $Pi$ about a fixed point on $C$; amazingly enough, your point of view doesn't change! Your vaguely oval shape stays completely still throughout the entire process. Even though, from an extrinsic perspective, the conic section $C$ is changing dramatically during the process - maybe at first it was a circle, and then as $Pi$ rotates, it becomes an ellipse, then very briefly a parabola, and then a hyperbola - the whole time, what you see from the origin looks the same.
Roughly speaking, the study of this phenomenon used to be known as projective geometry. Modern projective geometry has its roots in this, but has grown far outside these bounds.
Suppose you give me a polynomial $f(x,y)$ in two variables; then the equation $f(x,y)=0$ defines a set of points in $mathbbR^2,$ and this set of points forms a curve. The curve might be a "conic section", like in the case $f(x,y)=x^2+y^2-1,$ or it might not be, like in the case $f(x,y)=y^2-x^3-x^2+1.$
Here's a neat trick: make a new polynomial $F(x,y,z),$ this time in three variables, as follows: $F(x,y,z)=f(x/z,y/z)cdot z^degf.$ Let's look at the two examples I mentioned above, to get a feel for this. If $f(x,y)=x^2+y^2-1,$ then
$$F(x,y,z)=f(x/z,y/z)cdot z^2=z^2left(fracx^2z^2+fracy^2z^2-1right)=x^2+y^2-z^2.$$ In the same way, if $f(x,y)=y^2-x^3-x^2+1,$ then $$F(x,y,z)=z^3left(fracy^2z^2-fracx^3z^3-fracx^2z^2+1right)=y^2z-x^3-x^2z+z^3.$$ By construction, what we get at the end is always a homogeneous polynomial, that is, every monomial term in the polynomial is of the same fixed degree (in the above examples, $2$ and $3$, respectively).
Why is this cool? Consider the set of points in $mathbbR^3$ satisfying $F(x,y,z)=0.$ What does this look like? In the case of the circle $f(x,y)=x^2+y^2-1,$ we got $F(x,y,z)=x^2+y^2-z^2,$ and $(x,y,z):x^2+y^2=z^2$ is exactly the standard cone in $mathbbR^3$! The "conic section" $x^2+y^2=1$ is just what you get when you intersect this surface with the plane $Pi=z=1.$ And in fact, more generally, if you give me any homogeneous polynomial $F(x,y,z),$ then the set $(x,y,z):F(x,y,z)=0$ will be a cone over the curve $f(x,y)=F(x,y,1)=0.$ Make no mistake: this "cone" doesn't look like the kind of cone you may be used to; it will be weirdly shaped, so that the intersection with the plane $Pi=z=1$ will give back the curve $F(x,y,1)=0.$
What does this mean? It means that whenever you consider an algebraic curve $f(x,y)=0$ in in the plane (and I wager that you do this a lot, whether or not you realize it), you are in fact already considering a "conic" section; it's just the cone is not quite what you are expecting! But it does have the same crucial "perspective" property that I point out before.
In algebraic geometry, you would study the homogenization $F(x,y,z)=0,$ but the modern viewpoint is not to think of this as a surface in space, but instead as a curve in the projective plane $mathbbP^2$: each line through the origin in $mathbbR^3$ is represented by a point in $mathbbP^2.$ I'll leave it to you to imagine a line through the origin rotating around in space, and sometimes it is contained, as a subset, in the surface $F(x,y,z)=0$ (think of the special case of the ordinary cone $x^2+y^2=z^2$ with which you're already familiar), but usually it only intersects this surface at the origin; those times when it is contained in the surface are the "points" on the "curve" $F(x,y,z)=0$ in $mathbbP^2.$
So why the focus on classical conic sections?
This has a simple answer: because they are the easiest case! They are one of the few truly accessible cases in algebraic geometry, in the sense that it is very easy to classify them: you have circles, hyperbolas, and ellipses (plus some degenerate cases). With more general "cones", this classification is not always so easy! And moreover, there is a fair amount to be said, many ways to say those things, and the maths relates to lots of other things (besides geometry, the study of conic sections is by definition also the study of quadratic forms).
$endgroup$
$begingroup$
My "simple answer" at the end here could be improved. In particular, I would like to say something about the fact that the conic sections happen to include all the quadratic curves, which is not something we would expect a priori. But I don't have time to expand on this point right now.
$endgroup$
– Will R
yesterday
$begingroup$
thanks for this answer. When I saw this post I immediately thought there should be an algebraic Geometry perspective posted, and you saved me from posting myself :)
$endgroup$
– Brevan Ellefsen
yesterday
add a comment |
$begingroup$
TL;DR: ultimately you do study cross-sections of other cone-like shapes, you just don't know about it unless you've studied some algebraic geometry.
The cross-sections of a cone lie in perspective. Imagine you are sat at the origin in $mathbbR^3$ and you look out along a ray (=half-line) which lies inside the cone. Fix a plane $Pi$ which does not go through the origin in $mathbbR^3$ and look at the conic section $C$ given by $Pi.$ From your point of view, the conic section $C$ looks like some vaguely oval shape. Now rotate the plane $Pi$ about a fixed point on $C$; amazingly enough, your point of view doesn't change! Your vaguely oval shape stays completely still throughout the entire process. Even though, from an extrinsic perspective, the conic section $C$ is changing dramatically during the process - maybe at first it was a circle, and then as $Pi$ rotates, it becomes an ellipse, then very briefly a parabola, and then a hyperbola - the whole time, what you see from the origin looks the same.
Roughly speaking, the study of this phenomenon used to be known as projective geometry. Modern projective geometry has its roots in this, but has grown far outside these bounds.
Suppose you give me a polynomial $f(x,y)$ in two variables; then the equation $f(x,y)=0$ defines a set of points in $mathbbR^2,$ and this set of points forms a curve. The curve might be a "conic section", like in the case $f(x,y)=x^2+y^2-1,$ or it might not be, like in the case $f(x,y)=y^2-x^3-x^2+1.$
Here's a neat trick: make a new polynomial $F(x,y,z),$ this time in three variables, as follows: $F(x,y,z)=f(x/z,y/z)cdot z^degf.$ Let's look at the two examples I mentioned above, to get a feel for this. If $f(x,y)=x^2+y^2-1,$ then
$$F(x,y,z)=f(x/z,y/z)cdot z^2=z^2left(fracx^2z^2+fracy^2z^2-1right)=x^2+y^2-z^2.$$ In the same way, if $f(x,y)=y^2-x^3-x^2+1,$ then $$F(x,y,z)=z^3left(fracy^2z^2-fracx^3z^3-fracx^2z^2+1right)=y^2z-x^3-x^2z+z^3.$$ By construction, what we get at the end is always a homogeneous polynomial, that is, every monomial term in the polynomial is of the same fixed degree (in the above examples, $2$ and $3$, respectively).
Why is this cool? Consider the set of points in $mathbbR^3$ satisfying $F(x,y,z)=0.$ What does this look like? In the case of the circle $f(x,y)=x^2+y^2-1,$ we got $F(x,y,z)=x^2+y^2-z^2,$ and $(x,y,z):x^2+y^2=z^2$ is exactly the standard cone in $mathbbR^3$! The "conic section" $x^2+y^2=1$ is just what you get when you intersect this surface with the plane $Pi=z=1.$ And in fact, more generally, if you give me any homogeneous polynomial $F(x,y,z),$ then the set $(x,y,z):F(x,y,z)=0$ will be a cone over the curve $f(x,y)=F(x,y,1)=0.$ Make no mistake: this "cone" doesn't look like the kind of cone you may be used to; it will be weirdly shaped, so that the intersection with the plane $Pi=z=1$ will give back the curve $F(x,y,1)=0.$
What does this mean? It means that whenever you consider an algebraic curve $f(x,y)=0$ in in the plane (and I wager that you do this a lot, whether or not you realize it), you are in fact already considering a "conic" section; it's just the cone is not quite what you are expecting! But it does have the same crucial "perspective" property that I point out before.
In algebraic geometry, you would study the homogenization $F(x,y,z)=0,$ but the modern viewpoint is not to think of this as a surface in space, but instead as a curve in the projective plane $mathbbP^2$: each line through the origin in $mathbbR^3$ is represented by a point in $mathbbP^2.$ I'll leave it to you to imagine a line through the origin rotating around in space, and sometimes it is contained, as a subset, in the surface $F(x,y,z)=0$ (think of the special case of the ordinary cone $x^2+y^2=z^2$ with which you're already familiar), but usually it only intersects this surface at the origin; those times when it is contained in the surface are the "points" on the "curve" $F(x,y,z)=0$ in $mathbbP^2.$
So why the focus on classical conic sections?
This has a simple answer: because they are the easiest case! They are one of the few truly accessible cases in algebraic geometry, in the sense that it is very easy to classify them: you have circles, hyperbolas, and ellipses (plus some degenerate cases). With more general "cones", this classification is not always so easy! And moreover, there is a fair amount to be said, many ways to say those things, and the maths relates to lots of other things (besides geometry, the study of conic sections is by definition also the study of quadratic forms).
$endgroup$
TL;DR: ultimately you do study cross-sections of other cone-like shapes, you just don't know about it unless you've studied some algebraic geometry.
The cross-sections of a cone lie in perspective. Imagine you are sat at the origin in $mathbbR^3$ and you look out along a ray (=half-line) which lies inside the cone. Fix a plane $Pi$ which does not go through the origin in $mathbbR^3$ and look at the conic section $C$ given by $Pi.$ From your point of view, the conic section $C$ looks like some vaguely oval shape. Now rotate the plane $Pi$ about a fixed point on $C$; amazingly enough, your point of view doesn't change! Your vaguely oval shape stays completely still throughout the entire process. Even though, from an extrinsic perspective, the conic section $C$ is changing dramatically during the process - maybe at first it was a circle, and then as $Pi$ rotates, it becomes an ellipse, then very briefly a parabola, and then a hyperbola - the whole time, what you see from the origin looks the same.
Roughly speaking, the study of this phenomenon used to be known as projective geometry. Modern projective geometry has its roots in this, but has grown far outside these bounds.
Suppose you give me a polynomial $f(x,y)$ in two variables; then the equation $f(x,y)=0$ defines a set of points in $mathbbR^2,$ and this set of points forms a curve. The curve might be a "conic section", like in the case $f(x,y)=x^2+y^2-1,$ or it might not be, like in the case $f(x,y)=y^2-x^3-x^2+1.$
Here's a neat trick: make a new polynomial $F(x,y,z),$ this time in three variables, as follows: $F(x,y,z)=f(x/z,y/z)cdot z^degf.$ Let's look at the two examples I mentioned above, to get a feel for this. If $f(x,y)=x^2+y^2-1,$ then
$$F(x,y,z)=f(x/z,y/z)cdot z^2=z^2left(fracx^2z^2+fracy^2z^2-1right)=x^2+y^2-z^2.$$ In the same way, if $f(x,y)=y^2-x^3-x^2+1,$ then $$F(x,y,z)=z^3left(fracy^2z^2-fracx^3z^3-fracx^2z^2+1right)=y^2z-x^3-x^2z+z^3.$$ By construction, what we get at the end is always a homogeneous polynomial, that is, every monomial term in the polynomial is of the same fixed degree (in the above examples, $2$ and $3$, respectively).
Why is this cool? Consider the set of points in $mathbbR^3$ satisfying $F(x,y,z)=0.$ What does this look like? In the case of the circle $f(x,y)=x^2+y^2-1,$ we got $F(x,y,z)=x^2+y^2-z^2,$ and $(x,y,z):x^2+y^2=z^2$ is exactly the standard cone in $mathbbR^3$! The "conic section" $x^2+y^2=1$ is just what you get when you intersect this surface with the plane $Pi=z=1.$ And in fact, more generally, if you give me any homogeneous polynomial $F(x,y,z),$ then the set $(x,y,z):F(x,y,z)=0$ will be a cone over the curve $f(x,y)=F(x,y,1)=0.$ Make no mistake: this "cone" doesn't look like the kind of cone you may be used to; it will be weirdly shaped, so that the intersection with the plane $Pi=z=1$ will give back the curve $F(x,y,1)=0.$
What does this mean? It means that whenever you consider an algebraic curve $f(x,y)=0$ in in the plane (and I wager that you do this a lot, whether or not you realize it), you are in fact already considering a "conic" section; it's just the cone is not quite what you are expecting! But it does have the same crucial "perspective" property that I point out before.
In algebraic geometry, you would study the homogenization $F(x,y,z)=0,$ but the modern viewpoint is not to think of this as a surface in space, but instead as a curve in the projective plane $mathbbP^2$: each line through the origin in $mathbbR^3$ is represented by a point in $mathbbP^2.$ I'll leave it to you to imagine a line through the origin rotating around in space, and sometimes it is contained, as a subset, in the surface $F(x,y,z)=0$ (think of the special case of the ordinary cone $x^2+y^2=z^2$ with which you're already familiar), but usually it only intersects this surface at the origin; those times when it is contained in the surface are the "points" on the "curve" $F(x,y,z)=0$ in $mathbbP^2.$
So why the focus on classical conic sections?
This has a simple answer: because they are the easiest case! They are one of the few truly accessible cases in algebraic geometry, in the sense that it is very easy to classify them: you have circles, hyperbolas, and ellipses (plus some degenerate cases). With more general "cones", this classification is not always so easy! And moreover, there is a fair amount to be said, many ways to say those things, and the maths relates to lots of other things (besides geometry, the study of conic sections is by definition also the study of quadratic forms).
edited yesterday
answered yesterday
Will RWill R
6,86231429
6,86231429
$begingroup$
My "simple answer" at the end here could be improved. In particular, I would like to say something about the fact that the conic sections happen to include all the quadratic curves, which is not something we would expect a priori. But I don't have time to expand on this point right now.
$endgroup$
– Will R
yesterday
$begingroup$
thanks for this answer. When I saw this post I immediately thought there should be an algebraic Geometry perspective posted, and you saved me from posting myself :)
$endgroup$
– Brevan Ellefsen
yesterday
add a comment |
$begingroup$
My "simple answer" at the end here could be improved. In particular, I would like to say something about the fact that the conic sections happen to include all the quadratic curves, which is not something we would expect a priori. But I don't have time to expand on this point right now.
$endgroup$
– Will R
yesterday
$begingroup$
thanks for this answer. When I saw this post I immediately thought there should be an algebraic Geometry perspective posted, and you saved me from posting myself :)
$endgroup$
– Brevan Ellefsen
yesterday
$begingroup$
My "simple answer" at the end here could be improved. In particular, I would like to say something about the fact that the conic sections happen to include all the quadratic curves, which is not something we would expect a priori. But I don't have time to expand on this point right now.
$endgroup$
– Will R
yesterday
$begingroup$
My "simple answer" at the end here could be improved. In particular, I would like to say something about the fact that the conic sections happen to include all the quadratic curves, which is not something we would expect a priori. But I don't have time to expand on this point right now.
$endgroup$
– Will R
yesterday
$begingroup$
thanks for this answer. When I saw this post I immediately thought there should be an algebraic Geometry perspective posted, and you saved me from posting myself :)
$endgroup$
– Brevan Ellefsen
yesterday
$begingroup$
thanks for this answer. When I saw this post I immediately thought there should be an algebraic Geometry perspective posted, and you saved me from posting myself :)
$endgroup$
– Brevan Ellefsen
yesterday
add a comment |
$begingroup$
I would suggest they get attention not "because they are conics" but because in two dimensions, pictures of something which is very important in analysis and applied math just happen to be conics, and drawing pictures is a good way to understand something that could be taught later using only algebra and calculus.
The first non-zero term of the Taylor expansion of a smooth function $f(x)$ about a maximum or minimum value $x = x_0$ is quadratic:
$$f(x) approx f(x_0) + frac 1 2 f''(x_0) (x-x_0)^2.$$
Generalizing $x$ to an $n$-dimensional vector $mathrmx$ gives the result
$$f(mathrmx_0) approx f(mathrmx_0) + frac 1 2 (mathrmx - mathrmx_0)^T mathrmA, (mathrmx - mathrmx_0)$$
where $mathrmA$ is the Hessian matrix of partial derivatives of $mathrmx$.
In two dimensions, this is a quadratic form whose graph is a conic section.
The graphical approach illustrates the general idea that there is a "special" coordinate system in which the "cross terms" in the product disappear, or in the general case, the matrix $mathrmA$ is diagonal. That notion will reappear in the context of linear algebra and eigenvalue problems.
So the long-term motivation is certainly not clear to the students at this stage, but "studying conics" is a way to introduce them to some important ideas for the future.
The fact that curves defined by the above equations are also cross sections of a circular cone is just an "interesting factoid" at this stage of the students' math education, though it will turn up again for those who eventually study differential geometry! A modern math course is unlikely to spend much time on purely geometrical proofs of the properties of conics, though comparing classical (3D) geometry with analytic geometry in that situation could be interesting.
Looking at it from this perspective, the fact that "conics are cross sections of a solid" is not the important issue here, so studying "cross sections of other solids" is beside the point.
$endgroup$
add a comment |
$begingroup$
I would suggest they get attention not "because they are conics" but because in two dimensions, pictures of something which is very important in analysis and applied math just happen to be conics, and drawing pictures is a good way to understand something that could be taught later using only algebra and calculus.
The first non-zero term of the Taylor expansion of a smooth function $f(x)$ about a maximum or minimum value $x = x_0$ is quadratic:
$$f(x) approx f(x_0) + frac 1 2 f''(x_0) (x-x_0)^2.$$
Generalizing $x$ to an $n$-dimensional vector $mathrmx$ gives the result
$$f(mathrmx_0) approx f(mathrmx_0) + frac 1 2 (mathrmx - mathrmx_0)^T mathrmA, (mathrmx - mathrmx_0)$$
where $mathrmA$ is the Hessian matrix of partial derivatives of $mathrmx$.
In two dimensions, this is a quadratic form whose graph is a conic section.
The graphical approach illustrates the general idea that there is a "special" coordinate system in which the "cross terms" in the product disappear, or in the general case, the matrix $mathrmA$ is diagonal. That notion will reappear in the context of linear algebra and eigenvalue problems.
So the long-term motivation is certainly not clear to the students at this stage, but "studying conics" is a way to introduce them to some important ideas for the future.
The fact that curves defined by the above equations are also cross sections of a circular cone is just an "interesting factoid" at this stage of the students' math education, though it will turn up again for those who eventually study differential geometry! A modern math course is unlikely to spend much time on purely geometrical proofs of the properties of conics, though comparing classical (3D) geometry with analytic geometry in that situation could be interesting.
Looking at it from this perspective, the fact that "conics are cross sections of a solid" is not the important issue here, so studying "cross sections of other solids" is beside the point.
$endgroup$
add a comment |
$begingroup$
I would suggest they get attention not "because they are conics" but because in two dimensions, pictures of something which is very important in analysis and applied math just happen to be conics, and drawing pictures is a good way to understand something that could be taught later using only algebra and calculus.
The first non-zero term of the Taylor expansion of a smooth function $f(x)$ about a maximum or minimum value $x = x_0$ is quadratic:
$$f(x) approx f(x_0) + frac 1 2 f''(x_0) (x-x_0)^2.$$
Generalizing $x$ to an $n$-dimensional vector $mathrmx$ gives the result
$$f(mathrmx_0) approx f(mathrmx_0) + frac 1 2 (mathrmx - mathrmx_0)^T mathrmA, (mathrmx - mathrmx_0)$$
where $mathrmA$ is the Hessian matrix of partial derivatives of $mathrmx$.
In two dimensions, this is a quadratic form whose graph is a conic section.
The graphical approach illustrates the general idea that there is a "special" coordinate system in which the "cross terms" in the product disappear, or in the general case, the matrix $mathrmA$ is diagonal. That notion will reappear in the context of linear algebra and eigenvalue problems.
So the long-term motivation is certainly not clear to the students at this stage, but "studying conics" is a way to introduce them to some important ideas for the future.
The fact that curves defined by the above equations are also cross sections of a circular cone is just an "interesting factoid" at this stage of the students' math education, though it will turn up again for those who eventually study differential geometry! A modern math course is unlikely to spend much time on purely geometrical proofs of the properties of conics, though comparing classical (3D) geometry with analytic geometry in that situation could be interesting.
Looking at it from this perspective, the fact that "conics are cross sections of a solid" is not the important issue here, so studying "cross sections of other solids" is beside the point.
$endgroup$
I would suggest they get attention not "because they are conics" but because in two dimensions, pictures of something which is very important in analysis and applied math just happen to be conics, and drawing pictures is a good way to understand something that could be taught later using only algebra and calculus.
The first non-zero term of the Taylor expansion of a smooth function $f(x)$ about a maximum or minimum value $x = x_0$ is quadratic:
$$f(x) approx f(x_0) + frac 1 2 f''(x_0) (x-x_0)^2.$$
Generalizing $x$ to an $n$-dimensional vector $mathrmx$ gives the result
$$f(mathrmx_0) approx f(mathrmx_0) + frac 1 2 (mathrmx - mathrmx_0)^T mathrmA, (mathrmx - mathrmx_0)$$
where $mathrmA$ is the Hessian matrix of partial derivatives of $mathrmx$.
In two dimensions, this is a quadratic form whose graph is a conic section.
The graphical approach illustrates the general idea that there is a "special" coordinate system in which the "cross terms" in the product disappear, or in the general case, the matrix $mathrmA$ is diagonal. That notion will reappear in the context of linear algebra and eigenvalue problems.
So the long-term motivation is certainly not clear to the students at this stage, but "studying conics" is a way to introduce them to some important ideas for the future.
The fact that curves defined by the above equations are also cross sections of a circular cone is just an "interesting factoid" at this stage of the students' math education, though it will turn up again for those who eventually study differential geometry! A modern math course is unlikely to spend much time on purely geometrical proofs of the properties of conics, though comparing classical (3D) geometry with analytic geometry in that situation could be interesting.
Looking at it from this perspective, the fact that "conics are cross sections of a solid" is not the important issue here, so studying "cross sections of other solids" is beside the point.
edited 18 hours ago
answered 18 hours ago
alephzeroalephzero
72037
72037
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3193067%2fwhy-do-early-math-courses-focus-on-the-cross-sections-of-a-cone-and-not-on-other%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
2
$begingroup$
Ancient Greek origins of geometry : conic sections (circle and later ellipse) were of paramount importance for astronomy.
$endgroup$
– Mauro ALLEGRANZA
yesterday
1
$begingroup$
@MauroALLEGRANZA Greek geometers studied conics - but did conics appear in their astronomy? I thought Kepler was the first to see that.
$endgroup$
– Ethan Bolker
yesterday
$begingroup$
@MauroALLEGRANZA I don't know it's very well understood why the Greeks studied conics.
$endgroup$
– Jack M
yesterday
1
$begingroup$
@JackM - agreed; but the reason why, for centuries after Ancient Greece, conics were studied is IMO linked to the fact that they are quite simple and because the path of celestial bodies is not a square.
$endgroup$
– Mauro ALLEGRANZA
yesterday
$begingroup$
A somehow related question: why ellipse is a 'conic' section?
$endgroup$
– polfosol
13 hours ago