Pembatasan
sin:[−2π,2π]→[−1,1],cos:[0,π]→[−1,1],tan:(−2π,2π)→R
adalah bijeksi yang monoton tegas. Pemetaan inversnya ditulis arcsin, arccos dan arctan. Jadi, misalnya, y=arcsinx (x∈[−1,1]) adalah satu-satunya sudut di [−2π,2π] yang sinusnya x.
Contoh
Contoh 4.11 (Mengenali konstanta yang tersembunyi)
Pelajari g(x)=arctan1+x1−x pada (−1,+∞). Aturan rantai dan sedikit perhitungan:
g′(x)=1+(1+x1−x)21⋅(1+x)2−(1+x)−(1−x)=(1+x)2+(1−x)2−2=1+x2−1,
karena (1+x)2+(1−x)2=2+2x2. Jadi g′=−arctan′: fungsi g+arctan berturunan nol pada selang (−1,+∞), sehingga konstan di sana; nilainya di x=0 adalah arctan1+arctan0=4π. Kesimpulannya:
arctan1+x1−x=4π−arctanx(x>−1).
Pada (−∞,−1) perhitungan turunan yang sama berlaku tetapi konstantanya berbeda (−43π: hitung limitnya ketika x→−∞). Inti gagasannya: “turunan nol berarti konstan” adalah pernyataan selang demi selang — persis kehalusan yang dimanfaatkan pada Latihan 4.6 dan Latihan 4.10.
Contoh 4.14 (Melipat kembali ke selang utamanya)
Hitunglah
arctan(tan43π)danarctan(tan517π).
Resepnya: gantilah sudut itu dengan satu-satunya sudut di (−2π,2π) yang tangennya sama, yakni kurangkan kelipatan π yang tepat (yaitu periode tan). Pertama: 43π−π=−4π, jadi jawabannya −4π. Kedua: 517π−3π=52π∈(−2π,2π), jadi jawabannya 52π. Perhitungan itu sesungguhnya pembagian Euclid sudut itu oleh π yang menyamar — dan resep analognya untuk arcsin (cerminkan ke dalam [−2π,2π], dengan periode 2π) dan arccos (cerminkan ke dalam [0,π]) menggerakkan Latihan 4.1 dan jawaban sepotong-sepotong pada Latihan 4.10.
Contoh 4.15 (Menjumlahkan arkus tangen dengan aman)
Mari kita buktikan
arctan21+arctan51+arctan81=4π.
Dua bahannya: rumus penjumlahan tangen, dan — langkah yang dilupakan pemula — pelokalan jumlahnya. Pertama, tan(u+v)=1−tanutanvtanu+tanv dengan u=arctan21, v=arctan51 memberikan
tan(u+v)=1−10121+51=9/107/10=97,lalutan(u+v+arctan81)=1−72797+81=65/7265/72=1.
Kedua, masing-masing dari ketiga sudut itu terletak di (0,4π) (karena argumennya kurang dari 1), jadi jumlahnya terletak di (0,43π); satu-satunya sudut di sana yang bertangen 1 adalah 4π. Tanpa pelokalan itu kesimpulannya hanya akan berbunyi “4π sampai kelipatan π” — yaitu setengah bukti. Disiplin dua langkah yang sama menggerakkan Latihan 4.8 dan Latihan 4.12.