Théorème 1

Affirmations	Justifications
OC est congru à OC	Il s’agit du même segment
AO est congru à BO	Ce sont des rayons du cercle
L’angle ACO est congru à l’angle BCO	Les deux angles sont des angles droits (par hypothèse)
Le triangle ACO est congru au triangle BCO	C-A-C
AC est congru à BC	Comme le triangle AOC est congru au triangle BOC, ses côtés homologues sont congrus