Deux bidules simples et très utiles en géométrie
premier bidule
un truc hyper utile en géométrie et pourtant très simple
démontrer que avec
pour et et
et démontrer que
lorsque alors
lorsque alors
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 on obtiens l'équation
et donc les racines
et selon on obtiens l'équation
et donc les racines
de sorte que
pour on obtiens avec
pour on obtiens avec et
-----------------------------------------------------------------------------------------------------------------
deuxième bidule
pas de démo ici mais elle est très simple à réaliser grâce à la première démo
est un ensemble de cardinal
dont les éléments sont des applications de classe
ces applications telles qu'en se donnant dans et tels que
résolution des éléments de
avec les applications de classe
, , et
définies selon
avec l'application
et les valeurs: selon