# Teorema de Ceva

El teorema de Ceva, denominado también como teorema de Al-Mu'taman, es un teorema de geometría elemental. El teorema establece que dado un triángulo ABC, y los puntos D, E, y F que se encuentran sobre los lados BC, CA, y AB, respectivamente, pero no sobre los vértices, los segmentos AD, BE y CF son concurrentes o paralelos si y solo si
   ${\frac {AF}{FB}}\cdot {\frac {BD}{DC}}\cdot {\frac {CE}{EA}}=1,$
donde AF es la distancia entre A y F (la distancia en una dirección sobre una línea es definida como positiva, y en la dirección opuesta es definida como de signo negativo).
El teorema fue demostrado en 1678 por Giovanni Ceva en su trabajo De lineis rectis, pero con anterioridad por Yusuf Al-Mu'taman ibn Hűd, un rey de la taifa de Zaragoza del siglo XI en su obra Kitab al-Istikmal ("Libro de la Perfección"). Se desconoce si Ceva habría descubierto este teorema por cuenta propia o si habría encontrado una traducción de la obra de Al-Mu'taman.
El enunciado del teorema es muy parecido al del teorema de Menelao: sus ecuaciones difieren solamente de un signo. De hecho, en un espacio proyectivo, reescribiendo estas en términos de razones dobles, son teoremas duales. En particular, son equivalentes.

## Enunciado alternativo
### Proposición directa

Sean A, B y C los vértices de un triángulo cualquiera y L, M y N puntos en sus respectivos lados opuestos no sobre sus vértices. El teorema de Al-Mu'taman-Ceva expresa que si las rectas AL, BM y CN son paralelas o concurrentes (pasan por un mismo punto) entonces
   ${\frac {AN}{NB}}\cdot {\frac {BL}{LC}}\cdot {\frac {CM}{MA}}=1,$

### Proposición recíproca

Si en cada lado de un triángulo se escoge un punto (no coincidente con el vértice) de tal modo que el producto de las razones en que los puntos señalados dividen los lados del triángulo sea igual a 1, entonces las rectas que unen los vértices del triángulo y los puntos de lados opuestos pasan por un mismo centro (punto) o son las tres paralelas. En forma sucinta, si ${\frac {AN}{NB}}\cdot {\frac {BL}{LC}}\cdot {\frac {CM}{MA}}=1,$ entonces Al, BM, y CN pasan por el mismo punto o son paralelas.
Existe una forma trigonométrica equivalente del teorema de Ceva, que establece que, AD,BE,CF son concurrentes o paralelas si y solo si
   ${\frac {\sin \angle BAD}{\sin \angle CAD}}\cdot {\frac {\sin \angle CBE}{\sin \angle ABE}}\cdot {\frac {\sin \angle ACF}{\sin \angle BCF}}=1.$

## Demostración
### En espacios euclídeos usando áreas de triángulos

La siguiente demostración sólo es válida para espacios afines a los que podamos dotar de esctructura de espacio euclídeo (para poder definir áreas). Además, añadimos una suposición: las tres rectas $AD,BE,CF$ no son paralelas. En ese caso, la demostración siguiente no sería válida.
Hacemos en primer lugar la demostración de la implicación directa. Suponemos, por tanto, que $O=AD\cap BE\cap CF$ está bien definido (aquí usamos la suposición añadida).
En primer lugar, observamos que el lado izquierdo de la ecuación es siempre positivo, pues o las tres razones simples son positivas (si $O$ está dentro de $\triangle ABC$) o una es positiva y las otras dos son negativas (si $O$ está fuera de $\triangle ABC$). $O$ no puede estar sobre los lados del triángulo porque $D,E,F$ no están en los vértices por hipótesis.
La clave de la demostración es la siguiente observación: el área de un triángulo de altura fija es proporcional a la longitud de su base. Por tanto, tenemos las siguientes relaciones:
${\frac {|\triangle BOD|}{|\triangle COD|}}={\frac {\overline {BD}}{\overline {DC}}}={\frac {|\triangle BAD|}{|\triangle CAD|}}.$
Por tanto, manipulando algebraicamente la anterior igualdad,
${\frac {\overline {BD}}{\overline {DC}}}={\frac {|\triangle BAD|-|\triangle BOD|}{|\triangle CAD|-|\triangle COD|}}={\frac {|\triangle ABO|}{|\triangle CAO|}}.$
(Intercámbiese el signo negativo por uno positivo si $A$ y $O$ están en lados opuestos de $BC$).
Análogamente, ${\frac {\overline {CE}}{\overline {EA}}}={\frac {|\triangle BCO|}{|\triangle ABO|}},$ y ${\frac {\overline {AF}}{\overline {FB}}}={\frac {|\triangle CAO|}{|\triangle BCO|}}.$
Multiplicando las tres ecuaciones obtenemos que $\left|{\frac {\overline {AF}}{\overline {FB}}}\cdot {\frac {\overline {BD}}{\overline {DC}}}\cdot {\frac {\overline {CE}}{\overline {EA}}}\right|=1,$ como queríamos, pues ya hemos visto que el producto dentro del valor absoluto es siempre positivo.
Veamos ahora la implicación inversa, que es simplemente un corolario de la directa.Sean $D,E,F$ puntos en los lados $BC,AC,AB$, respectivamente, de forma que se cumple la igualdad. Sea $O$ el punto de intersección entre $AD,BE$, que existe por hipótesis (estas rectas no son paralelas). Sea $F'=CO\cap AB$. Sólo tenemos que ver que $F=F'$. Podemos aplicar la implicación directa para los puntos $D,E,F'$. Tenemos entonces, cancelando términos, que
${\frac {\overline {AF}}{\overline {FB}}}={\frac {\overline {AF'}}{\overline {F'B}}}$
Pero sólo un punto puede cortar un segmento en una razón determinada, por lo que $F=F'$.$\quad \square$

### Para espacios afines generales usando coordenadas

El teorema de Ceva es un enunciado afín, es decir, no es necesario utilizar los conceptos de longitud, área o ángulo ni para enunciarlo ni para demostrarlo. Por tanto, es cierto en espacios más generales en los que estos conceptos no tienen por qué estar definidos (espacios afines). En esta sección se esbozan los pasos de una demostración general que no usa esos conceptos y, además, incluye el caso en que las rectas son paralelas, que no se podía tratar con la anterior estrategia:
* Se fija una referencia baricéntrica en el triángulo $ABC$ y se calculan las coordenadas de los puntos y las ecuaciones de las rectas involucradas en esa referencia.
* Se impone que las rectas sean concurrentes o paralelas, lo que equivale a decir que el determinante formado por los coeficientes de sus ecuaciones se anule. Calculando el determinante se llega a una ecuación $(*)$.
* Se desarrolla la igualdad del enunciado teniendo en cuenta la definición afín de razón simple: ${\frac {\overline {PR}}{\overline {PQ}}}=\lambda \Leftrightarrow {\overrightarrow {PR}}=\lambda {\overrightarrow {PQ}}$ (basta calcular estos vectores y ver cuál es el coeficiente $\lambda$ en cada caso, sin calcular longitudes) y se llega a otra ecuación $(**)$.
* Se observa que $(*)$ y $(**)$ son la misma ecuación, con lo que se concluye el enunciado. $\quad \square$