>>789
余弦定理からADを求めることができる