Centre de gravité et triangles semblables
Bonjour,
Je propose ce problème.
Soit $ABC$, $A'$ sur $BC$, $B'$ sur $CA$, et $A'$ sur $BC$. On suppose que les céviennes $AA', BB', CC'$ sont concourantes en $M$.
Montrer que si les triangles $ABC$ et $A'B'C'$ sont semblables, alors le point $M$ est le centre de gravité du triangle $ABC.$
Je propose ce problème.
Soit $ABC$, $A'$ sur $BC$, $B'$ sur $CA$, et $A'$ sur $BC$. On suppose que les céviennes $AA', BB', CC'$ sont concourantes en $M$.
Montrer que si les triangles $ABC$ et $A'B'C'$ sont semblables, alors le point $M$ est le centre de gravité du triangle $ABC.$
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Soient $a,b,c,m,a',b',c'$ les affixes respectives des points $A,B,C,M,A',B',C'$.
Soit $\alpha, \beta, \gamma$ un système de coordonnées barycentriques de $M$ relativement à $A,B,C$.
Alors : $m= \frac {\alpha a +\beta b+\gamma c}{\alpha +\beta +\gamma }$, et $a'= \frac {\beta b+\gamma c}{\beta +\gamma }$, etc. On écrira : $ \frac {c' - a'}{b'-a'}=\frac {c - a}{b-a}$, et on verra.
Je poste sans achever les calculs pour ne pas me faire griller par des gens plus doués ;-).
Bonne journée.
Fr. Ch.
$\iff \dfrac{-\alpha}{1-\alpha}ab + \dfrac{\alpha}{1-\alpha}ac + \dfrac{\beta}{1-\beta}.b^2 - \dfrac{\beta}{1-\beta}.bc = \dfrac{-\beta}{1-\beta}.ba + \dfrac{\beta}{1-\beta}.b^2 +\dfrac{\gamma}{1-\gamma}.ca - \dfrac{\gamma}{1-\gamma}.cb$
$\iff \dfrac{-\alpha}{1-\alpha}ab + \dfrac{\alpha}{1-\alpha}ac - \dfrac{\beta}{1-\beta}.bc +\dfrac{\beta}{1-\beta}.ba -\dfrac{\gamma}{1-\gamma}.ca + \dfrac{\gamma}{1-\gamma}.cb = 0$
$\iff \dfrac{\beta}{1-\beta}.ba - \dfrac{\alpha}{1-\alpha}ab + \dfrac{\alpha}{1-\alpha}ac- \dfrac{\gamma}{1-\gamma}.ca +\dfrac{\gamma}{1-\gamma}.cb - \dfrac{\beta}{1-\beta}.bc = 0$
$\iff \dfrac{(\beta - \alpha)}{(1-\beta)(1-\alpha)}.ba + \dfrac{(\alpha - \gamma)}{(1-\alpha)(1 - \gamma)}ac+\dfrac{(\gamma - \beta)}{(1-\gamma)(1- \beta)}.bc = 0$
$\iff \dfrac{(\beta - \alpha)(1 - \gamma)}{(1-\beta)(1-\alpha)(1 - \gamma)}.ba + \dfrac{(\alpha - \gamma)(1-\beta)}{(1-\alpha)(1 - \gamma)(1-\beta)}ac+\dfrac{(\gamma - \beta)(1 - \alpha)}{(1-\gamma)(1- \beta)(1 - \alpha)}.bc = 0$
d'où:
$ (\beta - \alpha)(1 - \gamma).ba + (\alpha - \gamma)(1-\beta).ac+ (\gamma - \beta)(1 - \alpha).bc = 0$
Or $\alpha + \beta + \gamma = 1.$ Donc, on obtient :
$ (\beta - \alpha)(\beta + \alpha).ba + (\alpha - \gamma)(\alpha + \gamma).ac+ (\gamma - \beta)(\gamma + \beta).bc = 0$
ce qui conduit à :
$ (\beta^2 - \alpha^2).ba + (\alpha^2 - \gamma^2).ac+ (\gamma^2 - \beta^2).bc = 0.$
Ensuite, on a :
$ (-\gamma^2 + \beta^2 - \alpha^2 + \gamma^2).ba + (\alpha^2 - \gamma^2).ac+ (\gamma^2 - \beta^2).bc = 0$
$\iff -(\gamma^2 - \beta^2).ba - (\alpha^2 - \gamma^2).ba + (\alpha^2 - \gamma^2).ac+ (\gamma^2 - \beta^2).bc = 0$
$\iff (\gamma^2 - \beta^2)b(c-a) + (\alpha^2 - \gamma^2)a.(c - b) = 0.$
Il faut montrer que $\gamma^2 - \beta^2 = 0$ et de même $\alpha^2 - \gamma^2=0$ et ensuite conclure que $\alpha = \beta = \gamma = \dfrac{1}{3}.$
Cordialement, Pierre.
Soient $\alpha,\beta,\gamma$ réels tels que $\overrightarrow{MA'}=\alpha\overrightarrow{MA}$, etc. On montre d'abord que $\alpha=\beta=\gamma$.
Soient $B''$ et $C''$ tels que $\overrightarrow{MB''}=\dfrac{\beta}{\alpha}\overrightarrow{MB}$ et $\overrightarrow{MC''}=\dfrac{\gamma}{\alpha}\overrightarrow{MC}$. Alors $ABC$ et $AB''C''$ sont directement semblables. Autrement dit, la similitude $s$ de centre $A$ qui envoie $B$ sur $C$ envoie $B''$ sur $C''$.
Or, $s(B'')\in s(MB)$, et la droite $(MB)$ fait un angle $(AB,AC)$ avec la droite $(MB)$, donc n'est pas parallèle à $(MC)$ puisque $A,B,M,C$ ne sont pas cocycliques. Donc $s(B'')$ est l'unique point d'intersection entre $s(MB)$ et $(MC)$.
Or, $s(B)=C$ donc $C$ est ce point d'intersection, d'où $s(B'')=C$ et finalement $B=B''$ et $C=C''$, ce qui prouve bien que $\alpha=\beta=\gamma$.
Revenons au problème. On a $\dfrac{MA'}{MA}=\dfrac{MB'}{MB}=\dfrac{MC'}{MC}$ d'après ce qui précède.
Soient $a,b,c$ tels que $M$ soit le barycentre de $(A,a)$, $(B,b)$ et $(C,c)$. Les égalités précédentes sont équivalentes à $\dfrac{a}{b+c}=\dfrac{b}{c+a}=\dfrac{c}{a+b}$, donc à $a=b=c$, ce qui prouve que $M$ est bien le centre de gravité de $ABC$.
Une petite remarque:
Semblable donne le choix entre directement semblable et indirectement semblable au cas où on l'aurait oublié depuis que le groupe des similitudes planes s'est fait la malle.
Heureusement il n'existe pas de triangle inscrit indirectement semblable au triangle $ABC$, à tout hasard pourquoi?
Par contre les triangles inscrits directement semblables forment une $FLTI$ et on est ainsi ramené à résoudre un problème un peu plus général dans le plan affine, chercher parmi les triangles d'une $FLTI$ ceux qui sont céviens!
Amicalement
[small]p[/small]appus
Le problème de Bouzar est mal posé.
Le triangle $A'B'C'$ est inscrit avec $A'$ situé sur la droite $BC$, $B'$ sur la droite $CA$ et $C'$ sur la droite $AB$.
Amicalement
[small]p[/small]appus
Une petite figure pour faire avancer le schmilblik et montrer la difficulté du problème.
On y voit un triangle inscrit $A'B'C'$ directement semblable au triangle $ABC$.
J'ai tracé le lieu du point $\alpha =BB'\cap CC'$.
Soit $A''$ le symétrique du point $A$ par rapport à la médiatrice de $BC$.
Le lieu de $\alpha$ est la conique $\Gamma_A$ tangente aux droites $A''B$ et $A''C$ respectivement aux points $B$ et $C$ et passant par le centre de gravité $G$.
On définit de même les lieux des points $\beta=CC'\cap AA'$ et $\gamma=AA'\cap BB'$ qui sont respectivement les coniques $\Gamma_B$ et $\Gamma_C$
Il n'y a plus qu'à regarder l'intersection $\Gamma_A\cap \Gamma_B\cap \Gamma_C$.
Pour le moment je n'ai pas tracé les coniques $\Gamma_B$ et $\Gamma_C$.
Amicalement
[small]p[/small]appus
C'est la figure finale......
Amicalement
[small]p[/small]appus
PS
Il reste à comprendre pourquoi il n'existe pas de triangles inscrits indirectement semblables au triangle $ABC$.
Pappus wrote : "Il reste à comprendre pourquoi il n'existe pas de triangles inscrits indirectement semblables au triangle $ABC$"
$f$ étant une application affine transformant $ABC$ en un triangle inscrit, on a tr$\overrightarrow{f}=-1$. Si $f$ était une similitude indirecte, on aurait tr$\overrightarrow{f}=0$.
Une autre façon de voir les choses : les points de Miquel de $2$ triangles inscrits indirectement semblables sont inverses par rapport au cercle circonscrit $\left( O\right) $. Or, le point de Miquel des triangles inscrits directement semblables à $ABC$ est le point $O$.
Amicalement. Poulbot
Effectivement, si $ABC$ est obtusangle, il existe deux points $M$ autres que $G$ dont le triangle cévien est semblable à $ABC$.
Plus précisément, le cercle circonscrit $\left( O\right) $ et sa droite transformée isotomique ont $2$ points communs ssi $ABC$ est obtusangle et les triangles céviens de ces $2$ points sont alors semblables à $ABC$.
C'est le cas où les coniques de Pappus ont $3$ points communs. Je ne souviens pas où j'avais vu cela.
Bien cordialement. Poulbot
Voici en rouge la jolie construction de Poulbot, (qui nous étonnera toujours), dans le cas où $ABC$ est obtusangle.
J'ai la vague impression qu'on en a déjà parlé dans le passé dans le cadre de la recherche des triangles céviens d'une $FLTI$.
Amicalement
[small]p[/small]appus
J'ai modifié mon message après avoir constaté que la droite joignant les $2$ solutions n'était autre que l'isotomique du cercle circonscrit.
Rappel : $G^{\prime }$ est l'inverse de $G$ par rapport au cercle d'Euler
Amicalement. Poulbot
Il suffit en fait de prouver que la conique $\Gamma _{A}$ de Pappus a pour équation barycentrique $a^{2}yz+b^{2}zx+c^{2}xy-x\left( a^{2}x+b^{2}y+c^{2}z\right) =0$.
Ainsi, les points communs aux coniques $\Gamma _{A},\Gamma _{B},\Gamma _{C}$ (il y en a au plus $3$) sont $G$ et les points communs au cercle $\left( O\right) $ et à la droite d'équation $a^{2}x+b^{2}y+c^{2}z=0$.
Amicalement. Poulbot
Deux petites questions subsidiaires:
1° Que devient la configuration dans le cas du triangle rectangle?
2° Dans le cas du triangle obtusangle, montrer que les deux triangles céviens solutions, autres que le triangle médial, sont isométriques.
Amicalement
[small]p[/small]appus
Plongeons ce problème dans un contexte plus général. On se donne un triangle de référence $ABC$ ainsi que $P$, un point générique du plan. Et on se demande quels sont les points $P_{j}$ dont le triangle cevien est semblable au triangle cevien de $P$.
\def\slov{\mathcal{S}} \def\equi{\mathcal{E}} \def\pilpt{\Omega} \def\umbx{\Omega_{x}} \def\umby{\Omega_{y}} \def\coni{\mathcal{C}}\def\tri#1{\mathcal{T}_{#1}} \def\trim#1{\boxed{\mathcal{T}_{#1}}}
$ $\tri P=P_{a}P_{b}P_{c}$ son triangle cevien. Les trois droites $A\wedge\overrightarrow{P_{c}-P_{b}}$ déterminent un triangle $A_{x}B_{x}C_{x}$, circonscrit au triangle $ABC$ et semblable au triangle $\tri P$.
$\,$
$\,$
$\,$
$\,$
$\,$
$\,$
$\,$
Cordialement, Pierre.