Posté par
puisea puisea 
Bravo à tous, pour vos réponses, très peu de fautes, vous êtes vraiment très fort

!!!
Bon voici le raisonnement traduit en latex pour vous, bien que certains d'entres vous ont développé très bien

:
Notons F le projeté de D sur (AB).
Un petit coup de Pythagore dans le triangle EBC nous donne

Les triangles DEF et BCE sont semblables, car tous les angles sont égaux (pour s'en persuader, on peut utiliser le sinus et le cosinus de l'angle 'C' dans EBC pour trouver ECB=30° donc BEC=60°... donc DEF=30° et FDE=60°)
On a donc: DF/DE=EB/EC (c'est d'ailleurs cos(EDF)=cos(BEC)). On en tire DE=2DF
Le parallelisme de (DF) et (CB) nous permet d'utiliser le théorème de thalès pour ecrire: AD/AC=DF/CB soit encore après simplification:
On y injecte DE=2DF pour obtenir :
Dans le triangle DEC rectangle en E, pythagore nous permet d'établir:

soit:

. Or, DE est déterminé en fonction de a, après simplifications on obtient l'équation

Or -2 est racine "évidente" de cette équation... qui devient
=0)
a étant positif (c'est une longueur) on a donc
PS : moor31, si tu veux mon avis arrête de dire à chaque fois "trop simpl" ou encore "ca m'a pris cinq minutes" car les deux fois où tu as mis ca, tu as eu faux alors arrête un peu de prendre ca avec facilité...
Je dépose de suite une nouvelle énigme
