Law of cotangents
For the interior angles A, B, and C of a Euclidean triangle, the sum cot A cot B + cot B cot C + cot C cot A equals 1.
For the interior angles A, B, and C of a Euclidean triangle, the sum cot A cot B + cot B cot C + cot C cot A equals 1.