Jump to content

Cone: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
No edit summary
 
(30 intermediate revisions by 19 users not shown)
Line 1: Line 1:
{{short description|Geometric shape}}
{{short description|Geometric shape}}
{{other uses|Cone (disambiguation)}}{{distinguish|Conical surface}}
{{other uses|Cone (disambiguation)}}
{{distinguish|Conical surface}}
{{Infobox polyhedron
{{Infobox polyhedron
| name = Cone
| name = Cone
Line 8: Line 9:
| faces = 1 circular face and 1 conic surface
| faces = 1 circular face and 1 conic surface
| euler = 2
| euler = 2
| symmetry = [[Orthogonal group|{{math|O(2) × SO(1)}}]]
| symmetry = [[Orthogonal group|{{math|O(2)}}]]
| surface_area = {{math|[[Pi|{{pi}}]]''r''<sup>2</sup> + [[Pi|{{pi}}]]''rl''}}
| surface_area = {{math|[[Pi|{{pi}}]]''r''<sup>2</sup> + [[Pi|{{pi}}]]''rℓ''}}
| volume = {{math|([[Pi|{{pi}}]]''r''<sup>2</sup>''h'')/3}}
| volume = {{math|([[Pi|{{pi}}]]''r''<sup>2</sup>''h'')/3}}
}}
}}
Line 17: Line 18:
A '''cone''' is a [[three-dimensional space|three-dimensional]] [[geometric shape]] that tapers smoothly from a flat base (frequently, though not necessarily, circular) to a point called the [[Apex (geometry)|apex]] or [[vertex (geometry)|vertex]].
A '''cone''' is a [[three-dimensional space|three-dimensional]] [[geometric shape]] that tapers smoothly from a flat base (frequently, though not necessarily, circular) to a point called the [[Apex (geometry)|apex]] or [[vertex (geometry)|vertex]].


A cone is formed by a set of [[line segment]]s, [[half-line]]s, or [[line (geometry)| line]]s connecting a common point, the apex, to all of the points on a base that is in a [[plane (geometry)|plane]] that does not contain the apex. Depending on the author, the base may be restricted to be a [[circle]], any one-dimensional [[quadratic form]] in the plane, any closed [[one-dimensional space|one-dimensional figure]], or any of the above plus all the enclosed points. If the enclosed points are included in the base, the cone is a [[solid geometry|solid object]]; otherwise it is a [[two-dimensional]] object in three-dimensional space. In the case of a solid object, the boundary formed by these lines or partial lines is called the ''lateral surface''; if the lateral surface is unbounded, it is a [[conical surface]].
A cone is formed by a set of [[line segment]]s, [[Ray (geometry)|half-line]]s, or [[Line (geometry)|line]]s connecting a common point, the apex, to all of the points on a base that is in a [[plane (geometry)|plane]] that does not contain the apex. Depending on the author, the base may be restricted to be a [[circle]], any one-dimensional [[quadratic form]] in the plane, any closed [[one-dimensional space|one-dimensional figure]], or any of the above plus all the enclosed points. If the enclosed points are included in the base, the cone is a [[solid geometry|solid object]]; otherwise it is a [[two-dimensional]] object in three-dimensional space. In the case of a solid object, the boundary formed by these lines or partial lines is called the ''lateral surface''; if the lateral surface is unbounded, it is a [[conical surface]].


In the case of line segments, the cone does not extend beyond the base, while in the case of half-lines, it extends infinitely far. In the case of lines, the cone extends infinitely far in both directions from the apex, in which case it is sometimes called a '''double cone'''{{anchor|Double}}. Either half of a double cone on one side of the apex is called a ''nappe''.
In the case of line segments, the cone does not extend beyond the base, while in the case of half-lines, it extends infinitely far. In the case of lines, the cone extends infinitely far in both directions from the apex, in which case it is sometimes called a '''double cone'''{{anchor|Double}}. Either half of a double cone on one side of the apex is called a ''nappe''.


The [[rotational symmetry|axis]] of a cone is the straight line (if any), passing through the apex, about which the base (and the whole cone) has a [[circular symmetry]].
The [[rotational symmetry|axis]] of a cone is the straight line passing through the apex about which the base (and the whole cone) has a [[circular symmetry]].


In common usage in elementary [[geometry]], cones are assumed to be '''right circular''', where ''circular'' means that the base is a [[circle]] and ''right'' means that the axis passes through the centre of the base [[perpendicular|at right angles]] to its plane.<ref name=":1">{{Cite book|url=https://books.google.com/books?id=UyIfgBIwLMQC|title=The Mathematics Dictionary|last=James|first=R. C. |author-link=Robert C. James |last2=James|first2=Glenn|date=1992-07-31|publisher=Springer Science & Business Media|isbn=9780412990410|pages=74–75|language=en}}</ref> If the cone is right circular the intersection of a plane with the lateral surface is a [[conic section]]. In general, however, the base may be any shape<ref name="grunbaum">Grünbaum, ''[[Convex Polytopes]]'', second edition, p. 23.</ref> and the apex may lie anywhere (though it is usually assumed that the base is bounded and therefore has finite [[area (geometry)|area]], and that the apex lies outside the plane of the base). Contrasted with right cones are oblique cones, in which the axis passes through the centre of the base non-perpendicularly.<ref name="MathWorld">{{MathWorld |urlname=Cone |title=Cone}}</ref>
In common usage in elementary [[geometry]], cones are assumed to be '''right circular''', where ''circular'' means that the base is a [[circle]] and ''right'' means that the axis passes through the centre of the base [[perpendicular|at right angles]] to its plane.<ref name=":1">{{Cite book|url=https://books.google.com/books?id=UyIfgBIwLMQC|title=The Mathematics Dictionary|last=James|first=R. C. |author-link=Robert C. James |last2=James|first2=Glenn|date=1992-07-31|publisher=Springer Science & Business Media|isbn=9780412990410|pages=74–75|language=en}}</ref> If the cone is right circular the intersection of a plane with the lateral surface is a [[conic section]]. In general, however, the base may be any shape<ref name="grunbaum">Grünbaum, ''[[Convex Polytopes]]'', second edition, p. 23.</ref> and the apex may lie anywhere (though it is usually assumed that the base is bounded and therefore has finite [[area (geometry)|area]], and that the apex lies outside the plane of the base). Contrasted with right cones are oblique cones, in which the axis passes through the centre of the base non-perpendicularly.<ref name="MathWorld">{{MathWorld |urlname=Cone |title=Cone}}</ref>
[[File:Sharjah - International (SHJ - OMSJ) AN0609523.jpg|thumb|Air traffic control tower in the shape of a cone, Sharjah Airport.]]

A cone with a [[polygon]]al base is called a [[Pyramid (geometry)|pyramid]].
A cone with a [[polygon]]al base is called a [[Pyramid (geometry)|pyramid]].


Line 31: Line 32:
Cones can also be generalized to [[Dimension#Additional dimensions|higher dimensions]].
Cones can also be generalized to [[Dimension#Additional dimensions|higher dimensions]].


== Further terminology ==
== Further terminology {{anchor|Terminology}}==
The perimeter of the base of a cone is called the "directrix", and each of the line segments between the directrix and apex is a "generatrix" or "generating line" of the lateral surface. (For the connection between this sense of the term "directrix" and the [[Directrix (conic section)|directrix]] of a conic section, see [[Dandelin spheres]].)
The perimeter of the base of a cone is called the "directrix", and each of the line segments between the directrix and apex is a "generatrix" or "generating line" of the lateral surface. (For the connection between this sense of the term "directrix" and the [[Directrix (conic section)|directrix]] of a conic section, see [[Dandelin spheres]].)


The "base radius" of a circular cone is the [[radius]] of its base; often this is simply called the radius of the cone. The ''aperture'' of a right circular cone is the maximum angle between two generatrix lines; if the generatrix makes an angle ''θ'' to the axis, the aperture is 2''θ''. In [[optics]], the angle ''θ'' is called the {{anchor |half-angle}}'''half-angle'''<!-- Bold because it is the target of a redirect --> of the cone, to distinguish it from the aperture.
The "base radius" of a circular cone is the [[radius]] of its base; often this is simply called the radius of the cone. The '''''aperture''''' of a right circular cone is the maximum angle between two generatrix lines; if the generatrix makes an angle ''θ'' to the axis, the aperture is 2''θ''. In [[optics]], the angle ''θ'' is called the {{anchor |half-angle}}'''''half-angle'''''<!-- Bold and italic because it is the target of a redirect to a term--> of the cone, to distinguish it from the aperture.
[[File:Acta Eruditorum - I geometria, 1734 – BEIC 13446956.jpg|thumb|Illustration from ''Problemata mathematica...'' published in [[Acta Eruditorum]], 1734]]
[[File:Acta Eruditorum - I geometria, 1734 – BEIC 13446956.jpg|thumb|Illustration from ''Problemata mathematica...'' published in [[Acta Eruditorum]], 1734]]

A cone with a region including its apex cut off by a plane is called a "[[Truncation (geometry)|truncated]] cone"; if the truncation plane is parallel to the cone's base, it is called a [[frustum]].<ref name=":1" /> An "elliptical cone" is a cone with an [[ellipse|elliptical]] base.<ref name=":1" /> A "generalized cone" is the surface created by the set of lines passing through a vertex and every point on a boundary (also see [[visual hull]]).
[[File:Cut cone unparallel.JPG|thumb|left|A cone truncated by an inclined plane]]
A cone with a region including its apex cut off by a plane is called a '''''truncated cone'''''; if the [[Truncation (geometry)|truncation]] plane is parallel to the cone's base, it is called a ''[[frustum]]''.<ref name=":1" /> An '''''elliptical cone''''' is a cone with an [[ellipse|elliptical]] base.<ref name=":1" /> A '''''generalized cone''''' is the surface created by the set of lines passing through a vertex and every point on a boundary (also see [[visual hull]]).


== Measurements and equations==
== Measurements and equations==
Line 42: Line 45:


=== Volume ===
=== Volume ===
[[File:visual_proof_cone_volume.svg|thumb|[[Proof without words]] that the volume of a cone is a third of a cylinder of equal diameter and height
{|
|valign="top"|{{nowrap|1.}}||A cone and a cylinder have {{nowrap|radius ''r''}} and {{nowrap|height ''h''.}}
|-
|valign="top"|2.||The volume ratio is maintained when the height is scaled to {{nowrap|1=''h' ''= ''r'' &#8730;{{pi}}.}}
|-
|valign="top"|3.||Decompose it into thin slices.
|-
|valign="top"|4.||Using Cavalieri's principle, reshape each slice into a square of the same area.
|-
|valign="top"|5.||The pyramid is replicated twice.
|-
|valign="top"|6.||Combining them into a cube shows that the volume ratio is 1:3.
|}]]
The [[volume]] <math>V</math> of any conic solid is one third of the product of the area of the base <math>A_B</math> and the height <math>h</math><ref name=":0">{{Cite book|url=https://books.google.com/books?id=EN_KAgAAQBAJ|title=Elementary Geometry for College Students|last=Alexander|first=Daniel C.|last2=Koeberlein|first2=Geralyn M.|date=2014-01-01|publisher=Cengage Learning|isbn=9781285965901|language=en}}</ref>
The [[volume]] <math>V</math> of any conic solid is one third of the product of the area of the base <math>A_B</math> and the height <math>h</math><ref name=":0">{{Cite book|url=https://books.google.com/books?id=EN_KAgAAQBAJ|title=Elementary Geometry for College Students|last=Alexander|first=Daniel C.|last2=Koeberlein|first2=Geralyn M.|date=2014-01-01|publisher=Cengage Learning|isbn=9781285965901|language=en}}</ref>
:<math>V = \frac{1}{3}A_B h.</math>
:<math>V = \frac{1}{3}A_B h.</math>


In modern mathematics, this formula can easily be computed using calculus — it is, up to scaling, the integral <math display="block">\int x^2 \, dx = \tfrac{1}{3} x^3</math> Without using calculus, the formula can be proven by comparing the cone to a pyramid and applying [[Cavalieri's principle]] – specifically, comparing the cone to a (vertically scaled) right square pyramid, which forms one third of a cube. This formula cannot be proven without using such infinitesimal arguments – unlike the 2-dimensional formulae for polyhedral area, though similar to the area of the circle – and hence admitted less rigorous proofs before the advent of calculus, with the ancient Greeks using the [[method of exhaustion]]. This is essentially the content of [[Hilbert's third problem]] – more precisely, not all polyhedral pyramids are ''scissors congruent'' (can be cut apart into finite pieces and rearranged into the other), and thus volume cannot be computed purely by using a decomposition argument.<ref>{{Cite book|url=https://books.google.com/books?id=C5fSBwAAQBAJ|title=Geometry: Euclid and Beyond|last=Hartshorne|first=Robin|author-link=Robin Hartshorne|date=2013-11-11|publisher=Springer Science & Business Media|isbn=9780387226767|at=Chapter 27|language=en}} </ref>
In modern mathematics, this formula can easily be computed using calculus — it is, up to scaling, the integral <math display="block">\int x^2 \, dx = \tfrac{1}{3} x^3</math> Without using calculus, the formula can be proven by comparing the cone to a pyramid and applying [[Cavalieri's principle]] – specifically, comparing the cone to a (vertically scaled) right square pyramid, which forms one third of a cube. This formula cannot be proven without using such infinitesimal arguments – unlike the 2-dimensional formulae for polyhedral area, though similar to the area of the circle – and hence admitted less rigorous proofs before the advent of calculus, with the ancient Greeks using the [[method of exhaustion]]. This is essentially the content of [[Hilbert's third problem]] – more precisely, not all polyhedral pyramids are ''scissors congruent'' (can be cut apart into finite pieces and rearranged into the other), and thus volume cannot be computed purely by using a decomposition argument.<ref>{{Cite book|url=https://books.google.com/books?id=C5fSBwAAQBAJ|title=Geometry: Euclid and Beyond|last=Hartshorne|first=Robin|author-link=Robin Hartshorne|date=2013-11-11|publisher=Springer Science & Business Media|isbn=9780387226767|at=Chapter 27|language=en}}</ref>


=== Center of mass ===
=== Center of mass ===
Line 60: Line 77:


====Surface area====
====Surface area====
The [[lateral surface]] area of a right circular cone is <math>LSA = \pi r l</math> where <math>r</math> is the radius of the circle at the bottom of the cone and <math>l</math> is the slant height of the cone.<ref name=":0" /> The surface area of the bottom circle of a cone is the same as for any circle, <math>\pi r^2</math>. Thus, the total surface area of a right circular cone can be expressed as each of the following:
The [[lateral surface]] area of a right circular cone is <math>LSA = \pi r \ell</math> where <math>r</math> is the radius of the circle at the bottom of the cone and <math>\ell</math> is the slant height of the cone.<ref name=":0" /> The surface area of the bottom circle of a cone is the same as for any circle, <math>\pi r^2</math>. Thus, the total surface area of a right circular cone can be expressed as each of the following:


*Radius and height
*Radius and height
Line 69: Line 86:
:where <math>r</math> is the radius and <math>h</math> is the height.
:where <math>r</math> is the radius and <math>h</math> is the height.


[[File:Cone_surface_area.svg|thumb|Total surface area of a right circular cone, given radius 𝑟 and slant height ℓ]]
*Radius and slant height
*Radius and slant height
:<math>\pi r^2+\pi r l</math>
::<math>\pi r^2+\pi r \ell</math>


::<math>\pi r(r+l)</math>
::<math>\pi r(r+\ell)</math>
:where <math>r</math> is the radius and <math>l</math> is the slant height.
:where <math>r</math> is the radius and <math>\ell</math> is the slant height.


*Circumference and slant height
*Circumference and slant height
::<math>\frac {c^2} {4 \pi} + \frac {cl} 2</math>
::<math>\frac {c^2} {4 \pi} + \frac {c\ell} 2</math>


::<math>\left(\frac c 2\right)\left(\frac c {2\pi} + l\right)</math>
::<math>\left(\frac c 2\right)\left(\frac c {2\pi} + \ell\right)</math>
:where <math>c</math> is the circumference and <math>l</math> is the slant height.
:where <math>c</math> is the circumference and <math>\ell</math> is the slant height.


*Apex angle and height
*Apex angle and height
::<math>\pi h^2 \tan \frac{\theta}{2} \left(\tan \frac{\theta}{2} + \sec \frac{\theta}{2}\right)</math>
::<math>\pi h^2 \tan \frac{\theta}{2} \left(\tan \frac{\theta}{2} + \sec \frac{\theta}{2}\right)</math>
::<math>-\frac{\pi h^2 \sin \frac{\theta}{2}}{\sin \frac{\theta}{2}-1}</math>
:where <math> \theta </math> is the apex angle and <math>h</math> is the height.
:where <math> \theta </math> is the apex angle and <math>h</math> is the height.


====Circular sector====
====Circular sector====
The [[circular sector]] obtained by unfolding the surface of one nappe of the cone has:
The [[circular sector]] is obtained by unfolding the surface of one nappe of the cone:


*radius ''R''
*radius ''R''
Line 113: Line 132:


More generally, a right circular cone with vertex at the origin, axis parallel to the vector <math>d</math>, and aperture <math>2\theta</math>, is given by the implicit [[vector calculus|vector]] equation <math>F(u) = 0</math> where
More generally, a right circular cone with vertex at the origin, axis parallel to the vector <math>d</math>, and aperture <math>2\theta</math>, is given by the implicit [[vector calculus|vector]] equation <math>F(u) = 0</math> where
:<math>F(u) = (u \cdot d)^2 - (d \cdot d) (u \cdot u) (\cos \theta)^2</math> &nbsp; or &nbsp; <math>F(u) = u \cdot d - |d| |u| \cos \theta</math>
:<math>F(u) = (u \cdot d)^2 - (d \cdot d) (u \cdot u) (\cos \theta)^2</math>
:<math>F(u) = u \cdot d - |d| |u| \cos \theta</math>
where <math>u=(x,y,z)</math>, and <math>u \cdot d</math> denotes the [[dot product]].
where <math>u=(x,y,z)</math>, and <math>u \cdot d</math> denotes the [[dot product]].


=== Elliptic cone===
=== Elliptic cone===
[[File:Elliptical Cone Quadric.Png|alt=elliptical cone quadric surface|thumb|An elliptical cone quadric surface]]
[[File:Elliptical Cone Quadric.Png|alt=elliptical cone quadric surface|thumb|An elliptical cone quadric surface]]
In the [[Cartesian coordinate system]], an ''elliptic cone'' is the locus of an equation of the form<ref>{{harvtxt|Protter|Morrey|1970|p=583}}</ref>
In the [[Cartesian coordinate system]], an ''elliptic cone'' is the [[Locus (mathematics)|locus]] of an equation of the form<ref>{{harvtxt |Protter |Morrey |1970 |p=583}}</ref>


:<math> \frac{x^2}{a^2} + \frac{y^2}{b^2} = z^2 .</math>
:<math> \frac{x^2}{a^2} + \frac{y^2}{b^2} = z^2 .</math>


It is an [[Affine map|affine image]] of the right-circular ''unit cone'' with equation <math>x^2+y^2=z^2\ .</math> From the fact, that the affine image of a [[conic section]] is a conic section of the same type (ellipse, parabola,...) one gets:
It is an [[Affine map|affine image]] of the right-circular ''unit cone'' with equation <math>x^2+y^2=z^2\ .</math> From the fact, that the affine image of a [[conic section]] is a conic section of the same type (ellipse, parabola,...), one gets:
*Any ''plane section'' of an elliptic cone is a conic section.
*Any ''plane section'' of an elliptic cone is a conic section.
Obviously, any right circular cone contains circles. This is also true, but less obvious, in the general case (see [[circular section]]).
Obviously, any right circular cone contains circles. This is also true, but less obvious, in the general case (see [[circular section]]).
Line 137: Line 157:


== Generalizations ==
== Generalizations ==
{{See|Hypercone}}
{{Further|Hypercone}}
The definition of a cone may be extended to higher dimensions; see '''[[convex cone]]'''. In this case, one says that a [[convex set]] ''C'' in the [[real number|real]] [[vector space]] <math>\mathbb{R}^n</math> is a cone (with apex at the origin) if for every vector ''x'' in ''C'' and every nonnegative real number ''a'', the vector ''ax'' is in ''C''.<ref name="grunbaum" /> In this context, the analogues of circular cones are not usually special; in fact one is often interested in ''[[Convex cone#Polyhedral and finitely generated cones|polyhedral cones]]''.
The definition of a cone may be extended to higher dimensions; see [[convex cone]]. In this case, one says that a [[convex set]] ''C'' in the [[real number|real]] [[vector space]] <math>\mathbb{R}^n</math> is a cone (with apex at the origin) if for every vector ''x'' in ''C'' and every nonnegative real number ''a'', the vector ''ax'' is in ''C''.<ref name="grunbaum" /> In this context, the analogues of circular cones are not usually special; in fact one is often interested in [[Convex cone#Polyhedral and finitely generated cones|polyhedral cones]].


An even more general concept is the '''[[topological cone]]''', which is defined in arbitrary topological spaces.
An even more general concept is the [[topological cone]], which is defined in arbitrary topological spaces.


== See also ==
== See also ==
Line 171: Line 191:
* [http://mathforum.org/library/drmath/view/55017.html Lateral surface area of an oblique cone]
* [http://mathforum.org/library/drmath/view/55017.html Lateral surface area of an oblique cone]
* [http://www.cut-the-knot.org/Curriculum/Geometry/ConicSections.shtml Cut a Cone] An interactive demonstration of the intersection of a cone with a plane
* [http://www.cut-the-knot.org/Curriculum/Geometry/ConicSections.shtml Cut a Cone] An interactive demonstration of the intersection of a cone with a plane

{{Authority control}}


[[Category:Elementary shapes]]
[[Category:Elementary shapes]]

Latest revision as of 10:19, 13 November 2024

Cone
A right circular cone with the radius of its base r, its height h, its slant height c and its angle θ.
TypeSolid figure
Faces1 circular face and 1 conic surface
Euler char.2
Symmetry groupO(2)
Surface areaπr2 + πrℓ
Volume(πr2h)/3
A right circular cone and an oblique circular cone
A double cone (not shown infinitely extended)
3D model of a cone

A cone is a three-dimensional geometric shape that tapers smoothly from a flat base (frequently, though not necessarily, circular) to a point called the apex or vertex.

A cone is formed by a set of line segments, half-lines, or lines connecting a common point, the apex, to all of the points on a base that is in a plane that does not contain the apex. Depending on the author, the base may be restricted to be a circle, any one-dimensional quadratic form in the plane, any closed one-dimensional figure, or any of the above plus all the enclosed points. If the enclosed points are included in the base, the cone is a solid object; otherwise it is a two-dimensional object in three-dimensional space. In the case of a solid object, the boundary formed by these lines or partial lines is called the lateral surface; if the lateral surface is unbounded, it is a conical surface.

In the case of line segments, the cone does not extend beyond the base, while in the case of half-lines, it extends infinitely far. In the case of lines, the cone extends infinitely far in both directions from the apex, in which case it is sometimes called a double cone. Either half of a double cone on one side of the apex is called a nappe.

The axis of a cone is the straight line passing through the apex about which the base (and the whole cone) has a circular symmetry.

In common usage in elementary geometry, cones are assumed to be right circular, where circular means that the base is a circle and right means that the axis passes through the centre of the base at right angles to its plane.[1] If the cone is right circular the intersection of a plane with the lateral surface is a conic section. In general, however, the base may be any shape[2] and the apex may lie anywhere (though it is usually assumed that the base is bounded and therefore has finite area, and that the apex lies outside the plane of the base). Contrasted with right cones are oblique cones, in which the axis passes through the centre of the base non-perpendicularly.[3]

Air traffic control tower in the shape of a cone, Sharjah Airport.

A cone with a polygonal base is called a pyramid.

Depending on the context, "cone" may also mean specifically a convex cone or a projective cone.

Cones can also be generalized to higher dimensions.

Further terminology

[edit]

The perimeter of the base of a cone is called the "directrix", and each of the line segments between the directrix and apex is a "generatrix" or "generating line" of the lateral surface. (For the connection between this sense of the term "directrix" and the directrix of a conic section, see Dandelin spheres.)

The "base radius" of a circular cone is the radius of its base; often this is simply called the radius of the cone. The aperture of a right circular cone is the maximum angle between two generatrix lines; if the generatrix makes an angle θ to the axis, the aperture is 2θ. In optics, the angle θ is called the half-angle of the cone, to distinguish it from the aperture.

Illustration from Problemata mathematica... published in Acta Eruditorum, 1734
A cone truncated by an inclined plane

A cone with a region including its apex cut off by a plane is called a truncated cone; if the truncation plane is parallel to the cone's base, it is called a frustum.[1] An elliptical cone is a cone with an elliptical base.[1] A generalized cone is the surface created by the set of lines passing through a vertex and every point on a boundary (also see visual hull).

Measurements and equations

[edit]

Volume

[edit]
Proof without words that the volume of a cone is a third of a cylinder of equal diameter and height
1. A cone and a cylinder have radius r and height h.
2. The volume ratio is maintained when the height is scaled to h' = rπ.
3. Decompose it into thin slices.
4. Using Cavalieri's principle, reshape each slice into a square of the same area.
5. The pyramid is replicated twice.
6. Combining them into a cube shows that the volume ratio is 1:3.

The volume of any conic solid is one third of the product of the area of the base and the height [4]

In modern mathematics, this formula can easily be computed using calculus — it is, up to scaling, the integral Without using calculus, the formula can be proven by comparing the cone to a pyramid and applying Cavalieri's principle – specifically, comparing the cone to a (vertically scaled) right square pyramid, which forms one third of a cube. This formula cannot be proven without using such infinitesimal arguments – unlike the 2-dimensional formulae for polyhedral area, though similar to the area of the circle – and hence admitted less rigorous proofs before the advent of calculus, with the ancient Greeks using the method of exhaustion. This is essentially the content of Hilbert's third problem – more precisely, not all polyhedral pyramids are scissors congruent (can be cut apart into finite pieces and rearranged into the other), and thus volume cannot be computed purely by using a decomposition argument.[5]

Center of mass

[edit]

The center of mass of a conic solid of uniform density lies one-quarter of the way from the center of the base to the vertex, on the straight line joining the two.

Right circular cone

[edit]

Volume

[edit]

For a circular cone with radius r and height h, the base is a circle of area and so the formula for volume becomes[6]

Slant height

[edit]

The slant height of a right circular cone is the distance from any point on the circle of its base to the apex via a line segment along the surface of the cone. It is given by , where is the radius of the base and is the height. This can be proved by the Pythagorean theorem.

Surface area

[edit]

The lateral surface area of a right circular cone is where is the radius of the circle at the bottom of the cone and is the slant height of the cone.[4] The surface area of the bottom circle of a cone is the same as for any circle, . Thus, the total surface area of a right circular cone can be expressed as each of the following:

  • Radius and height
(the area of the base plus the area of the lateral surface; the term is the slant height)
where is the radius and is the height.
Total surface area of a right circular cone, given radius 𝑟 and slant height ℓ
  • Radius and slant height
where is the radius and is the slant height.
  • Circumference and slant height
where is the circumference and is the slant height.
  • Apex angle and height
where is the apex angle and is the height.

Circular sector

[edit]

The circular sector is obtained by unfolding the surface of one nappe of the cone:

  • radius R
  • arc length L
  • central angle φ in radians

Equation form

[edit]

The surface of a cone can be parameterized as

where is the angle "around" the cone, and is the "height" along the cone.

A right solid circular cone with height and aperture , whose axis is the coordinate axis and whose apex is the origin, is described parametrically as

where range over , , and , respectively.

In implicit form, the same solid is defined by the inequalities

where

More generally, a right circular cone with vertex at the origin, axis parallel to the vector , and aperture , is given by the implicit vector equation where

where , and denotes the dot product.

Elliptic cone

[edit]
elliptical cone quadric surface
An elliptical cone quadric surface

In the Cartesian coordinate system, an elliptic cone is the locus of an equation of the form[7]

It is an affine image of the right-circular unit cone with equation From the fact, that the affine image of a conic section is a conic section of the same type (ellipse, parabola,...), one gets:

  • Any plane section of an elliptic cone is a conic section.

Obviously, any right circular cone contains circles. This is also true, but less obvious, in the general case (see circular section).

The intersection of an elliptic cone with a concentric sphere is a spherical conic.

Projective geometry

[edit]
In projective geometry, a cylinder is simply a cone whose apex is at infinity, which corresponds visually to a cylinder in perspective appearing to be a cone towards the sky.

In projective geometry, a cylinder is simply a cone whose apex is at infinity.[8] Intuitively, if one keeps the base fixed and takes the limit as the apex goes to infinity, one obtains a cylinder, the angle of the side increasing as arctan, in the limit forming a right angle. This is useful in the definition of degenerate conics, which require considering the cylindrical conics.

According to G. B. Halsted, a cone is generated similarly to a Steiner conic only with a projectivity and axial pencils (not in perspective) rather than the projective ranges used for the Steiner conic:

"If two copunctual non-costraight axial pencils are projective but not perspective, the meets of correlated planes form a 'conic surface of the second order', or 'cone'."[9]

Generalizations

[edit]

The definition of a cone may be extended to higher dimensions; see convex cone. In this case, one says that a convex set C in the real vector space is a cone (with apex at the origin) if for every vector x in C and every nonnegative real number a, the vector ax is in C.[2] In this context, the analogues of circular cones are not usually special; in fact one is often interested in polyhedral cones.

An even more general concept is the topological cone, which is defined in arbitrary topological spaces.

See also

[edit]

Notes

[edit]
  1. ^ a b c James, R. C.; James, Glenn (1992-07-31). The Mathematics Dictionary. Springer Science & Business Media. pp. 74–75. ISBN 9780412990410.
  2. ^ a b Grünbaum, Convex Polytopes, second edition, p. 23.
  3. ^ Weisstein, Eric W. "Cone". MathWorld.
  4. ^ a b Alexander, Daniel C.; Koeberlein, Geralyn M. (2014-01-01). Elementary Geometry for College Students. Cengage Learning. ISBN 9781285965901.
  5. ^ Hartshorne, Robin (2013-11-11). Geometry: Euclid and Beyond. Springer Science & Business Media. Chapter 27. ISBN 9780387226767.
  6. ^ Blank, Brian E.; Krantz, Steven George (2006-01-01). Calculus: Single Variable. Springer Science & Business Media. Chapter 8. ISBN 9781931914598.
  7. ^ Protter & Morrey (1970, p. 583)
  8. ^ Dowling, Linnaeus Wayland (1917-01-01). Projective Geometry. McGraw-Hill book Company, Incorporated.
  9. ^ G. B. Halsted (1906) Synthetic Projective Geometry, page 20

References

[edit]
  • Protter, Murray H.; Morrey, Charles B. Jr. (1970), College Calculus with Analytic Geometry (2nd ed.), Reading: Addison-Wesley, LCCN 76087042
[edit]