Cevian

In geometry, a cevian is a line that intersects both a triangle's vertex, and also the side that is opposite to that vertex. Medians and angle bisectors are special cases of cevians. The name "cevian" comes from the Italian mathematician Giovanni Ceva, who proved a well-known theorem about cevians which also bears his name.

Length

A triangle with a cevian of length d

Stewart's theorem

The length of a cevian can be determined by Stewart's theorem: in the diagram, the cevian length d is given by the formula

[math]\displaystyle{ \,b^2m + c^2n = a(d^2 + mn) }[/math]

or, less commonly,

[math]\displaystyle{ \,man+dad=bmb+cnc. }[/math]

Median

If the cevian happens to be a median (thus bisecting a side), its length can be determined from the formula

[math]\displaystyle{ \,m(b^2 + c^2) = a(d^2 + m^2) }[/math]

or

[math]\displaystyle{ \,2(b^2 + c^2) = 4d^2 + a^2 }[/math]

since

[math]\displaystyle{ \,a = 2m. }[/math]

Hence in this case

[math]\displaystyle{ d= \sqrt {\frac{2 b^2 + 2 c^2 - a^2}{4} }. }[/math]

Angle bisector

If the cevian happens to be an angle bisector, its length obeys the formulas

[math]\displaystyle{ \,(b + c)^2 = a^2 \left( \frac{d^2}{mn} + 1 \right), }[/math]

and

[math]\displaystyle{ d^2+mn = bc }[/math]

and

[math]\displaystyle{ d= \frac{2 \sqrt{bcs(s-a)}}{b+c} }[/math]

where the semiperimeter s = (a+b+c)/2.

The side of length a is divided in the proportion b:c.

Altitude

If the cevian happens to be an altitude and thus perpendicular to a side, its length obeys the formulas

[math]\displaystyle{ \,d^2 = b^2 - n^2 = c^2 - m^2 }[/math]

and

[math]\displaystyle{ d=\frac{2\sqrt{s(s-a)(s-b)(s-c)}}{a}, }[/math]

where the semiperimeter s = (a+b+c) / 2.

Ratio properties

Three cevians passing through a common point

There are various properties of the ratios of lengths formed by three cevians all passing through the same arbitrary interior point: Referring to the diagram at right,

[math]\displaystyle{ \frac{AF}{FB} \cdot \frac{BD}{DC} \cdot \frac{CE}{EA} = 1; }[/math] (Ceva's theorem)

[math]\displaystyle{ \frac{AO}{OD}=\frac{AE}{EC}+\frac{AF}{FB}; }[/math]

[math]\displaystyle{ \frac{OD}{AD}+\frac{OE}{BE}+\frac{OF}{CF}=1; }[/math]

[math]\displaystyle{ \frac{AO}{AD}+\frac{BO}{BE}+\frac{CO}{CF}=2. }[/math]

These last two properties are equivalent because summing the two equations gives the identity 1 + 1 + 1 = 3.

Splitter

A splitter of a triangle is a cevian that bisects the perimeter. The three splitters concur at the Nagel point of the triangle.

Area bisectors

Three of the area bisectors of a triangle are its medians, which connect the vertices to the opposite side midpoints. Thus a uniform-density triangle would in principle balance on a razor supporting any of the medians.

Angle trisectors

If from each vertex of a triangle two cevians are drawn so as to trisect the angle (divide it into three equal angles), then the six cevians intersect in pairs to form an equilateral triangle, called the Morley triangle.

Area of inner triangle formed by cevians

Routh's theorem determines the ratio of the area of a given triangle to that of a triangle formed by the pairwise intersections of three cevians, one from each vertex.

See also

• Mass point geometry
• Menelaus' theorem

References

• Eves, Howard (1963), A Survey of Geometry (Vol. One), Allyn and Bacon 
• Ross Honsberger (1995). Episodes in Nineteenth and Twentieth Century Euclidean Geometry, pages 13 and 137. Mathematical Association of America.
• Vladimir Karapetoff (1929). "Some properties of correlative vertex lines in a plane triangle." American Mathematical Monthly 36: 476–479.
• Indika Shameera Amarasinghe (2011). “A New Theorem on any Right-angled Cevian Triangle.” Journal of the World Federation of National Mathematics Competitions, Vol 24 (02), pp. 29–37.