結果 : prove that tan inverse x is equal to cot inverse 1 by x