Hola a todos,
Sean \( A,B,C \) tres puntos no alineados de un plano afín. Dados \( A',B',C' \) distintos de \( A,B,C \) y pertenecientes a las rectas \( BC, CA, AB \) respectivamente. Probar que;
\( (A',B,C)\cdot{}(B',C,A)\cdot{}(C',A,B) = 1 \iff A',B',C' \) están alineados.
En primer lugar tomamos como referencial \( R=\{A,\{AB, AC\}\} \) así tenemos;
\( A = (0,0) \)
\( B = (1,0) \)
\( C = (0,1) \)
\( BC = (1,0) + <(-1,1)> \) y como \( A'\in BC \), \( A' = (1-\lambda, \lambda) \)
\( CA = (0,0) + <(0,-1)> \) y como \( B'\in CA \), \( B' = (0, -\beta) \)
\( AB = (0,0) + <(1,0)> \) y como \( C'\in AB \), \( C' =( \alpha, 0) \)
Y por último,
\( (A',B,C) = \frac{\lambda}{\lambda -1} \)
\( (B',C,A) = \frac{\beta + 1}{\beta} \)
\( (C',A,B) = \frac{-\alpha}{1-\alpha} \)
Spoiler
\( \rightarrow] \) Si \( (A',B,C)\cdot{}(B',C,A)\cdot{}(C',A,B) = 1 \rightarrow \frac{\lambda}{\lambda -1} \cdot{} \frac{\beta + 1}{\beta} \cdot \frac{-\alpha}{1-\alpha} = 1 \). Por otro lado el punto \( A' \) se puede escribir como \( (k\alpha, -k\beta) \), y sustituyendo tenemos; \( \frac{1+\beta}{1-\alpha}= 1 \) de donde \( \beta = -\alpha \). De aquí, \( C'=(-\beta,0) \), pero no consigo ver que los tres punto están alineados.
\( \leftarrow] \) Si \( A',B',C' \) están alineados existe una recta que pasa por ellos, en particular \( l = (0, -\beta) + <(\alpha, \beta)> \) y en consecuencia \( A' = (k\alpha, (k-1)\beta) \). A partir de ahí no consigo sacar el que el producto da \( 1 \).
He pensado en coger otro referencial pero creo que llegaría al mismo sitio.
Gracias de antemano.
Saludos!