El punto de $P$ sobre el círculo unitario correspondiente a$\theta$$\langle\cos\theta,\sin\theta\rangle$. Supongamos por un momento que $P$ no está en cualquiera de los ejes de coordenadas; entonces es en la línea de $y=(\tan\theta)x=\frac{\sin\theta}{\cos\theta}x$.
El punto de $Q$ correspondiente a $\theta+\frac{\pi}2$ está en la línea perpendicular que pasa por el origen, cuya pendiente es $-\frac{\cos\theta}{\sin\theta}$. Pero $Q$ es también el punto de $\left\langle\cos\left(\theta+\frac{\pi}2\right),\sin\left(\theta+\frac{\pi}2\right)\right\rangle$, por lo que
$$\frac{\sin\left(\theta+\frac{\pi}2\right)}{\cos\left(\theta+\frac{\pi}2\right)}=-\frac{\cos\theta}{\sin\theta}\;.\tag{1}$$
Los dos lados de $(1)$ son evidentemente las dos raíces cuadradas de $\cot^2\theta$, y que tiene la propiedad adicional de que las plazas de numerador y el denominador de la suma a $1$, por lo que deben ser idénticos, excepto por el signo. Por lo tanto, cualquiera
$$\cos\left(\theta+\frac{\pi}2\right)=\sin\theta\quad\text{and}\quad\sin\left(\theta+\frac{\pi}2\right)=-\cos\theta\;,$$
o
$$\cos\left(\theta+\frac{\pi}2\right)=-\sin\theta\quad\text{and}\quad\sin\left(\theta+\frac{\pi}2\right)=\cos\theta\;,$$
y la consideración de los cuadrantes reglas de la ex. En el caso en que $P$ está en un eje de coordenadas es fácilmente manejado por separado.