minimize cot^2x+cot^2y+cot^2z for x+y+z=pi