Développement : Théorème de Pascal (par le birapport)

Détails/Enoncé :

Soit $\varphi$ une homographie de $P^1(K)$ qui n'est pas l'identité. Il y a équivalence entre

$\varphi$ est une involution

$\varphi$ est de trace nulle

Il existe $p \in P^1(K)$ tel que $\varphi(p) \not= p$ et $\varphi^2(p) = p$.

Versions :