의 외접원을 그립니다.



AB // CD 를 그립니다. 그러면

  는 등변 사다리꼴이 됩니다. 즉 대각선의 길이가 같습니다.

CD 의 길이를 cos  으로 나타내어 톨레미의 정리를 이용하면 cos 2 법칙이 유도 됩니다.