直角 ⇒ C 在以斜边为直径的圆上（Thales 圆的逆）

依赖：直径所对 = 90°、邻补角和等于 180°、过直线外一点存在唯一平行线（Playfair）。

陈述

设 $\triangle ABC$ 中 $\angle ACB = 90^\circ$。则 $C$ 落在以斜边 $AB$ 为直径的圆 $\odot O$ 上，其中 $O$ 是 $AB$ 的中点；从而

换句话说，"$\angle C = 90^\circ$" 与 "$C$ 在以 $AB$ 为直径的圆上" 互为充要条件——这正是 Thales 圆 那条定理的逆命题。