ccc を CCC を通り ppp に平行な直線とする。選んだ BBB を ccc に正射影して B′B'B′ とする。有向直線 ccc 上に A′D→=A′B′→−A′C→\overrightarrow{A'D}=\overrightarrow{A'B'}-\overrightarrow{A'C}A′D=A′B′−A′C を満たす DDD を作図する（符号は頂点の順序に合う側を選ぶ）。A′A'A′ を通る円の構成により BC=A′CBC=A'CBC=A′C であり、平行な底辺による完成から AD=BCAD=BCAD=BC となる。従って AB+DC=2A′C=AD+BCAB+DC=2A'C=AD+BCAB+DC=2A′C=AD+BC なので接する四辺形の判定により内接円をもつ。円の交点により二解、一つ（正方形）、または解なしとなる。