>>123
角ADCが180°-θとなるんですね、
でもそれだけだと三角形2つに分けて考えても
余弦定理が使えない…。