Van Obel Theorem and Barycentric coordinates
The Van Obel theorem may serve as a link between Ceva's Theorem and barycentric coordinates. (Another proof of Van Obel's theorem builds on the ratios of areas formed by concurrent cevians in a triangle.)
For three cevians meeting inside ΔABC at point P, the following is true:
|(1)||AP/PD = AE/EC + AF/FB|
From the mechanical point of view, van Obel's theorem asserts a recombination property of the center of mass. The center of mass of three points can be computed in two ways: first, as the average of the three points and the location of the cumulative mass. Second, as the center of mass of one of the three points (A in the diagram) and the center of mass of the other two (B and C).
The proof is very simple and follows easily from juxtaposition of three pairs of similar triangles: PHG and PBC, AEG and EBC, and AFH and BCF.
For the following I just have to simplify notations. Which actually means introducing a lot of new symbols. So, let u = PD/AD, v = EP/EB, w = FP/FC, and CD/DB = ra, AE/EC = rb, BF/FA = rc. Ceva's theorem says that
|(2)||rarbrc = 1.|
Van Obel's theorem is equivalent to 1/u = rb + 1/rc + 1. Which, from (2), is the same as
|(3)||1/u = rb + rarb + 1|
|(4)||1/v = rc + 1/ra + 1 = rc + rcrb + rarbrc = rc(1 + rb + rarb)|
1/w = ra + 1/rb + 1 = ra + rarc + rarbrc = ra(1 + rc + rbrc) = |
ra(rarbrc + rc + rbrc) = rarc(1 + rb + rarb)
|(6)||u + v + w = (1 + 1/rc + rb)/(1 + rb + rarb)|
With one additional application of the life saving (2), the latter simplifies to
Copyright © 1996-2018 Alexander Bogomolny