triangle DEF rectangle en D
ce n'est pas tan D qui vaut 1 (puisque l'angle est droit et que la tangente d'un angle de 90° n'est pas définie)
Il s'agit donc de tanE ou tanF qui vaut 1
On choisit
tan F = 1
dans le triangle rectangle la tangente d'un angle est égale au rapport du côté opposé au côté adjacent à cet angle
tan F = ED / DF
puisque tanF vaut 1 alors ED / DF = 1 et ED = DF
les côtés de l'angle droit sont égaux
Le triangle est rectangle isocèle (les angles aigus valent 45°)
