9は7√3/6じゃないの？俺余弦定理と正弦定理使ったんだけど。