Sine and cosine/Monotonicity behavior/Fact

The real sine function

induces a

bijective, strictly increasing function

$[-\pi /2,\pi /2]⟶[-1,1],$

and the real cosine function induces a bijective, strictly decreasing function

$[0,\pi ]⟶[-1,1].$

Write a proof