cos : ℝ → [−1, 1]: periodicitatea, paritatea, monotonia pe intervale, mărginirea, punctele de anulare, convexitatea și restricția bijectivă pe [0, π]. Cu graficele și cu observații despre limite, continuitate și derivabilitate.

arccos : [−1, 1] → [0, π], inversa restricției cosinusului: monotonia, punctul de anulare, convexitatea și graficul. Cu limitele la capete, continuitatea, derivata −1 / √(1 − x²) și relația arcsin x + arccos x = π/2.