2014년 2월 9일 일요일

Conic Section

ConicSection
The conic sections are the nondegenerate curves generated by the intersections of a plane with one or two nappes of a cone. For a plane perpendicular to the axis of the cone, a circle is produced. For a plane that is not perpendicular to the axis and that intersects only a single nappe, the curve produced is either an ellipse or a parabola (Hilbert and Cohn-Vossen 1999, p. 8). The curve produced by a plane intersecting both nappes is a hyperbola (Hilbert and Cohn-Vossen 1999, pp. 8-9).
The ellipse and hyperbola are known as central conics.
Because of this simple geometric interpretation, the conic sections were studied by the Greeks long before their application to inverse square law orbits was known. Apollonius wrote the classic ancient work on the subject entitled On Conics. Kepler was the first to notice that planetary orbits were ellipses, and Newton was then able to derive the shape of orbits mathematically using calculus, under the assumption that gravitational force goes as the inverse square of distance. Depending on the energy of the orbiting body, orbit shapes that are any of the four types of conic sections are possible.
A conic section may more formally be defined as the locus of a point P that moves in the plane of a fixed point F called the focus and a fixed line d called the conic section directrix (with F not on d) such that the ratio of the distance of P from F to its distance from d is a constant e called the eccentricity. If e=0, the conic is a circle, if 0<e<1, the conic is an ellipse, if e=1, the conic is a parabola, and if e>1, it is a hyperbola.
A conic section with conic section directrix at x=0, focus at (p,0), and eccentricity e>0 has Cartesian equation
 y^2+(1-e^2)x^2-2px+p^2=0
(1)
(Yates 1952, p. 36), where p is called the focal parameter. Plugging in p gives
 y^2+(1-e^2)x^2-(2a(1-e^2))/ex+(a^2(1-e^2)^2)/(e^2)=0,
(2)
for an ellipse,
 y^2=4a(x-a),
(3)
for a parabola, and
 y^2+(1-e^2)x^2-(2a(e^2-1))/ex+(a^2(e^2-1)^2)/(e^2)=0
(4)
for a hyperbola.
The polar equation of a conic section with focal parameter p is given by
 r=(pe)/(1+ecostheta).
(5)
The pedal curve of a conic section with pedal point at a focus is either a circle or a line. In particular the ellipse pedal curve and hyperbola pedal curve are both circles, while the parabola pedal curve is a line (Hilbert and Cohn-Vossen 1999, pp. 25-27).
ConicSection5Points
Five points in a plane determine a conic (Coxeter and Greitzer 1967, p. 76; Le Lionnais 1983, p. 56; Wells 1991), as do five tangent lines in a plane (Wells 1991). This follows from the fact that a conic section is a quadratic curve, which has general form
 ax^2+2bxy+cy^2+dx+fy+g=0,
(6)
so dividing through by a to obtain
 x^2+2b^'xy+c^'y^2+d^'x+f^'y+g^'=0
(7)
leaves five constants. Five points, (x_i,y_i) for i=1, ..., 5, therefore determine the constants uniquely. The geometric construction of a conic section from five points lying on it is called the Braikenridge-Maclaurin Construction. The explicit equation for this conic is given by the equation
 |x^2 xy y^2 x y 1; x_1^2 x_1y_1 y_1^2 x_1 y_1 1; x_2^2 x_2y_2 y_2^2 x_2 y_2 1; x_3^2 x_3y_3 y_3^2 x_3 y_3 1; x_4^2 x_4y_4 y_4^2 x_4 y_4 1; x_5^2 x_5y_5 y_5^2 x_5 y_5 1|=0.
(8)
The general equation of a conic section in trilinear coordinates is
 ualpha^2+vbeta^2+wgamma^2+2fbetagamma+2ggammaalpha+2halphabeta=0
(9)
(Kimberling 1998, p. 234). For five points specified in trilinear coordinates alpha:beta:gamma, the conic section they determine is given by
 |alpha^2 beta^2 gamma^2 betagamma gammaalpha alphabeta; alpha_1^2 beta_1^2 gamma_1^2 beta_1gamma_1 gamma_1alpha_1 alpha_1beta_1; alpha_2^2 beta_2^2 gamma_2^2 beta_2gamma_2 gamma_2alpha_2 alpha_2beta_2; alpha_3^2 beta_3^2 gamma_3^2 beta_3gamma_3 gamma_3alpha_3 alpha_3beta_3; alpha_4^2 beta_4^2 gamma_4^2 beta_4gamma_4 gamma_4alpha_4 alpha_4beta_4; alpha_5^2 beta_5^2 gamma_5^2 beta_5gamma_5 gamma_5alpha_5 alpha_5beta_5|=0.
(10)
(Kimberling 1998, p. 235).
Two conics that do not coincide or have an entire straight line in common cannot meet at more than four points (Hilbert and Cohn-Vossen 1999, pp. 24 and 160). There is an infinite family of conics touching four lines. However, of the eleven regions into which plane division cuts the plane, only five can contain a conic section which is tangent to all four lines. Parabolas can occur in one region only (which also contains ellipses and one branch of hyperbolas), and the only closed region contains only ellipses.

Let a polygon of 2n sides be inscribed in a given conic, with the sides of the polygon being termed alternately "odd" and "even" according to some definite convention. Then the n(n-2) points where an odd side meet a nonadjacent even side lie on a curve of order n-2 (Evelyn et al. 1974, p. 30).
Wolfram 

댓글 없음: