| =−1(1−cos2A)+cos‌C(cos‌A‌cos‌B+cos‌C)+cos‌B(cos‌A‌cos‌C+cos‌B) =−1+cos2A+2‌cos‌A‌cos‌B‌cos‌C+cos2C+cos2B =−sin2A+cos2B+cos2C+2‌cos‌A‌cos‌B‌cos‌C Clearly, Δ>0 ⇒ System of equations has a non-zero solution.