Teorema di Ceva

Il teorema di Ceva è un noto teorema in geometria elementare. Deve il suo nome a Giovanni Ceva, che ne diede dimostrazione nella sua opera De lineis rectis se invicem secantibus, statica constructio del 1678, anche se il primo a dimostrarlo fu Yusuf al-Mu'tamin ibn Hud, attorno all'XI secolo. Si definisce ceviana una retta che congiunge un vertice con un punto del lato opposto di un triangolo. Il teorema fornisce una condizione necessaria e sufficiente affinché tre ceviane si incontrino in uno stesso punto.

Enunciato

Siano A, B, C i vertici di un triangolo; li si congiungano con un punto O del piano e si indichino con D, E, F le intersezioni con i lati del triangolo.
Si ha la seguente relazione:

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

Dimostrazione

Si considerino i triangoli $\triangle AFO$ e $\triangle FBO$. Si può notare che hanno in comune un'altezza relativa ai due segmenti $AF$ e $FB$, basi rispettivamente del primo e del secondo triangolo. Da questo, tenendo conto della formula $A={\frac {bh}{2}}$, per l'area di un triangolo, si deduce che il rapporto tra le aree dei due triangoli è uguale al rapporto tra le rispettive basi:

${\frac {\triangle AFO}{\triangle FBO}}={\frac {AF}{FB}}$.

Similmente si può dimostrare che vale anche:

${\frac {\triangle AFC}{\triangle FBC}}={\frac {AF}{FB}},$

e di conseguenza, per la proprietà transitiva dell'uguaglianza si giunge a:

${\frac {\triangle AFC}{\triangle FBC}}={\frac {\triangle AFO}{\triangle FBO}}.$

Facendo riferimento alla figura, e tenendo conto della proprietà delle proporzioni:

${\frac {a}{b}}={\frac {c}{d}}\Longrightarrow {\frac {a}{b}}={\frac {c}{d}}={\frac {a-c}{b-d}}$

possiamo infine scrivere che:

${\frac {\triangle AOC}{\triangle OBC}}={\frac {AF}{FB}}.$

Ragionando in modo analogo per i lati $BC$ e $CA$ scriveremo anche le proporzioni:

${\frac {\triangle BOA}{\triangle AOC}}={\frac {BD}{DC}}{\text{ e }}{\frac {\triangle CEO}{\triangle EAO}}={\frac {CE}{EA}}$.

Possiamo utilizzare quanto dimostrato fin ora per riscrivere la formula iniziale:

${\frac {\triangle AOC}{\triangle OBC}}\cdot {\frac {\triangle BOA}{\triangle AOC}}\cdot {\frac {\triangle OBC}{\triangle BOA}}=1.$

Come volevasi dimostrare, tale espressione è uguale a $1$ in quanto ogni termine compare una volta a numeratore ed una a denominatore.

Forma trigonometrica

La formula del teorema può essere scritta in una forma trigonometrica equivalente:

${\frac {\sin \angle BAD}{\sin \angle CAD}}\cdot {\frac {\sin \angle CBE}{\sin \angle ABE}}\cdot {\frac {\sin \angle ACF}{\sin \angle BCF}}=1.$

Una possibile dimostrazione di ciò avviene attraverso il teorema dei seni.

Voci correlate

• Ceviana
• Teorema di Menelao

Altri progetti

Altri progetti

• Wikimedia Commons

• Wikimedia Commons contiene immagini o altri file su teorema di Ceva

Collegamenti esterni

• Dimostrazione e conseguenze del teorema, su lorenzoroi.net.