Reta de Euler Num triângulo qualquer, as três medianas concorrem num ponto (baricentro), as três mediatrizes concorrem num ponto (circuncentro) e as três alturas concorrem num ponto (ortocentro). Estes pontos, que podem coincidir ou não, são sempre colineares. Estão sobre uma reta - Reta de Euler.
PROBLEMA: Demonstrar que os ortocentro, circuncentro e baricentro estão sobre uma mesma reta.
$\;\fbox{n=1}:\;$ Considera-se um triângulo $\;[ABC]\;$ definido pelos seus vértices, os seus três lados $\; a=[BC], \; b=[AC], \; c=[AB]. \;$.
$\;\fbox{n=2}:\;$ Três pontos não colineares determinam um triângulo e também determinam a circunferência única que passa pelos três pontos e cujo centro $\;O\;$ é equidistante de $\;A, \;B, \;C, \;$ ou seja, está na perpendicular a $\;a\;$ tirada pelo seu ponto médio (mediatriz) onde estão todos os pontos equidistantes de $\;B\;$ e $\;C,\;$ na mediatriz de $\;b\;$ - pontos equidistantes de $\;C\;$ e $\;A\;$ e na mediatriz de $\;c\;$ - pontos equidistantes de $\;A\;$ e $\;B.\;$ $\;O\;$ é o ponto de encontro das mediatrizes dos lados do triângulo.
26 fevereiro 2018, Criado com GeoGebra
$\;\fbox{n=3}:\;$ Paralelas tiradas a cada um dos lados pelo vértice a ele oposto intersectam-se em $\;A',\; B',\; C',\;$ vértices do triângulo $\;[A'B'C']\;$ semelhante a $\;[ABC]\;$ já que os seus ângulos são iguais cada um a cada um:
- $\;( A'C' \parallel CA \wedge A'B' \parallel BA ) \Rightarrow \angle C'\hat{A'}B' = \angle C\hat{A}B \;$
- $\;( C'B' \parallel BC \wedge B'A' \parallel BA ) \Rightarrow \angle C'\hat{B'}A' = \angle A\hat{B}C \;$
- $\;( C'A' \parallel AC \wedge C'B' \parallel BC ) \Rightarrow \angle B'\hat{C'}A' = \angle B\hat{C}A \;$
Por isso, podemos dizer que $\;BC = B'A = AC'\;$ e, em consequência, que $\;a'=B'C'=2 \times BC = 2a.\;$ Por razões análogas, se pode afirmar que $\;b'=C'A'= 2 \times AC =2b\;$ e $\;c'=A'B'= 2 \times AB=2c.\;$
Podemos concluir que $\;[ABC] \sim [A'B'C']\; $ de razão igual a 2: $$\frac{B'C'}{BC} = \frac{C'A'}{CA}= \frac{A'B'}{AB} =2$$
$\;\fbox{n=4}:\;$ No passo anterior já ficou provado que que $\;A, \;B, \;C\;$ são os pontos médios de $\;a'=B'C',$ $\;b'=C'A',$ $\;c'=A'B'\;$ respetivamente. E, por isso, sendo as alturas de $\;[ABC]\;$ perpendiculares a $\;B'C',$ $\;C'A',$ $\; A'B'\;$ tiradas pelos seus pontos médios $\;A, \;B, C\;$ (segmentos das mediatrizes de $\;[A'B'C']\;$) que se intersectam no ponto que é o centro da circunferência $\;(A'B'C').\;$ A existência do centro de qualquer circunferência definida por 3 pontos não colineares, garante que as três mediatrizes de qualquer triângulo têm um ponto em comum e, a ser assim, podemos afirmar que as alturas de qualquer triângulo têm um ponto em comum (ortocentro), porque as retas das alturas de $\;[ABC]\;$ são as retas das mediatrizes de $\;[A'B'C'].\;$ O ortocentro $\;H\;$ de $\;[ABC]\;$ é o circuncentro de $\;[A'B'C'].\;$
$\;\fbox{n=5}:\;$ A semelhança de razão 2 entre os triângulos $\;[ABC] \sim [A'B'C']\;$ permite-nos escrever $$\frac{H_{a'}A'}{H_a A}=\frac{H_{b'}B'}{H_b B}= \frac{H_{c'}C'}{H_c C}=2$$ Como é óbvio, a semelhança entre as circunferências $\; (ABC)=(O, OA) \sim (A'B'C')=(H,HA')\;$ tem a mesma razão. E podemos escrever $$\frac{HA'}{OA}=\frac{HB'}{OB}= \frac{HC'}{OC}=2$$ Como $\;A\;$ é o ponto médio de $\;a'=B'C',\; AA'\;$ é mediana do triângulo $\;[A'B'C']\;$ e, claro!, também são suas medianas $\;BB'\;$ e $\;CC'$.
Como a mediatriz $\;OM_a\;$ é paralela à altura $\;AH_a,\;$ são semelhantes os triângulos $\;[AGH]\;$ e $\;M_aGO\;$ e como $\;AH=2OM_a,\;$ também $\;HG=2OG\;$ e $\;AG=2M_aG.\;$ E, a ser assim, então a mediana $\;AM_a\;$ corta o segmento $\;OH\;$ num ponto $\;G\;$ tal que $\;OH=3OG.\;$
Como já observámos no enunciado, há casos em que as medianas podem coincidir com as mediatrizes ou com as alturas e os pontos notáveis em causa coincidirem. Mas o raciocínio feito para uma das medianas $\;AA'\;$ pode ser repetido para $\;BB'\;$ e $\;CC'\;$ nos triângulos escalenos em que não há coincidências.
Nos triângulos equiláteros são coincidentes as medianas, mediatrizes, alturas (e bissectrizes). No triângulo isósceles em que $\;AB=AC,\;$ por exemplo, há coincidência da mediana $\;AM_a\;$ com a mediatriz de $\;BC\;$ e com a altura $\;AH_a \;$ e com a linha $\;OH.\;$ Ficou demonstrado que as três medianas de um triângulo têm um ponto em comum que designamos por $\;G\;$ e a que chamamos baricentro.
$\;\fbox{n=6}:\;$ Tendo provado que o baricentro está no segmento $\;OH\;$ damos por provado que os três pontos $\;O, \;G, \;H\;$ são colineares. À reta que passa por esses três pontos notáveis chamamos reta de Euler
de visita a uma entrada de Diamond nos gaussianos que nos lembrou a editora Nivola e o livro
Dunham. Euler: El maestro de todos los matemáticos. Nivola.
considerando uma demonstração (esta) de Gauss.
