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