把
用 表示,並分別討論 與 兩種情形。
先注意定義域。 這個式子要求 ,所以恆等式會有兩個分支,而在 處無話可說。
由餘角關係導出正的分支。 對 ,令 ,則 。在兩股為 與 的直角三角形中,兩個銳角互餘,而把哪一股當成「對邊」對調過來,就等於把 換成 :
看看為什麼負的分支需要不同的常數。 當 時, 與 都落在 內,所以它們的和是負的,不可能是 。正確的常數是負的那一個:
理解這個跳躍。 函數 在原點兩側各自是常數,但跨過原點時跳了 : 時取值 , 時取值 。跳躍之所以存在,是因為 arctan 的主值範圍只有 這麼寬。
在每個分支各驗一個值。 取 :,而 。取 :,而 。
Need to solve a different problem like this? Open the solver →