Bonjour, dans un vrai triangle OAB rectangle en A, on prend un point B' sur [OA] (différent de O) et A' son projeté orthogonal sur (OB).
On doit montrer : OB'+AB < OB+A'B'
Cela fait un moment que je planche là dessus, pour l'instant j'ai la solution suivante : en raisonnant sur les coordonnées des points dans un repère j'arrive à une fonction de deux variables plus un paramètre, qui doit être positive ; graphiquement elle en a tout l'air mais je n'ai pas encore vu les méthodes d'analyse de ce genre de fonctions.
Donc je cherche un autre moyen pour démontrer, mais sans grand succès pour l'instant
Help!
-----