半径1の円に内接する四角形ABCDにおいて、線分ACの長さを求めよ。 という問題で、AC=ADcos∠DAC+CDcos∠ACDと答えに書いてあるのですが、
何の式を利用しているのかわかりません。 余弦定理を使って解くことは出来たのですが、この式が気になって仕方ありません。どなたかよろしくお願いします。