あれ?余弦定理1・2・√3の三角定規で使えなくね?