Xem mã nguồn của Elip

{{đừng nhầm lẫn|hình bầu dục}}
{{short description|đường cong conic}}
[[Tập tin:Ellipse-conic.svg|thumb|Một hình elip (đỏ) bao quanh mặt cắt của một [[hình nón]] với một mặt phẳng nghiêng]]
[[Tập tin:Elip def.svg|350px|thumb|Các thành phần của hình elip]]
[[Tập tin:Ellipse-var.svg|thumb|Các hình elip với tâm sai tăng dần]]
Trong [[toán học]], một '''hình elip''' là một [[đường cong phẳng]] xung quanh hai [[tiêu điểm (hình học)|tiêu điểm]], sao cho với mọi điểm trên đường cong, tổng khoảng cách đến hai tiêu điểm là hằng số. [[Hình tròn]] là trường hợp đặc biệt của đường elip khi hai tiêu điểm trùng nhau. Độ dẹt của hình elip được biểu diễn bằng tâm sai {{mvar|e}} của nó, chạy từ {{math|1=''e'' = 0}} (trường hợp của đường tròn) đến {{math|1=''e'' = 1}} (độ dẹt vô hạn, không còn là elip mà là một [[parabol]]).

Phương trình chính tắc của một elip với tâm là gốc tọa độ và chiều dài {{math|2''a''}} và chiều rộng {{math|2''b''}} là:
: <math>\frac{x^2}{a^2}+\frac{y^2}{b^2} = 1.</math>

Giả sử {{math|''a'' ≥ ''b''}}, các tiêu điểm có tọa độ {{math|(±''c'', 0)}} với <math>c = \sqrt{a^2 - b^2}</math>. [[Phương trình tham số]] của elip là:
: <math>(x,y) = (a\cos(t),b\sin(t)) \qquad \quad 0\leq t\leq 2\pi.</math>

Elip là một loại [[đường conic]] đóng: một đường cong phẳng bao quanh mặt cắt của một [[hình nón]] với một [[mặt phẳng]] nghiêng (xem hình bên). Elip có nhiều điểm tương đồng với hai đường conic khác là [[parabol]] và [[hyperbol]], cả hai đều hở và không có giới hạn. Một mặt cắt nghiêng của một [[hình trụ tròn]] cũng có hình elip.

Một hình elip cũng có thể được định nghĩa chỉ với một tiêu điểm và một đường thẳng nằm ngoại elip gọi là [[Elip#Độ lệch tâm và đường chuẩn|đường chuẩn]]: elip là [[quỹ tích]] các điểm có tỉ số khoảng cách tới tiêu điểm và đường chuẩn là hằng số. Hằng số tỉ lệ này chính là tâm sai của elip được tạo thành:
: <math>e = \frac{c}{a} = \sqrt{1 - \frac{b^2}{a^2}}</math>.

Hình elip rất thông dụng trong [[vật lý]], [[thiên văn]] và [[kỹ thuật]]. Ví dụ, [[quỹ đạo Kepler|quỹ đạo]] của mỗi hành tinh trong [[hệ Mặt Trời]] gần giống một hình elip với Mặt Trời là một tiêu điểm (chính xác, tiêu điểm là [[Barycentric coordinates (astronomy)|tâm tỉ cự]] của cặp Mặt Trời{{ndash}}hành tinh). [[Quỹ đạo của Mặt Trăng|Quỹ đạo của mặt trăng]] xoay quanh hành tinh và tất cả cả hệ hai thiên thể khác đều như thế. Hình dạng của các hành tinh và sao thường được mô tả bằng hình [[ellipsoid]]. Một hình tròn nhìn từ một góc nghiêng trông giống một hình elíp, tức hình elip là ảnh của hình tròn qua một [[phép chiếu song song]] hay [[phép chiếu vuông góc|vuông góc]]. Hình elip cũng là dạng [[đường cong Lissajous]] đơn giản nhất, với chuyển động theo chiều ngang và dọc là các [[đường hình sin]] với cùng tần số. Hiện tượng tương tự dẫn đến [[phân cực elip]] của ánh sáng trong [[quang học]].

== Từ nguyên ==
Tên gọi "elíp" ([[tiếng Anh]]: ''ellipse''), xuất phát từ tiếng Hy Lạp cổ đại: {{lang|grc|ἔλλειψις}} ({{transl|grc|élleipsis}}, "thiếu"), được đưa ra bởi [[Apollonius xứ Perga]] trong quyển ''Conics'' của ông.

== Định nghĩa quỹ tích ==
[[Tập tin:Ellipse-def-e.svg|thumb|Elíp định nghĩa bằng tổng khoảng cách đến hai tiêu điểm]]
[[Tập tin:Ellipse-def-dc.svg|thumb|Elíp định nghĩa bằng tiêu điểm và đường tròn chuẩn]]
Một đường elíp có thể được xác định là tập hợp hay [[quỹ tích]] các điểm trên mặt phẳng Euclid:
: Với hai điểm cố định {{math|''F''{{sub|1}}, ''F''{{sub|2}}}} gọi là tiêu điểm và một khoảng cách {{math|2''a''}} lớn hơn khoảng cách giữa hai tiêu điểm, đường elíp là quỹ tích các điểm {{mvar|P}} sao cho tổng các khoảng cách {{math|{{abs|''PF''{{sub|1}}}}, {{abs|''PF''{{sub|2}}}}}} bằng {{math|2''a''}}. Tức là
::<math>E = \left\{P\in \mathbb{R}^2 :\, |PF_1| +|PF_2 | = 2a \right\}.</math>

Trung điểm {{mvar|C}} của đoạn thẳng nối hai tiêu điểm gọi là ''tâm'' của elíp. Đường thẳng nối hai tiêu điểm là ''trục lớn'', và đường vuông góc với nó đi qua tâm là ''trục bé''. Các trục của hình elíp cắt elíp tại bốn điểm, gọi là các ''đỉnh'' của elíp. Độ dài đoạn thẳng {{math|1=''F''{{sub|1}}''F''{{sub|2}} = 2''c''}} được gọi là ''tiêu cự'', và {{mvar|c}} là ''bán tiêu cự''. Tỉ số {{math|1=''e'' = ''c'' / ''a''}} được gọi là ''độ lệch tâm'' hay ''tâm sai''.

Trường hợp {{math|''F''{{sub|1}} ≡ ''F''{{sub|2}}}} cho ta một đường tròn, trường hợp đặc biệt của ''elíp''.

Phương trình {{math|1={{abs|''PF''{{sub|1}}}} + {{abs|''PF''{{sub|2}}}} = 2''a''}} có thể được xem theo cách khác:
: Nếu {{math|''c''{{sub|2}}}} là đường tròn với tâm là {{math|''F''{{sub|2}}}} và bán kính {{math|2''a''}} thì quỹ tích các điểm {{mvar|P}} có khoảng cách đến đường tròn {{math|''c''{{sub|2}}}} bằng khoảng cách đến tiêu điểm {{math|''F''{{sub|1}}}} tạo thành một đường elíp:
::<math>E = \left\{P\in \mathbb{R}^2 :\, |PF_1|=|Pc_2 |\right\}.</math>

Đường tròn {{math|''c''{{sub|2}}}} gọi là ''đường tròn chuẩn'' (với tâm là tiêu điểm {{math|''F''{{sub|2}}}}) của elíp.<ref>{{chú thích|first1=Tom M.|last1=Apostol|first2=Mamikon A.|last2=Mnatsakanian|title=New Horizons in Geometry|year=2012|publisher=The Mathematical Association of America|series=The Dolciani Mathematical Expositions #47|isbn=978-0-88385-354-2|page=251}}</ref> Ngoài ra, còn một định nghĩa thường dùng của elíp sử dụng [[Elíp#Tâm sai và đường chuẩn|đường chuẩn]] được nêu ở dưới.

Sử dụng [[mặt cầu Dandelin]], ta có thể chứng minh bất kì mặt cắt nghiêng của một hình nón là một hình elíp, với điều kiện mặt phẳng cắt không đi qua đỉnh và có độ dốc bé hơn độ dốc đường sinh của mặt nón.

== Hệ tọa độ Descartes ==
[[Tập tin:Ellipse-param.svg|thumb|300px|Các tham số của hình elíp{{ubl
| {{mvar|a}}: bán trục lớn,
| {{mvar|b}}: bán trục bé,
| {{mvar|c}}: bán tiêu cự,
| {{mvar|p}}: bán trục bên (thường ký hiệu {{mvar|&#8467;}})
}}]]

=== Phương trình chính tắc ===
Trong suốt phần còn lại của bài, {{math|(''E'')}} là elip trong hệ tọa độ Descartes với tâm tại gốc tọa độ, trục lớn là trục {{mvar|x}} và
: tiêu điểm là {{math|1=''F''{{sub|1}} = (''c'', 0), ''F''{{sub|2}} = (&minus;''c'', 0)}},
: các đỉnh là {{math|1=''V''{{sub|1}} = (''a'', 0), ''V''{{sub|2}} = (&minus;''a'', 0)}},
trong đó {{math|''a'' > ''c''}}.

Với một điểm có tọa độ {{math|(''x'', ''y'')}} nằm trên elíp {{math|(''E'')}}, bán kính qua tiêu điểm {{math|(''c'', 0)}} là <math>\sqrt{(x-c)^2+y^2}</math> và bán kính qua tiêu điểm còn lại là <math>\sqrt{(x+c)^2+y^2}</math>. Do điểm {{math|(''x'', ''y'')}} nằm trên elip nên
:<math>\sqrt{(x - c)^2 + y^2} + \sqrt{(x + c)^2 + y^2} = 2a.</math>

Biến đổi thích hợp và đặt ẩn phụ {{math|1=''b''{{ssup|2}} = ''a''{{ssup|2}} &minus; ''c''{{ssup|2}}}} cho ta phương trình chính tắc của elip {{math|(''E'')}}:
{{NumBlk|:|<math>\dfrac{x^2}{a^2} + \dfrac{y^2}{b^2} = 1</math>|{{EquationRef|1}}}}

Giải tìm {{mvar|y}}, ta được
:<math>y = \pm\frac{b}{a}\sqrt{a^2 - x^2} = \pm \sqrt{\left(a^2 - x^2\right)\left(1 - e^2\right)}.</math>

Chiều rộng và chiều cao {{math|''a'', ''b''}} được gọi là ''bán trục lớn'' và ''bán trục bé'' của elip. Bán kính qua tiêu điểm trái và phải của {{math|(''x'', ''y'')}} lần lượt là {{math|''a'' + ''ex''}} và {{math|''a'' &minus; ''ex''}}.

Từ phương trình này dễ thấy hình elip ''đối xứng'' qua các trục tọa độ và qua gốc tọa độ.

;Chứng minh phương trình chính tắc
Từ phương trình tổng khoảng cách
:<math>\sqrt{(x - c)^2 + y^2} + \sqrt{(x + c)^2 + y^2} = 2a</math>
Chuyển vế một dấu căn rồi bình phương hai vế, ta được
:<math>(x - c)^2 + y^2 = 4a^2 + (x + c)^2 + y^2 - 4a \sqrt{(x + c)^2 + y^2}</math>
Rút gọn phương trình trên cho ta
:<math>
\begin{align}
a^2 + cx &= a\sqrt{(x+c)^2 + y^2}\\
\left(a^2 + cx\right)^2 &= a^2\left[(x+c)^2 + y^2\right]\\
\end{align}</math>
Rút gọn phương trình trên và sắp xếp lại các hạng tử, ta được:
:<math>a^2(a^2-c^2) = (a^2-c^2)x^2 + a^2y^2</math>
Đặt {{math|1=''b''{{ssup|2}} = ''a''{{ssup|2}} &minus; ''c''{{ssup|2}}}} rồi chia cả hai vế của phương trình trên cho ta {{math|(''ab''){{ssup|2}}}}, ta được phương trình chính tắc của elip.

==== Bán trục lớn và bé ====
Trong suốt bài viết này, {{mvar|a}} sẽ là bán trục lớn còn {{mvar|b}} là bán trục bé, tức {{math|''a'' &ge; ''b'' > 0}}. Trong dạng chính tắc của elip {{EquationNote|1|(1)}}, nếu {{math|''a'' < ''b''}} thì elip sẽ dài chứ không dẹt.

==== Bán tiêu cự ====
Bán tiêu cự {{mvar|c}} là khoảng cách từ một tiêu điểm đến tâm elíp: <math>c = \sqrt{a^2-b^2}</math>.

==== Độ lệch tâm ====
Độ lệch tâm hay tâm sai {{mvar|e}} là
: <math>e = \frac{c}{a} = \sqrt{1 - \left(\frac{b}{a}\right)^2}</math>,

với điều kiện {{math|''a'' > ''b''}}. Một elip với hai trục bằng nhau ({{math|1=''a'' = ''b''}}) có tâm sai bằng 0, và là một đường tròn. Một elíp với trục bé bằng 0 có tâm sai bằng 1, và là một parabol.

==== Bán trục bên ====
Độ dài của dây cung qua một tiêu điểm và vuông góc với trục lớn được gọi là ''trục bên'' ([[tiếng Anh]]: ''latus rectum''). Một nửa độ dài đó là ''bán trục bên'', thường được ký hiệu là {{mvar|&#8467;}} và bằng
: <math>\ell = \frac{b^2}a = a \left(1 - e^2\right).</math>

Bán trục bên {{mvar|&#8467;}} bằng [[bán kính cong]] của [[đường tròn mật tiếp]] elíp tại các đỉnh trên trục lớn.

=== Tiếp tuyến ===
Một đường thẳng {{mvar|d}} tùy ý cắt elíp tại 2 điểm gọi là ''cát tuyến'', tại 1 điểm là ''tiếp tuyến''. Tiếp tuyến của elíp {{math|(''E'')}} tại điểm {{math|(''x''{{sub|1}}, ''y''{{sub|1}})}} có phương trình tọa độ là:
:<math>\frac{x_1}{a^2}x + \frac{y_1}{b^2}y = 1.</math>

[[Phương trình tham số]] của tiếp tuyến này là:
: <math>\begin{cases}
x = x_1 - y_1a^2t\\
y = y_1 + x_1b^2t
\end{cases}\, (t\in \mathbb{R})</math>

Hoặc viết theo dạng vectơ thì:
:<math>\vec{d} = (x_1, y_1) + t(-y_1a^2, x_1b^2).</math>

Nếu hai điểm trên elíp {{math|(''x''{{sub|1}}, ''y''{{sub|1}})}} và {{math|(''x''{{sub|2}}, ''y''{{sub|2}})}} thỏa <math display="inline">\frac{x_1x_2}{a^2} + \tfrac{y_1v}{b^2} = 0</math>, thì chúng nằm trên hai ''đường kính liên hợp'' (xem [[#Đường kính liên hợp và trung điểm của dây cung song song|ở dưới]]). Nếu {{math|1=''a'' = ''b''}}, elip là hình tròn và "liên hợp" ở đây là "vuông góc".

;Chứng minh
Xét điểm {{math|(''x''{{sub|1}}, ''y''{{sub|1}})}} nằm trên elíp {{math|(''E'')}} và <math display="inline">\vec{d} = (x_1, y_1) + t(u, v)</math> là phương trình đường thẳng {{mvar|g}} bất kỳ đi qua {{math|(''x''{{sub|1}}, ''y''{{sub|1}})}}. Như vậy một điểm {{mvar|P}} nằm trên đường thẳng {{mvar|g}} có tọa độ {{math|(''x''{{sub|1}} + ''tu'', ''y''{{sub|1}} + ''tv'')}}.
Giả sử điểm {{mvar|P}} cũng nằm trên elíp {{math|(''E'')}}. Thay tọa độ của {{mvar|P}} vào phương trình chính tắc của elíp {{EquationNote|1|(1)}}, ta được
: <math>\begin{align}
  \frac{\left(x_1 + tu\right)^2}{a^2} + \frac{\left(y_1 + tv\right)^2}{b^2} &= 1\\
\Rightarrow 2t\left(\frac{x_1u}{a^2} + \frac{y_1v}{b^2}\right) + t^2\left(\frac{u^2}{a^2} + \frac{v^2}{b^2}\right) &= 0
\end{align}
</math>
Đến đây ta có hai trường hợp:
# <math>\frac{x_1}{a^2}u + \frac{y_1}{b^2}v = 0.</math> Tức {{math|1=''t'' = 0}}, hay {{mvar|P}} chính là {{math|(''x''{{sub|1}}, ''y''{{sub|1}})}}. Nói cách khác, đường thẳng {{mvar|g}} chỉ cắt elíp tại một điểm duy nhất là {{math|(''x''{{sub|1}}, ''y''{{sub|1}})}}, tức {{mvar|g}} là tiếp tuyến tại đó. Vectơ pháp tuyến của {{mvar|g}} là <math>\begin{pmatrix}\frac{x_1}{a^2}, \frac{y_1}{b^2}\end{pmatrix}</math>, do đó phương trình tiếp tuyến là <math display="inline">\frac{x_1}{a^2}x + \tfrac{y_1}{b^2}y = k</math> với một số {{mvar|k}} nào đó. Vì {{math|(''x''{{sub|1}}, ''y''{{sub|1}})}} nằm trên tiếp tuyến đó, thế vào ta được {{math|1=''k'' = 1}}.
# <math>\frac{x_ 1}{a^2}u + \frac{y_1}{b^2}v \ne 0.</math> Khi ấy đường thẳng {{mvar|g}} cắt elíp tại hai điểm, tương ứng với <math>t=0</math> và <math>t=-2\left(\frac{x_1u}{a^2} + \frac{y_1v}{b^2}\right) \left(\frac{u^2}{a^2} + \frac{v^2}{b^2}\right) ^{-1}.</math> Tức {{mvar|g}} là cát tuyến qua elíp {{math|(''E'')}}.

=== Tâm khác gốc tọa độ ===
Nếu elíp chuẩn trên có tâm tại {{math|(''x''<sub>0</sub>, ''y''<sub>0</sub>)}} thì phương trình chính tắc của nó là:
: <math>\frac{\left(x - x_0\right)^2}{a^2} + \frac{\left(y - y_0\right)^2}{b^2} = 1 \ .</math>

Các trục của elíp vẫn song song với trục {{mvar|x}} và {{mvar|y}}.

=== Elíp tổng quát ===
{{Main|Biểu diễn ma trận của các đường conic}}

Trong [[hình học giải tích]], hình elíp là một [[mặt bậc hai]]: tập hợp các điểm <math>(X,\, Y)</math> trên [[mặt phẳng Descartes]] thỏa mãn phương trình [[Hàm ẩn và hàm hiện|ẩn]]<ref>{{chú thích sách|url=https://books.google.com/books?id=yMdHnyerji8C|title=Precalculus with Limits|last1=Larson|first1=Ron|last2=Hostetler|first2=Robert P.|last3=Falvo|first3=David C.|publisher=Cengage Learning|year=2006|isbn=978-0-618-66089-6|page=767|chapter=Chapter 10|chapter-url=https://books.google.com/books?id=yMdHnyerji8C&pg=PA767}}
</ref><ref>{{chú thích sách|url=https://books.google.com/books?id=9HRLAn326zEC|title=Precalculus |last1=Young |first1=Cynthia Y.|publisher=John Wiley and Sons|year=2010|isbn=978-0-471-75684-2|page=831|chapter=Chapter 9|chapter-url=https://books.google.com/books?id=9HRLAn326zEC&pg=PA831}}
</ref>

{{NumBlk|:|<math>AX^2 + B X Y + C Y^2 + D X + E Y + F = 0</math>|{{EquationRef|2}}}}

với điều kiện <math>B^2 - 4AC < 0.</math>

Để phân biệt với [[Conic suy biến|trường hợp suy biến]], đặt {{mvar|∆}} là [[định thức]]

:<math>\Delta = \begin{vmatrix}
               A & \frac{1}{2}B & \frac{1}{2}D \\
    \frac{1}{2}B &            C & \frac{1}{2}E \\
    \frac{1}{2}D & \frac{1}{2}E &            F
  \end{vmatrix} = \left(AC - \frac{B^2}{4}\right) F + \frac{BED}{4} - \frac{CD^2}{4} - \frac{AE^2}{4}.
</math>

Khi ấy hình elíp là một elíp thực (tức {{EquationNote|2|(2)}} có nghiệm thực) không suy biến khi và chỉ khi {{math|''C∆'' < 0}}. Nếu {{math|''C∆'' > 0}}, phương trình không có nghiệm thực, và nếu {{math|1=''∆'' = 0}}, elíp suy biến thành một điểm.<ref name="Lawrence">{{chú thích sách | last=Lawrence | first=J. Dennis | title=A Catalog of Special Plane Curves | url=https://archive.org/details/catalogofspecial00lawr | publisher=Dover Publications | publication-place=New York | year=1972 | isbn=978-0-486-60288-2 | oclc=532407 | page=}}</ref>{{rp|tr.63}}

Nếu một elíp có bán trục lớn {{mvar|a}}, bán trục bé {{mvar|b}}, tọa độ của tâm là {{math|(''x''{{sub|0}}, ''y''{{sub|0}})}}, và góc quay {{mvar|ϕ}} (góc giữa trục {{mvar|x}} dương đến bán trục lớn của elíp) thì hệ số của phương trình {{EquationNote|2|(2)}} là:

:<math>\begin{align}
  A &=   a^2 (\sin\phi)^2 + b^2 (\cos\phi)^2 \\
  B &=  \left(b^2 - a^2\right) \sin 2\phi \\
  C &=   a^2 (\cos\phi)^2 + b^2 (\sin\phi)^2 \\
  D &= -2A x_0   -  B y_0 \\
  E &= - B x_0   - 2C y_0 \\
  F &=   A x_0^2 +  B x_0 y_0 + C y_0^2 - a^2 b^2.
\end{align}</math>

Những biểu thức này có thể suy ra từ phương trình chính tắc <math>\tfrac{x^2}{a^2} + \tfrac{y^2}{b^2} = 1</math> bằng phép biến đổi afin của tọa độ:

:<math>\begin{align}
  x &= \ \left(X - x_0\right) \cos\phi + \left(Y - y_0\right) \sin\phi \\
  y &= -\left(X - x_0\right) \sin\phi + \left(Y - y_0\right) \cos\phi.
\end{align}</math>

Ngược lại, từ phương trình tổng quát {{EquationNote|2|(2)}} ta có thể suy ra phương trình chính tắc như sau:

:<math>\begin{align}
  a, b    &= \frac{-\sqrt{-2\Delta\left(\left(A + C\right) \pm \sqrt{(A - C)^2 + B^2}\right)}}{B^2 - 4 A C} \\
  x_0  &= \frac{2CD - BE}{B^2 - 4AC} \\[3pt]
  y_0  &= \frac{2AE - BD}{B^2 - 4AC} \\[3pt]
  \phi &= \begin{cases}
            \arctan\left(\dfrac{1}{B}\left(C - A - \sqrt{\left(A - C\right)^2 + B^2}\right)\right)& \quad B \ne 0 \\
            0 &\quad B = 0,\ A < C \\
            90^{\circ} & \quad B = 0,\ A > C \\
          \end{cases}
\end{align}</math>

== Biểu diễn tham số ==
[[Tập tin:Elliko-sk.svg|thumb|Quỹ tích các điểm theo phương trình tham số và ý nghĩa của tham số {{mvar|t}}, được Philippe de la Hire đưa ra]]
[[Tập tin:Ellipse-ratpar.svg|thumb|Các điểm trên elíp tính bằng biểu diễn hữu tỉ với các tham số cách đều nhau ({{math|1=''u'' = 0.2}}).]]

=== Biểu diễn tham số chính tắc ===
Sử dụng các [[hàm lượng giác]], biểu diễn tham số của elíp chuẩn <math>\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2} = 1</math> là:
: <math>\begin{cases}
x = a \cos t\\
y = b \sin t
\end{cases}\quad 0 \le t < 2\pi.</math>

Tham số {{mvar|t}} (gọi là ''[[dị thường lệch tâm]]'' trong thiên văn học) không phải là góc giữa điểm {{math|(''x''(''t''), ''y''(''t''))}} với trục hoành, mà có ý nghĩa hình do [[Philippe de La Hire]] đưa ra (xem ''[[Elíp#Vẽ elíp|Vẽ elíp]]'' ở dưới).<ref>Strubecker, K. (1967). ''Vorlesungen über Darstellende Geometrie'', Göttingen, Vandenhoeck & Ruprecht, tr. 26</ref>

===Biểu diễn hữu tỉ===
Bằng [[Phép thế Weierstrass|phép đổi biến]] <math display="inline">u = \tan\left(\frac{t}{2}\right)</math>, ta được các biểu thức hữu tỉ cho các hàm lượng giác:
:<math>\cos t = \frac{1 - u^2}{u^2 + 1}\ ,\quad \sin t = \frac{2u}{u^2 + 1}</math>

và phương trình tham số ''hữu tỉ'' của hình elíp
: <math>\begin{align}
  x(u) &= a\frac{1 - u^2}{u^2 + 1} \\
  y(u) &= \frac{2bu}{u^2 + 1}
\end{align}\;,\quad u\in \mathbb{R}.</math>

Phương trình trên cho ta tất cả các điểm trên elíp chính tắc <math>\tfrac{x^2}{a^2} + \tfrac{y^2}{b^2} = 1</math> ngoại trừ đỉnh trái {{math|(−''a'', 0).}}

Với <math>u \in [0, 1]</math>, công thức này biểu diễn [[góc phần tư]] thứ nhất (phần trên bên phải) của hình elíp, đi ngược chiều kim đồng hồ khi {{mvar|u}} tăng dần. Đỉnh bên trái {{math|(−''a'', 0)}} là giới hạn <math>\lim_{u \to \pm \infty} (x(u),\, y(u)).</math>

Dạng hữu tỉ của các đường conic thường được dùng trong các phần mềm [[CAD (tin học)|CAD]] (xem [[Đường cong Bézier#Đường cong Bézier hữu tỉ|đường cong Bézier]]).

===Độ dốc tiếp tuyến làm tham số===
Một biểu diễn tham số khác sử dụng độ dốc {{mvar|m}} của tiếp tuyến tại điểm {{math|(''a'' cos ''t'', ''b'' sin ''t'')}}. Độ dốc này có thể được tính từ đạo hàm của phương trình tham số ở trên. Cụ thể là:
:<math>\begin{align}\frac{dy}{dx} &=\frac{dy/dt}{dx/dt}=\frac{b\cos t}{-a\sin t}\\ \Rightarrow m &=-\frac{b}{a}\cot t \Rightarrow \cot t=-\frac{ma}{b}\end{align}</math>

Sử dụng các [[đẳng thức lượng giác]] ta tính được:
:<math>\cos t = \frac{\cot t}{\pm\sqrt{1 + \cot^2t}} = \frac{-ma}{\pm\sqrt{m^2 a^2 + b^2}}\ ,\quad
\sin t = \frac{1}{\pm\sqrt{1 + \cot^2t}} = \frac{b}{\pm\sqrt{m^2 a^2 + b^2}}.</math>

Thay các biểu thức trên cho {{math|cos ''t''}} và {{math|sin ''t''}} trong dạng tham số chuẩn ở trên, ta được:
: <math>\begin{cases}x = \dfrac{-ma^2}{\pm\sqrt{m^2 a^2 + b^2}}\\
y = \dfrac{b^2}{\pm\sqrt{m^2a^2 + b^2}}\end{cases} \qquad m \in \R.</math>

Ở đây {{mvar|m}} là độ dốc của tiếp tuyến tại điểm trên elíp. Khi dấu trước căn thức ở dưới mẫu là dương, điểm {{math|(''x'', ''y'')}} thuộc nửa trên của elíp, ngược lại nếu dấu âm thì điểm đó thuộc nửa dưới của elíp. Hai đỉnh trái phải {{math|(±''a'', 0)}} không được biểu diễn do có tiếp tuyến thẳng đứng (độ dốc là vô cùng).

Phương trình tiếp tuyến tại điểm {{math|(''x''(''m''), ''y''(''m''))}} có dạng {{math|1=''y'' = ''mx'' + ''n''}}. Hệ số tự do {{mvar|n}} có thể được xác định bằng cách thay tọa độ của điểm trên elíp tương ứng, cho ta:
: <math>y = mx \pm\sqrt{m^2 a^2 + b^2}\; .</math>

Phương trình tiếp tuyến này có thể được dùng để xác định [[phương khuy (hình học)|phương khuy]] của hình elíp.

===Elíp tổng quát===
[[Tập tin:ellipse-aff.svg|300px|thumb|Elíp tổng quát dưới dạng ảnh afin của đường tròn đơn vị]]
Một định nghĩa khác cho elíp sử dụng [[biến đổi afin]] là:
: Một ''elíp'' bất kỳ là ảnh của một phép biến đổi afin của đường tròn đơn vị với phương trình <math>x^2 + y^2 = 1</math>.

;Biểu diễn tham số
Một phép biến đổi afin của mặt phẳng Euclid có dạng <math>\vec x \mapsto \vec f\!_0 + A\vec x</math>, trong đó {{mvar|A}} là một [[Ma trận (toán học)|ma trận]] (với [[định thức]] khác không) và <math>\vec f\!_0</math> là một vectơ bất kỳ. Nếu <math>\vec f\!_1, \vec f\!_2</math> là các vectơ cột của ma trận {{mvar|A}}, đường tròn đơn vị {{math|(cos(''t''), sin(''t''))}}, trong đó {{math|0 ≤ ''t'' ≤ 2π}}, biến thành hình elíp:
{{NumBlk|:|<math>\vec x = \vec p(t) = \vec f\!_0 + \vec f\!_1 \cos t + \vec f\!_2 \sin t .</math>|{{EquationRef|3}}}}

Ở đây <math>\vec f\!_0</math> là tâm và <math>\vec f\!_1,\; \vec f\!_2</math> là hướng của của hai [[đường kính liên hợp]], không nhất thiết phải vuông góc.

;Đỉnh 
Bốn đỉnh của elíp là <math>\vec p\left(t_0 + k\tfrac{\pi}{2}\right),\, k=0,1,2,3</math>, trong đó tham số {{math|''t''<sub>0</sub>}} là nghiệm của:
: <math>\cot (2t_0) = \frac{\vec f\!_1^{\,2} - \vec f\!_2^{\,2}}{2\vec f\!_1 \cdot \vec f\!_2}.</math>

(Nếu <math>\vec f\!_1 \cdot \vec f\!_2 = 0</math>, thì {{math|1=''t''<sub>0</sub> = 0}}.) Phương trình trên được suy ra như sau. Vectơ tiếp tuyến tại điểm <math>\vec p(t)</math> is:
: <math>\vec p\,'(t) = -\vec f\!_1\sin t + \vec f\!_2\cos t \ .</math>

Tại đỉnh của với tham số {{math|1=''t'' = ''t''<sub>0</sub>}}, tiếp tuyến với elíp vuông góc với bán trục lớn/bé, do đó:
: <math>0 = \vec p\,'(t) \cdot \left(\vec p(t) -\vec f\!_0\right) = \left(-\vec f\!_1\sin t + \vec f\!_2\cos t\right) \cdot \left(\vec f\!_1 \cos t + \vec f\!_2 \sin t\right).</math>

Khai triển và sử dụng các đẳng thức lượng giác {{math|1=cos<sup>2</sup> ''t'' − sin<sup>2</sup> ''t'' = cos 2''t'',}} {{math|1=2sin ''t'' cos ''t'' = sin 2''t''}} cho ta phương trình trên.

;Phương trình ẩn
[[Giải phương trình]] tham số cho {{math|cos ''t'', sin ''t''}} sử dụng [[quy tắc Cramer]] và để ý rằng {{math|1=cos<sup>2</sup> ''t'' + sin<sup>2</sup> ''t'' = 1}}, ta được phương trình ẩn
:<math>\det(\vec x\!-\!\vec f\!_0,\vec f\!_2)^2+\det(\vec f\!_1,\vec x\!-\!\vec f\!_0)^2-\det(\vec f\!_1,\vec f\!_2)^2=0</math>.

;Elíp trong không gian
Định nghĩa của elíp tổng quát trong phần này cho ta biểu diễn tham số của một elíp bất kỳ, thậm chí trong không gian ba chiều, nếu ta cho <math>\vec f\!_0, \vec f\!_1, \vec f\!_2</math> là các vectơ trong không gian.

== Dạng cực ==
=== Dạng cực đối với tâm ===
[[Tập tin:Ellipse Polar center.svg|thumb|right|Tọa độ cực với gốc đặt tại tâm elíp.]]
Trong [[hệ tọa độ cực]], với gốc tọa độ là tâm của elíp và với tọa độ góc {{mvar|θ}} tính từ bán trục lớn, phương trình elíp là<ref name="Lawrence" />{{rp|tr. 75}}
: <math>r(\theta) = \frac{ab}{\sqrt{(b \cos \theta)^2 + (a\sin \theta)^2}}=\frac{b}{\sqrt{1 - (e\cos\theta)^2}}</math>

=== Dạng cực đối với tiêu điểm ===
[[Tập tin:Ellipse Polar.svg|thumb|right|Tọa độ cực với gốc đặt tại tiêu điểm.]]
Nếu ta dùng tọa độ cực với gốc đặt tại một trong hai tiêu điểm, và tọa độ góc {{mvar|θ}} tính từ bán trục lớn, phương trình của elíp khi ấy là
: <math>r(\theta)=\frac{a (1-e^2)}{1 \pm e\cos\theta}</math>

trong đó dấu ở mẫu là âm nếu chiều của {{math|1=''θ'' = 0}} chỉ về tâm elíp, và dương nếu chiều đó chỉ ra xa tâm elíp.

Trong trường hợp tổng quát hơn, với elíp có một tiêu điểm ở gốc tọa độ và tiêu điểm còn lại ở tọa độ góc là {{mvar|φ}}, phương trình dạng cực là:

:<math>r=\frac{a (1-e^2)}{1 - e\cos(\theta - \phi)}.</math>

Góc {{mvar|θ}} trong những công thức này được gọi là [[dị thường thực]] của điểm đang xét. Tử số {{math|1=''ℓ'' = ''a''(1 − ''e''<sup>2</sup>)}} là bán trục bên.

== Tâm sai và đường chuẩn ==
[[Tập tin:Ellipse-ll-e.svg|300px|thumb|Tính chất đường chuẩn của elíp]]
Hai đường thẳng song song và cách bán trục bé một đoạn bằng {{math|1=''d'' = ''a''<sup>2</sup> / ''c'' = ''a'' / ''e''}}, được gọi là ''đường chuẩn'' của elíp.
: Với điểm {{mvar|P}} bất kỳ trên elíp, tỉ số khoảng cách đến một tiêu điểm và khoảng cách đến đường chuẩn tương ứng bằng tâm sai của elíp:
:: <math>\frac{\left|PF_1\right|}{\left|Pl_1\right|} = \frac{\left|PF_2\right|}{\left|Pl_2\right|} = e = \frac{c}{a}\ .</math>

Ta có thể chứng minh cho trường hợp cặp {{math|''F''<sub>1</sub>, ''l''<sub>1</sub>}}. Để ý rằng <math>\left|PF_1\right|^2 = (x - c)^2 + y^2,\ \left|Pl_1\right|^2 = \left(x - \tfrac{a^2}{c}\right)^2</math> và <math>y^2 = b^2 - \tfrac{b^2}{a^2}x^2</math> thỏa mãn phương trình
:<math>\left|PF_1\right|^2 - \frac{c^2}{a^2}\left|Pl_1\right|^2 = 0\ .</math>

Điều ngược lại cũng đúng và thường được dùng để định nghĩa elíp sử dụng đường chuẩn (giống với định nghĩa của một [[parabol]]:
: Với tiêu điểm {{mvar|F}} và đường chuẩn {{mvar|l}} không đi qua {{mvar|F}} bất kỳ, và số thực {{mvar|e}} sao cho {{math|0 < ''e'' < 1,}} một elíp là quỹ tích các điểm sao cho tỉ số khoảng cách từ điểm đó đến tiêu điểm và đến đường chuẩn là {{mvar|e.}} Tức là <math>E = \left\{P\, :\, |PF|/|Pl| = e\right\}.</math>

Trong trường hợp {{math|1=''e'' = 0}}, là tâm sai của đường tròn, ta có thể coi đường chuẩn của đường tròn nằm ở vô hạn. Nếu {{math|1=''e'' = 1}}, quỹ tích tạo thành một hình [[parabol]], và nếu {{math|''e'' > 1}}, một hình [[hyperbola|hyperbo]]<nowiki/>l.)
[[Tập tin:Kegelschnitt-schar-ev.svg|thumb|Các đường conic với cùng đỉnh và bán trục bên]]

;Chứng minh

Giả sử {{math|1=''F'' = (''f'', 0)}} và đường chuẩn {{mvar|l}} có phương trình {{math|1=''x'' = −''f'' / ''e'', ''e'' > 0}}. Khi ấy gốc tọa độ {{math|(0, 0)}} nằm trên đường cong tạo thành. Giả sử điểm {{math|1=''P'' = (''x'', ''y'')}} thỏa mãn {{math|1={{abs|''PF''}}<sup>2</sup> = ''e''<sup>2</sup> {{abs|''Pl''}}<sup>2</sup>}}. Biến đổi, ta được phương trình:
:<math>x^2\left(e^2 - 1\right) + 2x(1 + e)f - y^2 = 0.</math>

Đây là phương trình của một ''elíp'' nếu {{math|1=''e'' < 1}}, một ''parabol'' nếu {{math|1=''e'' = 1}}, hoặc một ''hyperbol'' nếu {{math|1=''e'' > 1}}. Cả ba conic không suy biến này đều có một đỉnh là gốc tọa độ.

Trong trường hợp {{math|''e'' < 1}}, lấy hai số {{math|''a'', ''b''}} sao cho {{math|1=1 − ''e''<sup>2</sup> = (''b'' / ''a'')<sup>2</sup>}} và {{math|1=''p'' = ''b''<sup>2</sup> / ''a''.}} Phương trình ở trên trở thành
:<math>\frac{(x - a)^2}{a^2} + \frac{y^2}{b^2} = 1\ .</math>

Đây chính là phương trình của elíp với tâm {{math|(''a'', 0)}}, trục chính là trục hoành và bán trục lớn và bé lần lượt là {{math|''a'', ''b''.}}

=== Elíp tổng quát ===

Nếu tiêu điểm {{math|1=''F'' = (''f''<sub>1</sub>, ''f''<sub>2</sub>)}} và đường chuẩn có phương trình {{math|1=''ax'' + ''by'' + ''c'' = 0}}, ta có phương trình của elíp là:
:<math>\left(x - f_1\right)^2 + \left(y - f_2\right)^2 = e^2 \frac{\left(ax + by + c\right)^2}{a^2 + b^2}\ .</math>

== Tính chất phản chiếu ==
[[Tập tin:Ellipse-reflex.svg|250px|thumb|Tiếp tuyến với elíp chia đôi góc bù với góc giữa hai đường thẳng nối tiêu điểm]]
[[Tập tin:Elli-norm-tang-n.svg|250px|thumb|Những tia từ một tiêu điểm phản chiếu khỏi elíp và đi qua tiêu điểm còn lại]]
Một elíp có tính chất sau:<ref name="Berendonk 2014 pp. 276–279">{{chú thích tạp chí | last=Berendonk | first=Stephan | title=Proving the Reflective Property of an Ellipse | url=https://archive.org/details/sim_mathematics-magazine_2014-10_87_4/page/276 | journal=Mathematics Magazine | publisher=Informa UK Limited | volume=87 | issue=4 | year=2014 | issn=0025-570X | doi=10.4169/math.mag.87.4.276 | pages=276–279}}</ref>
: Với điểm {{mvar|P}} thuộc elíp, pháp tuyến với elíp tại điểm {{mvar|P}} chia đôi góc <math>\widehat{F_1PF_2}.</math> (Pháp tuyến trong trường hợp này là đường vuông góc với tiếp tuyến tại điểm đó)

;Chứng minh
Ta sẽ chứng minh điều tương đương là tiếp tuyến là đường phân giác ngoài của tam giác {{math|''PF''<sub>1</sub>''F''<sub>2</sub>.}}

Lấy điểm {{mvar|L}} trên tia {{math|''F''<sub>2</sub>''P''}} sao cho {{math|1=''LF''<sub>2</sub> = 2''a'',}} với {{mvar|a}} là bán trục lớn của elíp. Gọi đường thẳng {{mvar|w}} là phân giác ngoài đỉnh {{mvar|P}} của tam giác {{math|''PF''<sub>1</sub>''F''<sub>2</sub>.}} Để chứng minh {{mvar|w}} là tiếp tuyến tại điểm {{mvar|P}}, lấy điểm {{mvar|Q}} khác {{mvar|P}} nằm trên {{mvar|w}}, ta sẽ chứng minh {{mvar|Q}} không thuộc elíp. Khi ấy đường thẳng {{mvar|w}} chỉ cắt elíp tại một điểm là {{mvar|P}}, nên nó là tiếp tuyến với elíp tại {{mvar|P.}}

Từ hình vẽ bên, áp dụng [[bất đẳng thức tam giác]] ta thấy <math>2a = \left|LF_2\right| < \left|QF_2\right| + \left|QL\right| = \left|QF_2\right| + \left|QF_1\right|</math>, do đó: <math>\left|QF_2\right| + \left|QF_1\right| > 2a.</math> Nhưng nếu {{mvar|Q}} nằm trên elíp thì tổng đó phải bằng {{math|2''a''.}} Như vậy {{mvar|Q}} không thuộc elíp, ta có điều phải chứng minh.

; Ứng dụng
Các tia từ một tiêu điểm bị phản chiếu bởi elíp đến tiêu điểm thứ hai, dẫn đến ứng dụng quang và âm thanh tương tự với tính chất phản chiếu của một parabol (xem [[phòng thì thầm]]).

== Đường kính liên hợp ==
[[Tập tin:Parallelproj-kreis-ellipse.svg|400px|thumb|Hai đường kính vuông góc của đường tròn và hình vuông ngoại tiếp nó, qua phép biến đổi afin, trở thành hai đường kính liên hợp của elíp và hình bình hành ngoại tiếp nó]]
{{Main|Đường kính liên hợp}}

Một đường tròn có tính chất sau:
: Trung điểm của các dây cung song song thì nằm trên một đường kính.

Đường kính đó vuông góc với các dây cung song song. Qua một phép biến đổi afin, tính song song và trung điểm của các đoạn thẳng được giữ nguyên, nên tính chất này vẫn đúng với hình elíp. Tuy nhiên khi ấy đường kính và các dây cung song song không vuông góc với nhau. Đường kính liên hợp của elíp tổng quát hóa đường kính vuông góc trong đường tròn.

; Định nghĩa:
Hai đường kính {{math|''d''<sub>1</sub>, ''d''<sub>2<sub>}} của một elíp gọi là ''liên hợp'' nếu trung điểm các dây cung song song với {{math|''d''<sub>1</sub>}} nằm trên {{math|''d''<sub>2</sub>.}}

Từ hình vẽ ta thấy:
: Hai đường kính {{math|''P''<sub>1</sub>''Q''<sub>1</sub>, ''P''<sub>2</sub>''Q''<sub>2</sub>}} của một elíp là liên hợp với nhau khi và chỉ khi tiếp tuyến tại {{math|''P''<sub>1</sub>}} (hoặc {{math|''Q''<sub>1</sub>}} song song với {{math|''P''<sub>2</sub>''Q''<sub>2</sub>.}}

Trong phương trình tham số cho elíp tổng quát {{EquationNote|3|(3)}} ở trên:
: <math>\vec x = \vec p(t) = \vec f\!_0 +\vec f\!_1 \cos t + \vec f\!_2 \sin t,</math>

bất kỳ hai điểm <math>\vec p(t),\ \vec p(t + \pi)</math> tạo thành một đường kính, và cặp <math>\vec p\left(t + \tfrac{\pi}{2}\right),\ \vec p\left(t - \tfrac{\pi}{2}\right)</math> tạo thành đường kính liên hợp với nó.

=== Định lý Apollonius về đường kính liên hợp ===
[[Tập tin:Elli-apoll-cd.svg|300px|thumb|Định lý Apollonius về đường kính liên hợp]]
Cho elíp với hai bán trục {{math|''a'', ''b''}}. Giả sử {{math|''c''<sub>1</sub>, ''c''<sub>2</sub>}} là hai bán kính liên hợp của elíp, tức một nửa của dường kính liên hợp. Khi ấy ta có:<ref name="Bogomolny">{{chú thích web | last=Bogomolny | first=Alexander | title=Conjugate Diameters in Ellipse | website=Interactive Mathematics Miscellany and Puzzles | url=https://www.cut-the-knot.org/Curriculum/Geometry/ConjugateDiameters.shtml | access-date = ngày 16 tháng 8 năm 2020}}</ref>

# <math>c_1^2 + c_2^2 = a^2 + b^2</math>,
# hình bình hành tạo bởi các tiếp tuyến với các đường kính liên hợp đã cho có diện tích {{math|1=''A'' = 4''ab''.}}

Đẳng thức đầu tiên được gọi là định lý thứ nhất của Apollonius về đường kính liên hợp, còn công thức diện tích là định lý Apollonius thứ hai.

; Chứng minh:
Giả sử elíp ở dạng chuẩn (tâm ở gốc tọa độ, hai bán trục là hai trục hoành và tung), với phương trình tham số:
: <math>\vec p(t) = (a\cos t,\, b\sin t)</math>.

Hai điểm <math>\vec c_1 = \vec p(t),\ \vec c_2 = \vec p\left(t + \frac{\pi}{2}\right)</math> là hai đường kính liên hợp (xem phần trên). Từ công thức lượng giác ta có <math>\vec c_2 = (-a\sin t,\, b\cos t)</math>. Biến đổi đại số ta dễ chứng minh:
: <math>\left|\vec c_1\right|^2 + \left|\vec c_2\right|^2 = \cdots = a^2 + b^2\ .</math>

Diện tích của tam giác tạo bởi <math>\vec c_1,\, \vec c_2</math> và dây cung nối hai điểm là:
: <math>A_\Delta = \frac{1}{2}\det\left(\vec c_1,\, \vec c_2\right) = \cdots = \frac{1}{2}ab</math>

Từ hình vẽ ta thấy diện tích hình bình hành ngoại tiếp elíp bằng 8 lần diện tích tam giác đó, suy ra diện tích hình bình hành là {{math|4''ab''.}}

== Tính chất đo lường ==
Tất cả tính chất sau áp dụng cho elíp với phương trình <math>\frac{x^2}{a^2}+\frac{y^2}{b^2} = 1.</math>

=== Diện tích ===
[[Diện tích]] <math>A_\text{elip}</math> của elíp là:
: <math>A_\text{elip} = \pi ab</math>

Trong đó {{mvar|a}} và {{mvar|b}} là độ dài các bán trục lớn và bé của elíp. Công thức này khá tự nhiên: bắt đầu từ đường tròn có bán kính {{mvar|b}} và diện tích {{math|π''b''<sup>2</sup>}} và kéo dài nó với tỉ số <math>a/b</math> để tạo thành elíp. Việc kéo dài này làm tăng diện tích lên tỉ số bằng nhau: <math>\pi b^2(a/b) = \pi a b.</math> Ta cũng có thể chứng minh chặt chẽ tính chất này bằng [[Tích phân xác định|tích phân]] như sau.

Phương trình {{EquationNote|1|(1)}} có thể được viết lại thành <math>y(x)= b \sqrt{1 - x^2/a^2},</math> với <math>x\in[-a,a],</math> đường cong này lànửa trên của elíp. Vậy diện tích elíp bằng hai lần tích phân của {{math|''y''(''x'')}} trên đoạn {{math|[−''a'', ''a'']}}:
: <math>\begin{align}
  A_\text{elip} &= 2 \int_{-a}^a b\sqrt{1 - \frac{x^2}{a^2}}\,dx\\
                &= \frac{b}{a}\int_{-a}^a 2\sqrt{a^2 - x^2}\,dx.
\end{align}</math>

Tích phân thứ hai là diện tích của đường tròn với bán kính {{math|''a'',}} bằng {{math|π''a''<sup>2</sup>.}} Do đó
: <math>A_\text{ellipse} = \frac{b}{a}\pi a^2 = \pi ab.</math>

Một elíp với phương trình <math>Ax^2+ Bxy + Cy^2 = 1 </math> có diện tích <math>2\pi / \sqrt{4AC - B^2}.</math>

=== Chu vi ===
[[Tập tin:Ellipses same circumference.png|thumb|Các elíp với cùng chu vi]]
[[Chu vi]] {{mvar|C}} của một elíp là:
: <math>C \,=\, 4a\int_0^{\pi/2}\sqrt {1 - e^2 \sin^2\theta}\ d\theta \,=\, 4 a \,E(e)</math>

trong đó {{mvar|a}} là độ dài của bán trục lớn, <math>e=\sqrt{1 - b^2/a^2}</math> là tâm sai của elíp, và hàm số {{mvar|E}} là [[tích phân elliptic đầy đủ loại II]],
: <math>E(e) \,=\, \int_0^{\pi/2}\sqrt {1 - e^2 \sin^2\theta}\ d\theta.</math>

[[Chuỗi vô hạn]] của công thức này là:
: <math>\begin{align}
  C &= 2\pi a \left[{1 - \left(\frac{1}{2}\right)^2e^2 - \left(\frac{1\cdot 3}{2\cdot 4}\right)^2\frac{e^4}{3} - \left(\frac{1\cdot 3\cdot 5}{2\cdot 4\cdot 6}\right)^2\frac{e^6}{5} - \cdots}\right] \\
    &= 2\pi a \left[1 - \sum_{n=1}^\infty \left(\frac{(2n-1)!!}{(2n)!!}\right)^2 \frac{e^{2n}}{2n-1}\right],\end{align}</math>

trong đó {{math|''n''!!}} là [[giai thừa đôi]]. Chuỗi này hội tụ, nhưng bằng cách đặt {{math|1=''h'' = (''a'' − ''b'')<sup>2</sup> / (''a'' + ''b'')<sup>2</sup>,}} [[James Ivory (nhà toán học)|James Ivory]]<ref>{{chú thích tạp chí
|ref = {{harvid|Ivory|1798}}
|last = Ivory
|first = J.
|title = A new series for the rectification of the ellipsis
|authorlink = James Ivory (mathematician)
|journal = Transactions of the Royal Society of Edinburgh
|year = 1798
|volume = 4
|issue = 2
|pages = 177{{ndash}}190
|url =https://books.google.com/books?id=FaUaqZZYYPAC&pg=PA177
|doi=10.1017/s0080456800030817
}}</ref> và Bessel<ref>{{chú thích tạp chí
|ref = {{harvid|Bessel|1825}}
|last = Bessel
|first = F. W.
|title = The calculation of longitude and latitude from geodesic measurements (1825)
|authorlink = Friedrich Bessel
|journal = Astron. Nachr.
|year = 2010
|volume = 331
|number = 8
|pages = 852{{ndash}}861
|arxiv = 0908.1824
|doi = 10.1002/asna.201011352
|bibcode = 2010AN....331..852K
}} Englisch translation of {{chú thích tạp chí|first1= F. W. | last1=Bessel|doi=10.1002/asna.18260041601|year=1825|bibcode=1825AN......4..241B|title=Über die Berechnung der geographischen Längen und Breiten aus geodätischen Vermesssungen|journal=Astron. Nachr.|volume=4| issue=16|pages =241{{ndash}}254|arxiv=0908.1823}}</ref> cho một công thức khác hội tụ nhanh hơn nhiều:

:<math>\begin{align}
  C &= \pi (a+b) \left[1 + \sum_{n=1}^\infty \left(\frac{(2n-1)!!}{2^n n!}\right)^2 \frac{h^n}{(2n-1)^2}\right]. \\
    &= \pi (a+b) \left[1 + \frac{h}{4} + \sum_{n=2}^\infty \left(\frac{(2n-3)!!}{2^n n!}\right)^2 h^n\right].
\end{align}</math>

[[Srinivasa Ramanujan]] đưa ra hai [[xấp xỉ]] cho chu vi trong phần §16 của "Modular Equations and Approximations to {{math|π}}":<ref>{{chú thích tạp chí
|last=Ramanujan |first=Srinivasa|author-link=Srinivasa Ramanujan
|title=Modular Equations and Approximations to &pi;
|journal = Quart. J. Pure App. Math.
|volume = 45
|pages = 350{{ndash}}372
|year = 1914
|url = https://books.google.com/books?id=oSioAM4wORMC&pg=PA39
|isbn=9780821820766
}}</ref>
: <math>C \approx \pi \left (3(a + b) - \sqrt{(3a + b)(a + 3b)} \right ),</math>

và
: <math>C\approx\pi\left(a+b\right)\left(1+\frac{3h}{10+\sqrt{4-3h}}\right).</math>

Sai số của những xấp xỉ này lần lượt cỡ bậc của {{math|''h''<sup>3</sup>}} và {{math|''h''<sup>5</sup>.}}

Một số bất đẳng thức về chu vi của elíp chuẩn {{math|1=''x''<sup>2</sup> / ''a''<sup>2</sup> + ''y''<sup>2</sup> / ''b''<sup>2</sup> = 1}} với {{math|''a'' ≥ ''b''}} là<ref>{{chú thích tạp chí|last1=Jameson|first1=G.J.O.|title=Inequalities for the perimeter of an ellipse|url=https://archive.org/details/sim_mathematical-gazette_2014-07_98_542/page/227| journal= Mathematical Gazette|volume= 98 |issue=542|year=2014|pages=227–234|doi=10.1017/S002555720000125X}}</ref>
: <math>\begin{align}
           2\pi b &\le C \le 2\pi a, \\
        \pi (a+b) &\le C \le 4(a+b), \\
  4\sqrt{a^2+b^2} &\le C \le \sqrt{2} \pi \sqrt{a^2+b^2} .
\end{align}</math>

Ở đây chặn trên {{math|2π''a''}} là chu vi của đường tròn ngoại tiếp đi qua hai đỉnh của trục lớn elíp, và chặn dưới <math>4\sqrt{a^2+b^2}</math> là [[chu vi]] của một hình thoi nối bốn đỉnh của elíp.

=== Độ cong ===
[[Độ cong]] của elíp là
:<math>\kappa = \frac{1}{a^2 b^2}\left(\frac{x^2}{a^4}+\frac{y^2}{b^4}\right)^{-3/2}\ ,</math>

[[Bán kính cong]] tại điểm {{math|(''x'', ''y'')}}:
: <math>\rho = a^2 b^2 \left(\frac{x^{2}}{a^4} + \frac{y^{2}}{b^4}\right)^{3/2} = \frac{1}{a^4 b^4} \sqrt{\left(a^4 y^{2} + b^4 x^{2}\right)^3} \ .</math>

Bán kính cong tại hai đỉnh {{math|(±''a'', 0)}} và tâm cong là:
: <math>\rho_0 = \frac{b^2}{a}=p\ , \qquad \left(\pm\frac{c^2}{a}\,\bigg|\,0\right)\ .</math>

Bán kính cong tại hai đỉnh {{math|(0, ±''b'')}} và tâm cong là:
: <math>\rho_1 = \frac{a^2}{b}\ , \qquad \left(0\,\bigg|\,\pm\frac{c^2}{b}\right)\ .</math>

== Xem thêm ==
{{Portal|Toán học|Thiên văn học}}
* [[Hình bầu dục]]
* [[Hình bầu dục Descartes]], một dạng tổng quát elíp
* [[Các định luật Kepler về chuyển động thiên thể]]
* [[Conic ngoại tiếp và nội tiếp]]
* [[Hệ tọa độ elíp]], một hệ tọa độ vuông góc dựa trên hình elíp và [[hyperbol]]
* [[Phương trình vi phân riêng phần elíp]]
* [[Phỏng cầu]], hình ellipsoid nhận được bằng cách xoay một elíp quanh trục lớn hoặc bé
* [[Siêu elíp]], một dạng tổng quát khác của elíp
* [[Dị thường đúng]], [[dị thường tâm sai]], và [[dị thường trung bình]]

== Chú thích ==
{{tham khảo|30em}}

== Tham khảo ==
* {{chú thích sách |first=W.H. |last=Besant | title=Conic Sections |chapter=Chapter III. The Ellipse
| publisher=George Bell and Sons| location=London | year=1907 
|chapter-url=https://books.google.com/books?id=TRJLAAAAYAAJ&pg=PA50 |page=50 }}
* {{chú thích sách |author=Coxeter, H.S.M. |title=Introduction to Geometry |url=https://archive.org/details/introductiontoge0002coxe |url-access=registration |publisher=Wiley |location=New York |year=1969 |isbn= |pages=[https://archive.org/details/introductiontoge0002coxe/page/115 115–9] |edition=2 }}
* {{chú thích|first=Bruce E.|last=Meserve|title=Fundamental Concepts of Geometry|year=1983|origyear=1959|publisher=Dover|isbn=978-0-486-63415-9}}
* {{chú thích sách |author1=Miller, Charles D. |author2=Lial, Margaret L. |author3=Schneider, David I. |title=Fundamentals of College Algebra |publisher=Scott Foresman/Little |location= |year=1990 |isbn=978-0-673-38638-0 |page=[https://archive.org/details/fundamentalsofco0000mill_g1q3/page/381 381] |edition=3 |url=https://archive.org/details/fundamentalsofco0000mill_g1q3/page/381 }}
* {{ citation | last1 = Protter | first1 = Murray H. | last2 = Morrey | first2 = Charles B., Jr. | title = College Calculus with Analytic Geometry |edition=2 | location = Reading | publisher = [[Addison-Wesley]] | year = 1970 | lccn = 76087042 }}

== Liên kết ngoài ==
* {{Britannica|185064|Ellipse (mathematics)}}
* {{PlanetMath |urlname= ellipse|title= Ellipse}}
*{{MathWorld |id=Ellipse |title=Ellipse}}
*{{MathWorld |id=Hypotrochoid|title=Ellipse as special case of hypotrochoid}}
*[https://web.archive.org/web/20070715063900/http://mathdl.maa.org/convergence/1/?pa=content&sa=viewDocument&nodeId=196&bodyId=203 Apollonius' Derivation of the Ellipse] at Convergence
*[http://faculty.evansville.edu/ck6/ellipse.pdf ''The Shape and History of The Ellipse in Washington, D.C.''] by [[Clark Kimberling]]
*[http://www.fxsolver.com/solve/share/ON58ARMtP65D1khWt1uwUA==/ Ellipse circumference calculator]
*[http://www.mathopenref.com/tocs/ellipsetoc.html Collection of animated ellipse demonstrations]
*{{springer| title=Ellipse | id=Ellipse&oldid=11394 | last=Ivanov | first=A.B. }}

[[Thể loại:Đường conic]]
[[Thể loại:Hình cơ bản]]
[[Thể loại:Đường cong đại số]]