la quadrilatere oikj a 3 angles droits.
si un quadrilatere a 3 angles droits, alors c'est un rcarre.
donc le quadrilatere oikj est un carre.
mais il y a aussi les segments io et jo qui ont la meme longueur car ce sont les rayons d'un cercle.
si un quadrilatere a ses cotes (2) de meme longueur et 3 angles droits,alors c'est un carre.
oikj est donc bien un carre.
