△ABD\triangle ABD△ABD の余弦定理より BD2=1+a2−2acosαBD^2=1+a^2-2a\cos\alphaBD2=1+a2−2acosα。BDBDBD は角 α\alphaα の対辺なので、正弦定理より BD=2RsinαBD=2R\sin\alphaBD=2Rsinα、従って表示の RRR を得る。