補助直角が仮定の 90 度回転を表す。
B と AC に関して同じ側に B' を取り、BC=B'C、角 BCB' を直角にする。与えられた角条件と長さ条件から三角形 ADB と ACB' は相似である。