Les droites parallèles (RS) et (N0), coupées par la sécante (SN), forment deux angles correspondants de même mesure TS^R et TN^O.
C’est-à-dire TS^R = TN^O.
Or le triangle RST est isocèle en R donc les TS^R et RT^S sont égaux, c’est-à-dire :
TS^R = RT^S.
Ce qui implique que TN^O = RT^S.
Puisque les angles RT^S et OT^N sont opposés par le sommet donc
RT^S = OT^N.
Par conséquent. TN^O = OT^N.
Alors on a montré que dans le triangle TNO les angles TN^O et OT^O sont égaux. Ainsi le triangle TNO est isocèle en O.
