>>294
cosCだしてCD=xとして
直角三角形ADCにたいして
余弦定理を使う