結果 : cot 1 by root 3 is equal to