$cot A + cot B + cot C = \sqrt 3$ Monday, January 17, 2022 Remark: The short method is to just put 60 degree for A, B & C each and check for equilateral first.