結果 : prove tan pi 2 x )= cotx