次に線分の中点をとする. 中線連結定理から
ここで
が示された. についても同様に示される.
したがって 点は点を中心とする半径1の円の周または内部にある. 同様に,点は点と点を中心とする 2つの半径1の円の,それぞれの周または内部にある.
ところがPQR の外接円の半径が1なので, 3点 を中心に半径1の3つの円を描いたとき, それぞれの円の周と内部の共通部分は外接円の中心のみである. したがって である.
次に,このとき
解2