Jump to content

Cardioid: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
No edit summary
supply requested citation
 
(36 intermediate revisions by 21 users not shown)
Line 1: Line 1:
{{Short description|Type of plane curve}}
{{Short description|Type of plane curve}}
{{CS1 config|mode=cs1}}
[[File:Herzkurve.svg|thumb|A cardioid]]
[[File:Herzkurve.svg|thumb|A cardioid]][[File:Caustique.jpg|thumb|right|200px|The [[caustic (optics)|caustic]] appearing on the surface of this cup of coffee is a cardioid.]]


A '''cardioid''' (from the [[Greek language|Greek]] καρδιά "heart") is a [[plane curve]] traced by a point on the perimeter of a circle that is rolling around a fixed circle of the same radius. It can also be defined as an [[epicycloid]] having a single [[Cusp (singularity)|cusp]]. It is also a type of [[sinusoidal spiral]], and an [[inverse curve]] of the [[parabola]] with the focus as the center of inversion.<ref>{{MathWorld|title=Parabola Inverse Curve|urlname=ParabolaInverseCurve}}</ref> A cardioid can also be defined as the set of points of reflections of a fixed point on a circle through all tangents to the circle.<ref>S Balachandra Rao . Differential Calculus, p. 457</ref>
In [[geometry]], a '''cardioid''' ({{ety|el|[[wikt:καρδιά|''καρδιά'']] (kardiá)|heart}}) is a [[plane curve]] traced by a point on the perimeter of a circle that is rolling around a fixed circle of the same radius. It can also be defined as an [[epicycloid]] having a single [[Cusp (singularity)|cusp]]. It is also a type of [[sinusoidal spiral]], and an [[inverse curve]] of the [[parabola]] with the focus as the center of inversion.<ref>{{MathWorld|title=Parabola Inverse Curve|urlname=ParabolaInverseCurve}}</ref> A cardioid can also be defined as the set of points of reflections of a fixed point on a circle through all tangents to the circle.<ref>S Balachandra Rao . Differential Calculus, p. 457</ref>


[[File:Cardiod animation.gif|thumb|right|Cardioid generated by a rolling circle on a circle with the same radius]]
[[File:Cardiod animation.gif|thumb|right|Cardioid generated by a rolling circle on a circle with the same radius]]


The name was coined by [[Giovanni Salvemini|de Castillon]] in 1741<ref>Lockwood</ref> but had been the subject of study decades beforehand.<ref name="Yates">Yates</ref> Named for its heart-like form, it is shaped more like the outline of the cross section of a round [[apple]] without the stalk.
The name was coined by [[Giovanni Salvemini]] in 1741<ref>Lockwood</ref> but the cardioid had been the subject of study decades beforehand.<ref name="Yates">Yates</ref> Although named for its heart-like form, it is shaped more like the outline of the cross-section of a round [[apple]] without the stalk.<ref>{{cite book
| last1 = Gutenmacher | first1 = Victor
| last2 = Vasilyev | first2 = N. B.
| doi = 10.1007/978-1-4757-3809-4
| isbn = 9781475738094
| location = Boston
| page = 90
| publisher = Birkhäuser
| title = Lines and Curves
| year = 2004}}</ref>


A [[cardioid microphone#Cardioid, hypercardioid, supercardioid, subcardioid|cardioid microphone]] exhibits an [[acoustics|acoustic]] pickup pattern that, when graphed in two dimensions, resembles a cardioid (any 2d plane containing the 3d straight line of the microphone body). In three dimensions, the cardioid is shaped like an apple centred around the microphone which is the "stalk" of the apple.
A [[cardioid microphone#Cardioid, hypercardioid, supercardioid, subcardioid|cardioid microphone]] exhibits an [[acoustics|acoustic]] pickup pattern that, when graphed in two dimensions, resembles a cardioid (any 2d plane containing the 3d straight line of the microphone body). In three dimensions, the cardioid is shaped like an apple centred around the microphone which is the "stalk" of the apple.
Line 14: Line 24:
Let <math>a</math> be the common radius of the two generating circles with midpoints <math>(-a,0), (a,0)</math>, <math>\varphi</math> the rolling angle and the origin the starting point (see picture). One gets the
Let <math>a</math> be the common radius of the two generating circles with midpoints <math>(-a,0), (a,0)</math>, <math>\varphi</math> the rolling angle and the origin the starting point (see picture). One gets the
* [[parametric representation]]: <math display="block">\begin{align}
* [[parametric representation]]: <math display="block">\begin{align}
x(\varphi) &= 2a (1 - \cos\varphi)\cdot\cos\varphi \ , \\
x(\varphi) &= 2a (1 - \cos\varphi)\cdot\cos\varphi \ , \\
y(\varphi) &= 2a (1 - \cos\varphi)\cdot\sin\varphi \ , \qquad 0\le \varphi < 2\pi
y(\varphi) &= 2a (1 - \cos\varphi)\cdot\sin\varphi \ , \qquad 0\le \varphi < 2\pi
\end{align}</math>
\end{align}</math> and herefrom the representation in
and herefrom the representation in
* [[polar coordinates]]: <math display="block">r(\varphi) = 2a (1 - \cos\varphi).</math>
* [[polar coordinates]]: <math display="block">r(\varphi) = 2a (1 - \cos\varphi).</math>
Introducing the substitutions <math>\cos\varphi = x/r</math> and <math display="inline">r = \sqrt{x^2 + y^2}</math> one gets after removing the square root the implicit representation in
* Introducing the substitutions <math>\cos\varphi = x/r</math> and <math display="inline">r = \sqrt{x^2 + y^2}</math> one gets after removing the square root the implicit representation in [[Cartesian coordinates]]: <math display="block">\left(x^2 + y^2\right)^2 + 4 a x \left(x^2 + y^2\right) - 4a^2 y^2 = 0.</math>
* [[Cartesian coordinates]]: <math display="block">\left(x^2 + y^2\right)^2 + 4 a x \left(x^2 + y^2\right) - 4a^2 y^2 = 0.</math>


===Proof for the parametric representation===
===Proof for the parametric representation===
A proof can be established using complex numbers and their common description as the [[complex plane]]. The rolling movement of the black circle on the blue one can be split into two rotations. In the complex plane a rotation around point <math>0</math> (the origin) by an angle <math>\varphi</math> can be performed by multiplying a point <math>z</math> (complex number) by <math> e^{i\varphi}</math>. Hence
A proof can be established using complex numbers and their common description as the [[complex plane]]. The rolling movement of the black circle on the blue one can be split into two rotations. In the complex plane a rotation around point <math>0</math> (the origin) by an angle <math>\varphi</math> can be performed by multiplying a point <math>z</math> (complex number) by <math> e^{i\varphi}</math>. Hence
:the rotation <math>\Phi_+</math> around point <math>a</math> is<math>:z \mapsto a + (z - a)e^{i\varphi}</math>,
: the rotation <math>\Phi_+</math> around point <math>a</math> is<math>:z \mapsto a + (z - a)e^{i\varphi}</math>,
:the rotation <math>\Phi_-</math> around point <math>-a</math> is: <math>z \mapsto -a + (z + a)e^{i\varphi}</math>.
: the rotation <math>\Phi_-</math> around point <math>-a</math> is: <math>z \mapsto -a + (z + a)e^{i\varphi}</math>.
A point <math>p(\varphi)</math> of the cardioid is generated by rotating the origin around point <math>a</math> and subsequently rotating around <math>-a</math> by the same angle <math>\varphi</math>:
A point <math>p(\varphi)</math> of the cardioid is generated by rotating the origin around point <math>a</math> and subsequently rotating around <math>-a</math> by the same angle <math>\varphi</math>:
<math display="block">p(\varphi) = \Phi_ - (\Phi_+(0)) = \Phi_-\left(a - ae^{i\varphi}\right) = -a + \left( a - ae^{i\varphi} + a\right)e^{i\varphi} = a\;\left(-e^{i2\varphi} + 2e^{i\varphi} - 1\right).</math>
<math display="block">p(\varphi) = \Phi_ - (\Phi_+(0)) = \Phi_-\left(a - ae^{i\varphi}\right) = -a + \left( a - ae^{i\varphi} + a\right)e^{i\varphi} = a\;\left(-e^{i2\varphi} + 2e^{i\varphi} - 1\right).</math>
Line 33: Line 41:
y(\varphi) &=& a\;(-\sin(2\varphi) + 2\sin\varphi) &=& 2a(1 - \cos\varphi)\cdot\sin\varphi &.&
y(\varphi) &=& a\;(-\sin(2\varphi) + 2\sin\varphi) &=& 2a(1 - \cos\varphi)\cdot\sin\varphi &.&
\end{array}</math>
\end{array}</math>
(The formulae <math>e^{i\varphi} = \cos\varphi + i\sin\varphi, \ (\cos\varphi)^2 + (\sin\varphi)^2 = 1, \ \cos(2\varphi) = (\cos\varphi)^2 - (\sin\varphi)^2,\; \sin (2\varphi) = 2\sin\varphi\cos\varphi</math> were used. See [[trigonometric functions]].)
(The [[trigonometric functions#Basic identities|trigonometric identities]] <math>e^{i\varphi} = \cos\varphi + i\sin\varphi, \ (\cos\varphi)^2 + (\sin\varphi)^2 = 1,</math> <math>\cos(2\varphi) = (\cos\varphi)^2 - (\sin\varphi)^2, </math> and <math>\sin (2\varphi) = 2\sin\varphi\cos\varphi</math> were used.)


== Metric properties ==
== Metric properties ==
Line 40: Line 48:
* ''arc length'' <math>L = 16 a</math> and
* ''arc length'' <math>L = 16 a</math> and
* ''[[radius of curvature]]'' <math>\rho(\varphi) = \tfrac{8}{3}a\sin\tfrac{\varphi}{2} \, . </math>
* ''[[radius of curvature]]'' <math>\rho(\varphi) = \tfrac{8}{3}a\sin\tfrac{\varphi}{2} \, . </math>
The proofs of these statement use in both cases the polar representation of the cardioid. For suitable formulas see [[Polar coordinate system#Integral calculus (arc length)|polar coordinate system (arc length)]] and [[polar coordinate system#Integral calculus (area)|polar coordinate system (area)]]
The proofs of these statements use in both cases the polar representation of the cardioid. For suitable formulas see [[Polar coordinate system#Integral calculus (arc length)|polar coordinate system (arc length)]] and [[polar coordinate system#Integral calculus (area)|polar coordinate system (area)]]


{{math proof | title = Proof of the area formula | proof = <math display="block">A = 2 \cdot \tfrac{1}{2}\int_0^\pi{(r(\varphi))^2}\; d\varphi = \int_0^\pi{4a^2(1 - \cos\varphi)^2}\; d\varphi = \cdots = 4a^2 \cdot \tfrac{3}{2}\pi = 6\pi a^2.</math>
{{math proof | title = Proof of the area formula | proof = <math display="block">A = 2 \cdot \tfrac{1}{2}\int_0^\pi{(r(\varphi))^2}\; d\varphi = \int_0^\pi{4a^2(1 - \cos\varphi)^2}\; d\varphi = \cdots = 4a^2 \cdot \tfrac{3}{2}\pi = 6\pi a^2.</math>
Line 62: Line 70:


=== Chords through the cusp ===
=== Chords through the cusp ===
* '''C1:''' ''[[chord (geometry)|chords]]'' through the [[cusp (singularity)|cusp]] of the cardioid have the same length <math> 4a</math>.
; C1: ''[[Chord (geometry)|Chords]]'' through the [[cusp (singularity)|cusp]] of the cardioid have the same length <math>4a</math>.
* '''C2:''' The ''midpoints'' of the [[chord (geometry)|chords]] through the cusp lie on the perimeter of the fixed generator circle (see picture).
; C2: The ''midpoints'' of the [[chord (geometry)|chords]] through the cusp lie on the perimeter of the fixed generator circle (see picture).


==== Proof of C1 ====
; proof for C1: The points <math>P: p(\varphi),\; Q: p(\varphi + \pi)</math> are on a [[chord (geometry)|chord]] through the cusp (=origin). Hence <math display="block">\begin{align}
The points <math>P: p(\varphi),\; Q: p(\varphi + \pi)</math> are on a [[chord (geometry)|chord]] through the cusp (=origin). Hence <math display="block">\begin{align}
|PQ| &= r(\varphi) + r(\varphi + \pi) \\
|PQ| &= r(\varphi) + r(\varphi + \pi) \\
&= 2a (1 - \cos\varphi) + 2a (1 - \cos(\varphi + \pi)) = \cdots = 4a
&= 2a (1 - \cos\varphi) + 2a (1 - \cos(\varphi + \pi)) = \cdots = 4a
\end{align}.</math>
\end{align}.</math>

; proof for C2: For the proof the representation in the complex plane (see above) is used. For the points <math display="block">P:\ p(\varphi) = a\;\left(-e^{i2\varphi} + 2e^{i\varphi} - 1\right)</math> and <math display="block">Q:\ p(\varphi + \pi) = a\;\left(-e^{i2(\varphi + \pi)} + 2e^{i(\varphi+\pi)} - 1\right) = a\;\left(-e^{i2\varphi} - 2e^{i\varphi} - 1\right),</math> the midpoint of the chord <math>PQ</math> is <math display="block"> M:\ \tfrac{1}{2}(p(\varphi) + p(\varphi + \pi)) = \cdots = -a - ae^{i2\varphi}</math> which lies on the perimeter of the circle with midpoint <math>-a</math> and radius <math>a</math> (see picture).
==== Proof for C2 ====
For the proof the representation in the complex plane (see above) is used. For the points <math display="block">P:\ p(\varphi) = a\,\left(-e^{i2\varphi} + 2e^{i\varphi} - 1\right)</math> and <math display="block">Q:\ p(\varphi + \pi) = a\,\left(-e^{i2(\varphi + \pi)} + 2e^{i(\varphi + \pi)} - 1\right) = a\,\left(-e^{i2\varphi} - 2e^{i\varphi} - 1\right),</math>

the midpoint of the chord <math>PQ</math> is <math display="block">M:\ \tfrac{1}{2}(p(\varphi) + p(\varphi + \pi)) = \cdots = -a - ae^{i2\varphi}</math> which lies on the perimeter of the circle with midpoint <math>-a</math> and radius <math>a</math> (see picture).


=== Cardioid as inverse curve of a parabola ===
=== Cardioid as inverse curve of a parabola ===
Line 86: Line 99:
=== Cardioid as envelope of a pencil of circles ===
=== Cardioid as envelope of a pencil of circles ===
[[File:Kardioide-kreise.svg|thumb|Cardioid as envelope of a pencil of circles]]
[[File:Kardioide-kreise.svg|thumb|Cardioid as envelope of a pencil of circles]]
In the previous section if one inverts additionally the tangents of the parabola one gets a pencil of circles through the center of inversion (origin). A detailed consideration shows: The midpoints of the circles lie on the perimeter of the fixed generator circle. (The generator circle is the inverse curve of the parabola's directrix.)
In the previous section if one inverts additionally the tangents of the parabola one gets a [[Pencil (geometry)|pencil]] of circles through the center of inversion (origin). A detailed consideration shows: The midpoints of the circles lie on the perimeter of the fixed generator circle. (The generator circle is the inverse curve of the parabola's directrix.)


This property gives rise to the following simple method to ''draw'' a cardioid:
This property gives rise to the following simple method to ''draw'' a cardioid:
Line 93: Line 106:
# draw the envelope of these circles.
# draw the envelope of these circles.


{{math proof | title = proof with envelope condition | proof =
{{math proof | title = Proof with envelope condition | proof =
The envelope of the pencil of implicitly given curves <math display="block">F(x,y,t) = 0</math> with parameter <math>t</math> consists of such points <math>(x,y)</math> which are solutions of the non-linear system
The envelope of the pencil of implicitly given curves <math display="block">F(x,y,t) = 0</math> with parameter <math>t</math> consists of such points <math>(x,y)</math> which are solutions of the non-linear system
<math display="block">F(x,y,t) = 0, \quad F_t(x,y,t) = 0, </math> which is the [[Envelope (mathematics)|envelope condition]]. Note that <math>F_t</math> means the [[partial derivative]] for parameter <math>t</math>.
<math display="block">F(x,y,t) = 0, \quad F_t(x,y,t) = 0, </math> which is the [[Envelope (mathematics)|envelope condition]]. Note that <math>F_t</math> means the [[partial derivative]] for parameter <math>t</math>.
Line 117: Line 130:


[[File:Cycloid-cremona-pr.svg|thumb|Cremona's generation of a cardioid]]
[[File:Cycloid-cremona-pr.svg|thumb|Cremona's generation of a cardioid]]
====Proof====
==== Proof ====
The following consideration uses [[trigonometric formulae]] for <math>\cos\alpha + \cos\beta</math>, <math>\sin\alpha + \sin\beta</math>, <math>1 + \cos 2\alpha </math>, <math>\cos 2\alpha</math>, and <math>\sin 2\alpha</math>.
The following consideration uses [[trigonometric formulae]] for <math>\cos\alpha + \cos\beta</math>, <math>\sin\alpha + \sin\beta</math>, <math>1 + \cos 2\alpha </math>, <math>\cos 2\alpha</math>, and <math>\sin 2\alpha</math>.
In order to keep the calculations simple, the proof is given for the cardioid with polar representation
In order to keep the calculations simple, the proof is given for the cardioid with polar representation
<math>r = 2(1 \mathbin{\color{red}+} \cos\varphi)</math> (see section ''[[#In different positions|Cardioids in different positions]]'').
<math>r = 2(1 \mathbin{\color{red}+} \cos\varphi)</math> (''[[#In different positions|§ Cardioids in different positions]]'').

; ''equation of the tangent'' of the ''cardioid'' with polar representation <math>r = 2(1 + \cos\varphi)</math>:
===== ''Equation of the tangent'' of the ''cardioid'' with polar representation {{math|''r'' {{=}} 2(1 + {{thinsp|cos|{{varphi}}}})}}=====

From the parametric representation
From the parametric representation
<math display="block">x(\varphi) = 2(1 + \cos\varphi) \cos \varphi,</math>
<math display="block">\begin{align}
x(\varphi) &= 2(1 + \cos\varphi) \cos \varphi, \\
<math display="block">y(\varphi) = 2(1 + \cos\varphi) \sin \varphi </math>
y(\varphi) &= 2(1 + \cos\varphi) \sin \varphi
\end{align}</math>


one gets the normal vector <math>\vec n = \left(\dot y , -\dot x\right)^\mathsf{T} </math>. The equation of the tangent
one gets the normal vector <math>\vec n = \left(\dot y , -\dot x\right)^\mathsf{T}</math>. The equation of the tangent
<math>\dot y(\varphi) \cdot (x - x(\varphi)) - \dot x(\varphi) \cdot (y - y(\varphi)) = 0</math> is:
<math>\dot y(\varphi) \cdot (x - x(\varphi)) - \dot x(\varphi) \cdot (y - y(\varphi)) = 0</math> is:
<math display="block">(\cos2\varphi + \cos \varphi)\cdot x + (\sin 2\varphi + \sin \varphi)\cdot y = 2(1 + \cos \varphi)^2 \, .</math>
<math display="block">(\cos2\varphi + \cos \varphi)\cdot x + (\sin 2\varphi + \sin \varphi)\cdot y = 2(1 + \cos \varphi)^2 \, .</math>
Line 133: Line 150:
<math display="block">\cos(\tfrac{3}{2}\varphi) \cdot x + \sin\left(\tfrac{3}{2}\varphi\right) \cdot y = 4 \left(\cos\tfrac{1}{2}\varphi\right)^3 \quad 0 < \varphi < 2\pi,\ \varphi \ne \pi .</math>
<math display="block">\cos(\tfrac{3}{2}\varphi) \cdot x + \sin\left(\tfrac{3}{2}\varphi\right) \cdot y = 4 \left(\cos\tfrac{1}{2}\varphi\right)^3 \quad 0 < \varphi < 2\pi,\ \varphi \ne \pi .</math>


; ''equation of the chord'' of the ''circle'' with midpoint <math>(1,0)</math> and radius <math>3</math>: For the equation of the secant line passing the two points <math>(1 + 3\cos\theta, 3\sin\theta),\ (1 + 3\cos{\color{red}2}\theta, 3\sin{\color{red}2}\theta))</math> one gets:
===== ''Equation of the chord'' of the ''circle'' with midpoint {{math|({{thinsp|1,|0}})}} and radius {{math|3}} =====
For the equation of the secant line passing the two points <math>(1 + 3\cos\theta, 3\sin\theta),\ (1 + 3\cos{\color{red}2}\theta, 3\sin{\color{red}2}\theta))</math> one gets:
<math display="block">(\sin\theta - \sin 2\theta) x + (\cos 2\theta - \sin \theta) y = -2\cos \theta - \sin(2\theta) \, .</math>
<math display="block">(\sin\theta - \sin 2\theta) x + (\cos 2\theta - \sin \theta) y = -2\cos \theta - \sin(2\theta) \, .</math>


Line 139: Line 157:
<math display="block">\cos\left(\tfrac{3}{2}\theta\right) \cdot x + \sin\left(\tfrac{3}{2}\theta\right) \cdot y = 4 \left(\cos\tfrac{1}{2}\theta\right)^3 \quad 0 < \theta < 2\pi .</math>
<math display="block">\cos\left(\tfrac{3}{2}\theta\right) \cdot x + \sin\left(\tfrac{3}{2}\theta\right) \cdot y = 4 \left(\cos\tfrac{1}{2}\theta\right)^3 \quad 0 < \theta < 2\pi .</math>


===== Conclusion =====
Despite the two angles <math>\varphi, \theta</math> have different meanings (s. picture) one gets for <math>\varphi = \theta </math> the same line. Hence any secant line of the circle, defined above, is a tangent of the cardioid, too:
Despite the two angles <math>\varphi, \theta</math> have different meanings (s. picture) one gets for <math>\varphi = \theta </math> the same line. Hence any secant line of the circle, defined above, is a tangent of the cardioid, too:
: ''The cardioid is the envelope of the chords of a circle.''
: ''The cardioid is the envelope of the chords of a circle.''
Line 181: Line 200:
Hence a cardioid is a special [[pedal curve]] of a circle.
Hence a cardioid is a special [[pedal curve]] of a circle.


==== Proof ====
; proof:
In a Cartesian coordinate system circle <math>k</math> may have midpoint <math>(2a,0)</math> and radius <math>2a</math>. The tangent at circle point <math>(2a + 2a\cos\varphi, 2a\sin \varphi)</math> has the equation
In a Cartesian coordinate system circle <math>k</math> may have midpoint <math>(2a,0)</math> and radius <math>2a</math>. The tangent at circle point <math>(2a + 2a\cos\varphi, 2a\sin \varphi)</math> has the equation
<math display="block">(x - 2a) \cdot \cos\varphi + y\cdot\sin\varphi = 2a\, .</math>
<math display="block">(x - 2a) \cdot \cos\varphi + y\cdot\sin\varphi = 2a\, .</math>
Line 192: Line 211:
== The evolute of a cardioid ==
== The evolute of a cardioid ==
[[File:Cardioid-evol.svg|thumb|
[[File:Cardioid-evol.svg|thumb|
{{legend|red|A cardoid}}
{{legend|red|A cardioid}}
{{legend|green|Evolute of the cardioid}}
{{legend|green|Evolute of the cardioid}}
{{legend|magenta|One point P; its centre of curvature M; and its osculating circle.}}
{{legend|magenta|One point P; its centre of curvature M; and its osculating circle.}}
Line 201: Line 220:


For a cardioid one gets:
For a cardioid one gets:
: The ''evolute'' of a cardioid is another cardioid one third as large (s. picture).
: The ''evolute'' of a cardioid is another cardioid, one third as large, and facing the opposite direction (s. picture).

;proof:
=== Proof ===
For the cardioid with parametric representation
For the cardioid with parametric representation
<math display="block">x(\varphi) = 2a (1 - \cos\varphi)\cos\varphi = 4a \sin^2\tfrac{\varphi}{2}\cos\varphi\, ,</math>
<math display="block">x(\varphi) = 2a (1 - \cos\varphi)\cos\varphi = 4a \sin^2\tfrac{\varphi}{2}\cos\varphi\, ,</math>
Line 222: Line 242:


== Orthogonal trajectories ==
== Orthogonal trajectories ==
[[File:Cardioid-penc.svg|300px|thumb|Orthogonal cardioids]]
[[File:Cardioid-penc.svg|300px|thumb|[[Orthogonality|Orthogonal]] cardioids]]
An [[orthogonal trajectory]] of a pencil of curves is a curve which intersects any curve of the pencil orthogonally. For cardioids the following is true:
An [[orthogonal trajectory]] of a pencil of curves is a curve which intersects any curve of the pencil orthogonally. For cardioids the following is true:
: The orthogonal trajectories of the pencil of cardioids with equations <math display="block">r=2a(1-\cos\varphi)\ , \; a>0 \ , \ </math> are the cardioids with equations <math display="block">r=2b(1+\cos\varphi)\ , \; b>0 \ . </math>
{{block indent | em = 1.5 | text = The orthogonal trajectories of the pencil of cardioids with equations <math display="block">r=2a(1-\cos\varphi)\ , \; a>0 \ , \ </math> are the cardioids with equations <math display="block">r=2b(1+\cos\varphi)\ , \; b>0 \ . </math>}}
(The second pencil can be considered as reflections at the y-axis of the first one. See diagram.)
(The second pencil can be considered as reflections at the y-axis of the first one. See diagram.)


'''Proof:'''<br />
=== Proof ===
For a curve given in [[polar coordinates]] by a function <math>r(\varphi)</math> the following connection to Cartesian coordinates hold:
For a curve given in [[polar coordinates]] by a function <math>r(\varphi)</math> the following connection to Cartesian coordinates hold:
<math display="block">\begin{align}
<math display="block">\begin{align}
Line 249: Line 269:


Hence
Hence
<math display="block">\frac{dy_a}{dx}\cdot \frac{dy_b}{dx} = \cdots = -\frac{\cos^2\varphi-\cos^2 (2\varphi(}{\sin^2 (2\varphi)-\sin^2\varphi} = -\frac{-1 + \cos^2\varphi + 1 - \cos^2 2\varphi}{\sin^2 (2\varphi) - \sin^2(\varphi)} = -1\, .</math>
<math display="block">\frac{dy_a}{dx}\cdot \frac{dy_b}{dx} = \cdots = -\frac{\cos^2\varphi-\cos^2 (2\varphi)}{\sin^2 (2\varphi)-\sin^2\varphi} = -\frac{-1 + \cos^2\varphi + 1 - \cos^2 2\varphi}{\sin^2 (2\varphi) - \sin^2(\varphi)} = -1\, .</math>
That means: Any curve of the first pencil intersectcs any curve of the second pencil orthogonally.
That means: Any curve of the first pencil intersects any curve of the second pencil orthogonally.


[[File:Kardioide-4.svg|thumb|4 cardioids in polar representation and their position in the coordinate system]]
[[File:Kardioide-4.svg|thumb|4 cardioids in polar representation and their position in the coordinate system]]
Line 264: Line 284:
The Mandelbrot set contains an infinite number of slightly distorted copies of itself and the central bulb of any of these smaller copies is an approximate cardioid.
The Mandelbrot set contains an infinite number of slightly distorted copies of itself and the central bulb of any of these smaller copies is an approximate cardioid.


[[File:Cardioid in a watch.jpg|thumb|Cardioid formed by light on a [[Watch|watch dial]].]]
[[File:Caustique.jpg|thumb|right|200px|The [[caustic (optics)|caustic]] appearing on the surface of this cup of coffee is a cardioid.]]

[[File:Cardioid in a watch.jpg|thumb]]


== Caustics ==
== Caustics ==
Certain [[caustic (mathematics)|caustics]] can take the shape of cardioids. The catacaustic of a circle with respect to a point on the circumference is a cardioid. Also, the catacaustic of a cone with respect to rays parallel to a generating line is a surface whose cross section is a cardioid. This can be seen, as in the photograph to the right, in a conical cup partially filled with liquid when a light is shining from a distance and at an angle equal to the angle of the cone.<ref>[http://www.mathcurve.com/surfaces/caustic/caustic.shtml "Surface Caustique" at Encyclopédie des Formes Mathématiques Remarquables]</ref> The shape of the curve at the bottom of a cylindrical cup is half of a [[nephroid]], which looks quite similar.
Certain [[caustic (mathematics)|caustics]] can take the shape of cardioids. The catacaustic of a circle with respect to a point on the circumference is a cardioid. Also, the catacaustic of a cone with respect to rays parallel to a generating line is a surface whose cross section is a cardioid. This can be seen, as in the photograph to the right, in a conical cup partially filled with liquid when a light is shining from a distance and at an angle equal to the angle of the cone.<ref>[http://www.mathcurve.com/surfaces/caustic/caustic.shtml "Surface Caustique" at Encyclopédie des Formes Mathématiques Remarquables]</ref> The shape of the curve at the bottom of a cylindrical cup is half of a [[nephroid]], which looks quite similar.


[[File:Cardioid construction.gif|right|thumb|210px|Generating a cardioid as pedal curve of a circle]]
[[File:Cardioid construction.gif|right|thumb|210px|Generating a cardioid as [[pedal curve]] of a circle]]


== See also ==
== See also ==
Line 285: Line 303:
* [[Yagi antenna]]
* [[Yagi antenna]]
* [[Giovanni Salvemini]]
* [[Giovanni Salvemini]]
* [[Space cardioid]]


== Notes ==
== Notes ==
Line 290: Line 309:


== References ==
== References ==
* {{cite book | author=R.C. Yates | title=A Handbook on Curves and Their Properties | location=Ann Arbor, MI | publisher=J. W. Edwards | pages=4 ff.|chapter=Cardioid|year=1952 }}
* {{cite book | author=R.C. Yates | title=A Handbook on Curves and Their Properties | location=Ann Arbor, MI | publisher=J. W. Edwards | pages=4 ff|chapter=Cardioid|year=1952 }}
* {{cite book | author = Wells D | year = 1991 | title = The Penguin Dictionary of Curious and Interesting Geometry | publisher = Penguin Books | location = New York | isbn = 0-14-011813-6 | pages = [https://archive.org/details/penguindictionar0000well/page/24 24–25] | url = https://archive.org/details/penguindictionar0000well/page/24 }}
* {{cite book | author = Wells D | year = 1991 | title = The Penguin Dictionary of Curious and Interesting Geometry | publisher = Penguin Books | location = New York | isbn = 0-14-011813-6 | pages = [https://archive.org/details/penguindictionar0000well/page/24 24–25] | url = https://archive.org/details/penguindictionar0000well/page/24 }}


Line 307: Line 326:


[[Category:Roulettes (curve)]]
[[Category:Roulettes (curve)]]
[[Category:Quartic curves]]

Latest revision as of 23:14, 10 July 2024

A cardioid
The caustic appearing on the surface of this cup of coffee is a cardioid.

In geometry, a cardioid (from Greek καρδιά (kardiá) 'heart') is a plane curve traced by a point on the perimeter of a circle that is rolling around a fixed circle of the same radius. It can also be defined as an epicycloid having a single cusp. It is also a type of sinusoidal spiral, and an inverse curve of the parabola with the focus as the center of inversion.[1] A cardioid can also be defined as the set of points of reflections of a fixed point on a circle through all tangents to the circle.[2]

Cardioid generated by a rolling circle on a circle with the same radius

The name was coined by Giovanni Salvemini in 1741[3] but the cardioid had been the subject of study decades beforehand.[4] Although named for its heart-like form, it is shaped more like the outline of the cross-section of a round apple without the stalk.[5]

A cardioid microphone exhibits an acoustic pickup pattern that, when graphed in two dimensions, resembles a cardioid (any 2d plane containing the 3d straight line of the microphone body). In three dimensions, the cardioid is shaped like an apple centred around the microphone which is the "stalk" of the apple.

Equations

[edit]
Generation of a cardioid and the coordinate system used

Let be the common radius of the two generating circles with midpoints , the rolling angle and the origin the starting point (see picture). One gets the

  • parametric representation: and herefrom the representation in
  • polar coordinates:
  • Introducing the substitutions and one gets after removing the square root the implicit representation in Cartesian coordinates:

Proof for the parametric representation

[edit]

A proof can be established using complex numbers and their common description as the complex plane. The rolling movement of the black circle on the blue one can be split into two rotations. In the complex plane a rotation around point (the origin) by an angle can be performed by multiplying a point (complex number) by . Hence

the rotation around point is,
the rotation around point is: .

A point of the cardioid is generated by rotating the origin around point and subsequently rotating around by the same angle : From here one gets the parametric representation above: (The trigonometric identities and were used.)

Metric properties

[edit]

For the cardioid as defined above the following formulas hold:

  • area ,
  • arc length and
  • radius of curvature

The proofs of these statements use in both cases the polar representation of the cardioid. For suitable formulas see polar coordinate system (arc length) and polar coordinate system (area)

Proof of the area formula

Proof of the arc length formula

Proof for the radius of curvature

The radius of curvature of a curve in polar coordinates with equation is (s. curvature)

For the cardioid one gets

Properties

[edit]
Chords of a cardioid

Chords through the cusp

[edit]
C1
Chords through the cusp of the cardioid have the same length .
C2
The midpoints of the chords through the cusp lie on the perimeter of the fixed generator circle (see picture).

Proof of C1

[edit]

The points are on a chord through the cusp (=origin). Hence

Proof for C2

[edit]

For the proof the representation in the complex plane (see above) is used. For the points and

the midpoint of the chord is which lies on the perimeter of the circle with midpoint and radius (see picture).

Cardioid as inverse curve of a parabola

[edit]
Cardioid generated by the inversion of a parabola across the unit circle (dashed)
A cardioid is the inverse curve of a parabola with its focus at the center of inversion (see graph)

For the example shown in the graph the generator circles have radius . Hence the cardioid has the polar representation and its inverse curve which is a parabola (s. parabola in polar coordinates) with the equation in Cartesian coordinates.

Remark: Not every inverse curve of a parabola is a cardioid. For example, if a parabola is inverted across a circle whose center lies at the vertex of the parabola, then the result is a cissoid of Diocles.

Cardioid as envelope of a pencil of circles

[edit]
Cardioid as envelope of a pencil of circles

In the previous section if one inverts additionally the tangents of the parabola one gets a pencil of circles through the center of inversion (origin). A detailed consideration shows: The midpoints of the circles lie on the perimeter of the fixed generator circle. (The generator circle is the inverse curve of the parabola's directrix.)

This property gives rise to the following simple method to draw a cardioid:

  1. Choose a circle and a point on its perimeter,
  2. draw circles containing with centers on , and
  3. draw the envelope of these circles.
Proof with envelope condition

The envelope of the pencil of implicitly given curves with parameter consists of such points which are solutions of the non-linear system which is the envelope condition. Note that means the partial derivative for parameter .

Let be the circle with midpoint and radius . Then has parametric representation . The pencil of circles with centers on containing point can be represented implicitly by which is equivalent to The second envelope condition is One easily checks that the points of the cardioid with the parametric representation fulfill the non-linear system above. The parameter is identical to the angle parameter of the cardioid.

Cardioid as envelope of a pencil of lines

[edit]
Cardioid as envelope of a pencil of lines

A similar and simple method to draw a cardioid uses a pencil of lines. It is due to L. Cremona:

  1. Draw a circle, divide its perimeter into equal spaced parts with points (s. picture) and number them consecutively.
  2. Draw the chords: . (That is, the second point is moved by double velocity.)
  3. The envelope of these chords is a cardioid.
Cremona's generation of a cardioid

Proof

[edit]

The following consideration uses trigonometric formulae for , , , , and . In order to keep the calculations simple, the proof is given for the cardioid with polar representation (§ Cardioids in different positions).

Equation of the tangent of the cardioid with polar representation r = 2(1 + cos 𝜑)
[edit]

From the parametric representation

one gets the normal vector . The equation of the tangent is:

With help of trigonometric formulae and subsequent division by , the equation of the tangent can be rewritten as:

Equation of the chord of the circle with midpoint (1, 0) and radius 3
[edit]

For the equation of the secant line passing the two points one gets:

With help of trigonometric formulae and the subsequent division by the equation of the secant line can be rewritten by:

Conclusion
[edit]

Despite the two angles have different meanings (s. picture) one gets for the same line. Hence any secant line of the circle, defined above, is a tangent of the cardioid, too:

The cardioid is the envelope of the chords of a circle.

Remark:
The proof can be performed with help of the envelope conditions (see previous section) of an implicit pencil of curves:

is the pencil of secant lines of a circle (s. above) and

For fixed parameter t both the equations represent lines. Their intersection point is

which is a point of the cardioid with polar equation

Cardioid as caustic: light source , light ray , reflected ray
Cardioid as caustic of a circle with light source (right) on the perimeter

Cardioid as caustic of a circle

[edit]

The considerations made in the previous section give a proof that the caustic of a circle with light source on the perimeter of the circle is a cardioid.

If in the plane there is a light source at a point on the perimeter of a circle which is reflecting any ray, then the reflected rays within the circle are tangents of a cardioid.
Proof

As in the previous section the circle may have midpoint and radius . Its parametric representation is The tangent at circle point has normal vector . Hence the reflected ray has the normal vector (see graph) and contains point . The reflected ray is part of the line with equation (see previous section) which is tangent of the cardioid with polar equation from the previous section.

Remark: For such considerations usually multiple reflections at the circle are neglected.

Cardioid as pedal curve of a circle

[edit]
Point of cardioid is foot of dropped perpendicular on tangent of circle

The Cremona generation of a cardioid should not be confused with the following generation:

Let be a circle and a point on the perimeter of this circle. The following is true:

The foots of perpendiculars from point on the tangents of circle are points of a cardioid.

Hence a cardioid is a special pedal curve of a circle.

Proof

[edit]

In a Cartesian coordinate system circle may have midpoint and radius . The tangent at circle point has the equation The foot of the perpendicular from point on the tangent is point with the still unknown distance to the origin . Inserting the point into the equation of the tangent yields which is the polar equation of a cardioid.

Remark: If point is not on the perimeter of the circle , one gets a limaçon of Pascal.

The evolute of a cardioid

[edit]
  A cardioid
  Evolute of the cardioid
  One point P; its centre of curvature M; and its osculating circle.

The evolute of a curve is the locus of centers of curvature. In detail: For a curve with radius of curvature the evolute has the representation with the suitably oriented unit normal.

For a cardioid one gets:

The evolute of a cardioid is another cardioid, one third as large, and facing the opposite direction (s. picture).

Proof

[edit]

For the cardioid with parametric representation the unit normal is and the radius of curvature Hence the parametric equations of the evolute are These equations describe a cardioid a third as large, rotated 180 degrees and shifted along the x-axis by .

(Trigonometric formulae were used: )

Orthogonal trajectories

[edit]
Orthogonal cardioids

An orthogonal trajectory of a pencil of curves is a curve which intersects any curve of the pencil orthogonally. For cardioids the following is true:

The orthogonal trajectories of the pencil of cardioids with equations are the cardioids with equations

(The second pencil can be considered as reflections at the y-axis of the first one. See diagram.)

Proof

[edit]

For a curve given in polar coordinates by a function the following connection to Cartesian coordinates hold:

and for the derivatives

Dividing the second equation by the first yields the Cartesian slope of the tangent line to the curve at the point :

For the cardioids with the equations and respectively one gets: and

(The slope of any curve depends on only, and not on the parameters or !)

Hence That means: Any curve of the first pencil intersects any curve of the second pencil orthogonally.

4 cardioids in polar representation and their position in the coordinate system

In different positions

[edit]

Choosing other positions of the cardioid within the coordinate system results in different equations. The picture shows the 4 most common positions of a cardioid and their polar equations.

In complex analysis

[edit]
Boundary of the central, period 1, region of the Mandelbrot set is a precise cardioid.

In complex analysis, the image of any circle through the origin under the map is a cardioid. One application of this result is that the boundary of the central period-1 component of the Mandelbrot set is a cardioid given by the equation

The Mandelbrot set contains an infinite number of slightly distorted copies of itself and the central bulb of any of these smaller copies is an approximate cardioid.

Cardioid formed by light on a watch dial.

Caustics

[edit]

Certain caustics can take the shape of cardioids. The catacaustic of a circle with respect to a point on the circumference is a cardioid. Also, the catacaustic of a cone with respect to rays parallel to a generating line is a surface whose cross section is a cardioid. This can be seen, as in the photograph to the right, in a conical cup partially filled with liquid when a light is shining from a distance and at an angle equal to the angle of the cone.[6] The shape of the curve at the bottom of a cylindrical cup is half of a nephroid, which looks quite similar.

Generating a cardioid as pedal curve of a circle

See also

[edit]

Notes

[edit]
  1. ^ Weisstein, Eric W. "Parabola Inverse Curve". MathWorld.
  2. ^ S Balachandra Rao . Differential Calculus, p. 457
  3. ^ Lockwood
  4. ^ Yates
  5. ^ Gutenmacher, Victor; Vasilyev, N. B. (2004). Lines and Curves. Boston: Birkhäuser. p. 90. doi:10.1007/978-1-4757-3809-4. ISBN 9781475738094.
  6. ^ "Surface Caustique" at Encyclopédie des Formes Mathématiques Remarquables

References

[edit]
[edit]