Bonjour
défi sur la bijection la plus "belle"
bon évidement c'est subjectif mais par exemple
des conditionnelles seraient "plus moches" qu'une longue formulation sans conditionnelles
écrire la bijection qui vous semble la plus jolie
formellement
le groupe spécial linéaire d'ordre 2 sur le corps
i.e. le groupe multiplicatif des matrices carrées d'ordre 2 dont le déterminant est 1
une relation d'équivalence définie par
si et seulement si il existe tel que pour fixé
on vérifie
_________________________
remarque
en ce qui concerne l'ensemble quotient
à chaque élément de correspond alors une unique classe que l'on peut identifier à une droite du plan affine
deux droites du plan affine et sont confondues et on peut écrire si et seulement si en écrivant leurs équations cartésiennes
et
on obtient par cette relation