AD=2RAD=2RAD=2R とおく。正弦定理より BC=2RsinABC=2R\sin ABC=2RsinA。B1C1=AA1sinAB_1C_1=AA_1\sin AB1C1=AA1sinA(第1段階)と AD⊥B1C1AD\perp B_1C_1AD⊥B1C1(第2段階)から、凸四角形 AB1DC1AB_1DC_1AB1DC1 の面積は B1C1⋅AD2=AA1sinA⋅2R2=AA1⋅BC2\frac{B_1C_1\cdot AD}{2}=\frac{AA_1\sin A\cdot 2R}{2}=\frac{AA_1\cdot BC}{2}2B1C1⋅AD=2AA1sinA⋅2R=2AA1⋅BC であり、これはまさに底辺 BCBCBC、高さ AA1AA_1AA1 から計算した三角形 ABCABCABC の面積である。