正弦定理を利用して、辺BCの長さを求める。
正弦定理とは、三角形ABCにおいて、a, b, cをそれぞれの角A, B, Cの対辺の長さ、Rを外接円の半径とすると、
sinAa=sinBb=sinCc=2R が成り立つという定理である。
今回は、角Aの対辺の長さBCを求めたいので、正弦定理の
sinABC=2R を用いる。
問題文より、A=45∘, R=4 なので、 sin45∘BC=2×4 sin45∘=22 を代入して、 22BC=8 両辺に22をかけて、 BC=8×22 BC=42