# Difference between revisions of "Ceva's Theorem"

(→Intermediate) |
m (→Proof) |
||

(3 intermediate revisions by 3 users not shown) | |||

Line 9: | Line 9: | ||

<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>, | ||

</center><br> | </center><br> | ||

− | where lengths are [[directed segments | directed]]. This also works for the [[reciprocal]] | + | where lengths are [[directed segments | directed]]. This also works for the [[reciprocal]] of each of the ratios, as the reciprocal of <math>1</math> is <math>1</math>. |

Line 30: | Line 30: | ||

</center> | </center> | ||

− | 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> | + | 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> concurs with <math>AD </math> and <math>BE </math>. {{Halmos}} |

==Proof by [[Barycentric coordinates]]== | ==Proof by [[Barycentric coordinates]]== | ||

Line 38: | Line 38: | ||

Similarly, since <math>E=(1-e,0,e)</math>, and <math>F=(f,1-f,0)</math>, we can see that the equations of <math>BE</math> and <math>CF</math> respectively are <math>x=\frac{1-e}{e}z</math> and <math>y=\frac{1-f}{f}x</math> | Similarly, since <math>E=(1-e,0,e)</math>, and <math>F=(f,1-f,0)</math>, we can see that the equations of <math>BE</math> and <math>CF</math> respectively are <math>x=\frac{1-e}{e}z</math> and <math>y=\frac{1-f}{f}x</math> | ||

− | Multiplying the three together yields the solution to the equation: | + | [[Multiplying]] the three together yields the solution to the equation: |

<math>xyz=\frac{1-e}{e}\cdot{z}\cdot\frac{1-f}{f}\cdot{x}\cdot\frac{1-d}{d}y</math> | <math>xyz=\frac{1-e}{e}\cdot{z}\cdot\frac{1-f}{f}\cdot{x}\cdot\frac{1-d}{d}y</math> | ||

Line 79: | Line 79: | ||

===Intermediate=== | ===Intermediate=== | ||

*In <math>\Delta ABC, AD, BE, CF</math> are concurrent lines. <math>P, Q, R</math> are points on <math>EF, FD, DE</math> such that <math>DP, EQ, FR</math> are concurrent. Prove that (using ''plane geometry'') <math>AP, BQ, CR</math> are concurrent. (<url>viewtopic.php?f=151&t=543574 </url>) | *In <math>\Delta ABC, AD, BE, CF</math> are concurrent lines. <math>P, Q, R</math> are points on <math>EF, FD, DE</math> such that <math>DP, EQ, FR</math> are concurrent. Prove that (using ''plane geometry'') <math>AP, BQ, CR</math> are concurrent. (<url>viewtopic.php?f=151&t=543574 </url>) | ||

+ | |||

+ | == See also == | ||

+ | * [[Stewart's Theorem]] | ||

+ | * [[Menelaus' Theorem]] | ||

+ | |||

+ | [[Category:Geometry]] | ||

+ | |||

+ | [[Category:Theorems]] |

## Latest revision as of 02:35, 24 July 2020

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

## Contents

## Statement

Let be a triangle, and let be points on lines , respectively. Lines are concurrent if and only if

,

where lengths are directed. This also works for the reciprocal of each of the ratios, as the reciprocal of is .

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

The proof using Routh's Theorem is extremely trivial, so we will not include it.

## Proof

We will use the notation to denote the area of a triangle with vertices .

First, suppose meet at a point . We note that triangles have the same altitude to line , but bases and . It follows that . The same is true for triangles , so

Similarly, and , so

.

Now, suppose satisfy Ceva's criterion, and suppose intersect at . Suppose the line intersects line at . We have proven that must satisfy Ceva's criterion. This means that

so

and line concurs with and . ∎

## Proof by Barycentric coordinates

Since , we can write its coordinates as . The equation of line is then .

Similarly, since , and , we can see that the equations of and respectively are and

Multiplying the three together yields the solution to the equation:

Dividing by yields:

, which is equivalent to Ceva's theorem

QED

## Trigonometric Form

The trigonometric form of Ceva's Theorem (Trig Ceva) states that cevians concur if and only if

### Proof

First, suppose concur at a point . We note that

and similarly,

It follows that

.

Here, sign is irrelevant, as we may interpret the sines of directed angles mod 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. ∎

## Problems

### Introductory

- Suppose , and have lengths , and , respectively. If and , find and . (Source)

### Intermediate

- In are concurrent lines. are points on such that are concurrent. Prove that (using
*plane geometry*) are concurrent. (<url>viewtopic.php?f=151&t=543574 </url>)