Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Ceva's Theorem"

(→‎Trigonometric Form: typos)
Line 4: Line 4:
 
== Statement ==
 
== Statement ==
  
−
Let <math> \displaystyle ABC </math> be a triangle, and let <math> \displaystyle D, E, F  </math> be points on lines <math> \displaystyle BC, CA, AB </math>, respectively.  Lines <math> \displaystyle AD, BE, CF </math> [[concur]] iff if and only if
+
Let <math>ABC </math> be a triangle, and let <math>D, E, F  </math> be points on lines <math>BC, CA, AB </math>, respectively.  Lines <math>AD, BE, CF </math> [[concur]] iff if and only if
 
<br><center>
 
<br><center>
 
<math>\frac{BD}{DC} \cdot \frac{CE}{EA}\cdot \frac{AF}{FB} = 1 </math>,
 
<math>\frac{BD}{DC} \cdot \frac{CE}{EA}\cdot \frac{AF}{FB} = 1 </math>,
Line 16: Line 16:
 
== Proof ==
 
== Proof ==
  
−
We will use the notation <math> \displaystyle [ABC] </math> to denote the area of a triangle with vertices <math> \displaystyle A,B,C </math>.
+
We will use the notation <math>[ABC] </math> to denote the area of a triangle with vertices <math>A,B,C </math>.
  
−
First, suppose <math> \displaystyle AD, BE, CF </math> meet at a point <math> \displaystyle X </math>.  We note that triangles <math> \displaystyle ABD, ADC </math> have the same altitude to line <math> \displaystyle BC </math>, but bases <math> \displaystyle BD </math> and <math> \displaystyle DC </math>.  It follows that <math> \frac {BD}{DC} = \frac{[ABD]}{[ADC]} </math>.  The same is true for triangles <math> \displaystyle XBD, XDC </math>, so  
+
First, suppose <math>AD, BE, CF </math> meet at a point <math>X </math>.  We note that triangles <math>ABD, ADC </math> have the same altitude to line <math>BC </math>, but bases <math>BD </math> and <math>DC </math>.  It follows that <math> \frac {BD}{DC} = \frac{[ABD]}{[ADC]} </math>.  The same is true for triangles <math>XBD, XDC </math>, so  
 
<center><math> \frac{BD}{DC} = \frac{[ABD]}{[ADC]} = \frac{[XBD]}{[XDC]} = \frac{[ABD]- [XBD]}{[ADC]-[XDC]} = \frac{[ABX]}{[AXC]} </math>. </center>
 
<center><math> \frac{BD}{DC} = \frac{[ABD]}{[ADC]} = \frac{[XBD]}{[XDC]} = \frac{[ABD]- [XBD]}{[ADC]-[XDC]} = \frac{[ABX]}{[AXC]} </math>. </center>
 
Similarly, <math> \frac{CE}{EA} = \frac{[BCX]}{[BXA]} </math> and <math> \frac{AF}{FB} = \frac{[CAX]}{[CXB]} </math>,
 
Similarly, <math> \frac{CE}{EA} = \frac{[BCX]}{[BXA]} </math> and <math> \frac{AF}{FB} = \frac{[CAX]}{[CXB]} </math>,
Line 26: Line 26:
 
</center>
 
</center>
  
−
Now, suppose <math> \displaystyle D, E,F </math> satisfy Ceva's criterion, and suppose <math> \displaystyle AD, BE </math> intersect at <math> \displaystyle X </math>.  Suppose the line <math> \displaystyle CX </math> intersects line <math> \displaystyle AB </math> at <math> \displaystyle F' </math>.  We have proven that <math> \displaystyle F' </math> must satisfy Ceva's criterion.  This means that <center><math> \frac{AF'}{F'B} = \frac{AF}{FB} </math>, </center> so <center><math> \displaystyle F' = F </math>, </center> and line <math> \displaystyle CF </math> concurrs with <math> \displaystyle AD </math> and <math> \displaystyle BE </math>.  {{Halmos}}
+
Now, suppose <math>D, E,F </math> satisfy Ceva's criterion, and suppose <math>AD, BE </math> intersect at <math>X </math>.  Suppose the line <math>CX </math> intersects line <math>AB </math> at <math>F' </math>.  We have proven that <math>F' </math> must satisfy Ceva's criterion.  This means that <center><math> \frac{AF'}{F'B} = \frac{AF}{FB} </math>, </center> so <center><math>F' = F </math>, </center> and line <math>CF </math> concurrs with <math>AD </math> and <math>BE </math>.  {{Halmos}}
  
 
== Trigonometric Form ==
 
== Trigonometric Form ==
  
−
The [[trig | trigonometric]] form of Ceva's Theorem (Trig Ceva) states that cevians <math> \displaystyle AD,BE,CF</math> concur if and only if
+
The [[trig | trigonometric]] form of Ceva's Theorem (Trig Ceva) states that cevians <math>AD,BE,CF</math> concur if and only if
 
<center>
 
<center>
 
<math> \frac{\sin BAD}{\sin DAC} \cdot \frac{\sin CBE}{\sin EBA} \cdot \frac{\sin ACF}{\sin FCB} = 1.</math>
 
<math> \frac{\sin BAD}{\sin DAC} \cdot \frac{\sin CBE}{\sin EBA} \cdot \frac{\sin ACF}{\sin FCB} = 1.</math>
Line 37: Line 37:
 
=== Proof ===
 
=== Proof ===
  
−
First, suppose <math> \displaystyle AD, BE, CF </math> concur at a point <math> \displaystyle X </math>.  We note that
+
First, suppose <math>AD, BE, CF </math> concur at a point <math>X </math>.  We note that
 
<center>
 
<center>
 
<math> \frac{[BAX]}{[XAC]} = \frac{ \frac{1}{2}AB \cdot AX \cdot \sin BAX}{ \frac{1}{2}AX \cdot AC \cdot \sin XAC} = \frac{AB \cdot \sin BAD}{AC \cdot \sin DAC} </math>, </center>
 
<math> \frac{[BAX]}{[XAC]} = \frac{ \frac{1}{2}AB \cdot AX \cdot \sin BAX}{ \frac{1}{2}AX \cdot AC \cdot \sin XAC} = \frac{AB \cdot \sin BAD}{AC \cdot \sin DAC} </math>, </center>
Line 48: Line 48:
 
</center>
 
</center>
  
−
Here, sign is irrelevant, as we may interpret the sines of [[directed angles]] mod <math> \displaystyle \pi </math> to be either positive or negative.
+
Here, sign is irrelevant, as we may interpret the sines of [[directed angles]] mod <math>\pi </math> to be either positive or negative.
  
 
The converse follows by an argument almost identical to that used for the first form of Ceva's Theorem.  {{Halmos}}
 
The converse follows by an argument almost identical to that used for the first form of Ceva's Theorem.  {{Halmos}}
Line 60: Line 60:
 
== See also ==
 
== See also ==
 
* [[Menelaus' Theorem]]
 
* [[Menelaus' Theorem]]
 +
 +
 +
[[Category:Geometry]]
 +
 +
[[Category:Theorems]]

Revision as of 20:35, 14 October 2007

Ceva's Theorem is a criterion for the concurrence of cevians in a triangle.


Statement

Let $ABC$ be a triangle, and let $D, E, F$ be points on lines $BC, CA, AB$, respectively. Lines $AD, BE, CF$ concur iff if and only if


$\frac{BD}{DC} \cdot \frac{CE}{EA}\cdot \frac{AF}{FB} = 1$,


where lengths are directed.

Ceva1.PNG

(Note that the cevians do not necessarily lie within the triangle, although they do in this diagram.)

Proof

We will use the notation $[ABC]$ to denote the area of a triangle with vertices $A,B,C$.

First, suppose $AD, BE, CF$ meet at a point $X$. We note that triangles $ABD, ADC$ have the same altitude to line $BC$, but bases $BD$ and $DC$. It follows that $\frac {BD}{DC} = \frac{[ABD]}{[ADC]}$. The same is true for triangles $XBD, XDC$, so

$\frac{BD}{DC} = \frac{[ABD]}{[ADC]} = \frac{[XBD]}{[XDC]} = \frac{[ABD]- [XBD]}{[ADC]-[XDC]} = \frac{[ABX]}{[AXC]}$.

Similarly, $\frac{CE}{EA} = \frac{[BCX]}{[BXA]}$ and $\frac{AF}{FB} = \frac{[CAX]}{[CXB]}$, so

$\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = \frac{[ABX]}{[AXC]} \cdot \frac{[BCX]}{[BXA]} \cdot \frac{[CAX]}{[CXB]} = 1$.

Now, suppose $D, E,F$ satisfy Ceva's criterion, and suppose $AD, BE$ intersect at $X$. Suppose the line $CX$ intersects line $AB$ at $F'$. We have proven that $F'$ must satisfy Ceva's criterion. This means that

$\frac{AF'}{F'B} = \frac{AF}{FB}$,

so

$F' = F$,

and line $CF$ concurrs with $AD$ and $BE$. ∎

Trigonometric Form

The trigonometric form of Ceva's Theorem (Trig Ceva) states that cevians $AD,BE,CF$ concur if and only if

$\frac{\sin BAD}{\sin DAC} \cdot \frac{\sin CBE}{\sin EBA} \cdot \frac{\sin ACF}{\sin FCB} = 1.$

Proof

First, suppose $AD, BE, CF$ concur at a point $X$. We note that

$\frac{[BAX]}{[XAC]} = \frac{ \frac{1}{2}AB \cdot AX \cdot \sin BAX}{ \frac{1}{2}AX \cdot AC \cdot \sin XAC} = \frac{AB \cdot \sin BAD}{AC \cdot \sin DAC}$,

and similarly,

$\frac{[CBX]}{[XBA]} = \frac{BC \cdot \sin CBE}{BA \cdot \sin EBA} ;\; \frac{[ACX]}{[XCB]} = \frac{CA \cdot \sin ACF}{CB \cdot \sin FCB}$.

It follows that

$\frac{\sin BAD}{\sin DAC} \cdot \frac{\sin CBE}{\sin EBA} \cdot \frac{\sin ACF}{\sin FCB} = \frac{AB \cdot \sin BAD}{AC \cdot \sin DAC} \cdot \frac{BC \cdot \sin CBE}{BA \cdot \sin EBA} \cdot \frac{CA \cdot \sin ACF}{CB \cdot \sin FCB}$

$\qquad = \frac{[BAX]}{[XAC]} \cdot \frac{[CBX]}{[XBA]} \cdot \frac{[ACX]}{[XCB]} = 1$.

Here, sign is irrelevant, as we may interpret the sines of directed angles mod $\pi$ to be either positive or negative.

The converse follows by an argument almost identical to that used for the first form of Ceva's Theorem. ∎

Examples

  1. Suppose AB, AC, and BC have lengths 13, 14, and 15. If $\frac{AF}{FB} = \frac{2}{5}$ and $\frac{CE}{EA} = \frac{5}{8}$. Find BD and DC.

    If $BD = x$ and $DC = y$, then $10x = 40y$, and ${x + y = 15}$. From this, we find $x = 12$ and $y = 3$.
  2. The concurrence of the altitudes of a triangle at the orthocenter and the concurrence of the perpendicual bisectors of a triangle at the circumcenter can both be proven by Ceva's Theorem (the latter is a little harder). Furthermore, the existance of the centroid can be shown by Ceva, and the existance of the incenter can be shown using trig Ceva. However, there are more elegant methods for proving each of these results, and in any case, any result obtained by classic Ceva's Theorem can be proven using ratios of areas.
  3. The existance of isotonic conjugates can be shown by classic Ceva, and the existance of isogonal conjugates can be shown by trig Ceva.

See also

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Ceva%27s_Theorem&oldid=18030"