Bekijk de applet.
Twee cirkels met gelijke straal snijden elkaar in de punten en .
Een lijn door snijdt de éne cirkel in en de andere cirkel in .
Bewijs dat de lijnstukken en even lang zijn.
Bewijs:
Neem . Als je kunt aantonen dat dan is gelijkbenig en is .
Nu is (stelling van de omtrekshoek). Vierhoek heeft vier even lange zijden heeft is dus een ruit (definitie ), zodat ook 1 = 2 (stelling ruit).
Er is dus een omtrekshoek met op de cirkel met middelpunt en aan de andere kant van dan , die de helft is van en dus gelijk is aan . Omdat een koordenvierhoek is, is (stelling koordenvierhoek). En dus is .
Q.e.d.
Bekijk
Teken zelf de figuur, of (nog mooier) maak hem in GeoGebra.
Loop het bewijs na, teken de bijbehorende hulplijnen.
In deze figuur is is een koordenvierhoek. Punt is het snijpunt van de lijnen en en is het snijpunt van de lijnen en .
Bewijs dat .
In een cirkel is een koorde die niet door het middelpunt van die cirkel gaat.
Bewijs met behulp van congruentie dat de lijn door en het midden van die koorde loodrecht op die koorde staat. (Dit is de helft van de stelling loodlijn op koorde.)