CCC を通り SCSCSC に垂直な直線が直線 ABABAB と交わる点を QQQ とする。∠CHS−∠CSB=90∘\angle CHS-\angle CSB=90^\circ∠CHS−∠CSB=90∘ より ∠SQC=90∘−∠BSC=180∘−∠SHC\angle SQC=90^\circ-\angle BSC=180^\circ-\angle SHC∠SQC=90∘−∠BSC=180∘−∠SHC が分かるので、C,H,S,QC,H,S,QC,H,S,Q は直径 SQSQSQ を持つ同一円上にある。したがって三角形 SHCSHCSHC の外心 KKK はこの直径の中点であり、直線 ABABAB 上にある。