premier bidule
un truc hyper utile en géométrie et pourtant très simple
démontrer que
pour
et démontrer que
lorsque
lorsque
démo ->
en utilisant la formule trigo
alors
on obtiens l'équivalence logique
il résulte que l'on obtiens les deux équivalences logiques
et selon
et donc les racines
et selon
et donc les racines
de sorte que
pour
pour
-----------------------------------------------------------------------------------------------------------------
deuxième bidule
pas de démo ici mais elle est très simple à réaliser grâce à la première démo
dont les éléments sont des applications
ces applications telles qu'en se donnant
résolution des éléments de
avec les applications de classe
définies selon
avec l'application
et les valeurs: