Wenn einer der Innenwinkel des Dreiecks ein
rechter Winkel ist, dann hat man ein rechtwinkliges Dreieck.
Um zu prüfen, ob der Winkel im Eckpunkt A des Dreiecks
90° beträgt, bestimme man den Mittelpunkt M der Seite BC
und schlage mit dem Zirkel einen Kreis um M mit dem Radius
=Strecke AM. Geht die Kreislinie durch B und C, so ist der
Winkel bei A ein rechter Winkel (Satz von Thales).
Das ist eine Überprüfung einer geometrischen Gegebenheit
mit Zirkel und Lineal im klassischen Sinne.