The half-角 factors cancel.
Angle chasing における三角形s BRS BRS BRS, BML BML BML, およびBKL BKL BKL (またはsine rule) gives BR/BM=cos(A/2)/cos(C/2) BR/BM=\cos(A/2)/\cos(C/2)BR/BM=cos(A/2)/cos(C/2) およびBS/BK=cos(C/2)/cos(A/2) BS/BK=\cos(C/2)/\cos(A/2)BS/BK=cos(C/2)/cos(A/2). したがって BR⋅BS=BM⋅BK BR\cdot BS=BM\cdot BK BR⋅BS=BM⋅BK. Equal tangent 長さs からB B B 翻訳: give BM=BK BM=BK BM=BK, so 積 はBK2 BK^2BK2.