Der Punkt C eines Dreiecks ABC liegt genau dann auf dem Kreis mit dem Durchmesser AB, wenn das Dreieck rechtwinklig bei C ist.