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