1db4d332f0c03dfe3ef1dca511f11a39b6d692bee44a97f220

마지막 식은 Descartes 정리 (링크 참고)
코사인 법칙의 연립식을 일반화 한거라 보면 됨.