Proving $\cos \theta = \sin\left(\frac{\pi}{2} - \theta\right)$ for all $\theta$ By drawing a right triangle it is obvious that $\cos \theta = \sin\left(\frac{\pi}{2} - \theta\right)$. I'm trying to prove to myself that this is true for all values of $\theta$ by following the reasoning on this page where the sine graph is inverted vertically by plugging in $-\theta$ and then shifted to the right by $\frac{\pi}{2}$ to get the cosine graph. To shift a graph to the right by $x$, don't you have to subtract $x$ from the input value?
I'm getting $\cos \theta = \sin\left(-\theta - \frac{\pi}{2}\right)$ which is of course wrong and Wolfram shows me is the vertically-inverted cosine graph.
I know this is ridiculously simple and something to do with the $-\theta$ parameter to $\sin$ meaning that a right shift then needs the shift value added, but I can't see clearly why.
 A: Alternatively, one can use
$$\sin (a-b)=\sin a \cos b - \sin b \cos a$$
Then $a=\pi/2$ and $b=\theta$,
$$\sin (\pi/2-\theta)=\sin \pi/2 \cos \theta - \sin \theta \cos \pi/2$$
$$\sin (\pi/2-\theta)=1 \cdot \cos \theta - \sin \theta \cdot0$$
$$\sin (\pi/2-\theta)=\cos \theta $$
A: Proofs are already given so I'm not giving a mathematical proof. Indeed this is not a mathematical proof because from here you can only conclude that $\sin(\frac\pi2-\theta)=\cos(\theta)$ for $\theta<\frac\pi2$.

Consider the above figure
$\sin(\frac \pi2-\theta)=\frac ah$ and $\cos(\theta)=\frac ah$
$\therefore \sin(\frac\pi2-\theta)=\cos(\theta)$
A: Let $\gamma$ denote the graph of the function $f$, hence $\gamma=\{(x,f(x))\mid x\in\mathbb R\}$. Let $a$ denote a real number and $\alpha=(a,0)$. The set $\gamma+\alpha$ is
$$
\gamma+\alpha=\{u+\alpha\mid u\in\gamma\}=\{(x+a,f(x))\mid x\in\mathbb R\}=\{(t,f(t-a))\mid t\in\mathbb R\},
$$
hence
$\gamma+\alpha$ is the graph of the function $f_a:x\mapsto f(x-a)$.
In the present case, $f(x)=-\sin(x)$, $a=+\pi/2$ (remember the shift is to the right hence $a\gt0$), hence $f_a(x)=-\sin(x-\pi/2)=\sin(\pi/2-x)$, as desired.
A: Beware that you compose $sin$ first with $t\rightarrow -t$ and then the resulting function with the right-shift $t-\frac{\pi}{2}$, so you get the desired $cos(t)=sin(-(t-\frac{\pi}{2}))=sin(\frac{\pi}{2}-t)$.
