En base a lo anterior, nótese que:
\( \[\begin{array}{*{20}{c}}
{\sin p = \sin q}& \Leftrightarrow &{\sin p - \sin q = 0}\\
{}& \Leftrightarrow &{2\sin \left( {\dfrac{{p - q}}{2}} \right)\cos \left( {\dfrac{{p + q}}{2}} \right) = 0}\\
{}& \Rightarrow &{\begin{array}{*{20}{c}}
{\sin \left( {\dfrac{{p - q}}{2}} \right) = 0}& \vee &{\cos \left( {\dfrac{{p + q}}{2}} \right) = 0}
\end{array}}
\end{array}\] \)
Ahora, nos preguntaremos lo siguiente:
¿En qué ángulos el seno se hace 0? ¿y en qué ángulos ocurre lo mismo con el coseno?
Recordemos pues la circunferencia trigonométrica: Si el punto \( P(\cos x, \sin x) \) recorre toda la circunferencia, veremos que los valores notables se dan en los puntos \( (1,0) \) ; \( (0,1) \) ; \( (-1,0) \) y \( (0,-1) \), que son respectivamente cuando x vale \( \displaystyle\frac{\pi}{2} \), \( \pi \), \( \displaystyle\frac{3\pi}{2} \) y \( 2\pi \). Los casos a observar son los siguientes:
\( \[x = \dfrac{\pi }{2} \Rightarrow \begin{array}{*{20}{c}}
{\cos x = 0}& \wedge &{\sin x = 1}
\end{array}\] \)
\( \[x = \pi \Rightarrow \begin{array}{*{20}{c}}
{\cos x = - 1}& \wedge &{\sin x = 0}
\end{array}\] \)
\( \[x = \dfrac{{3\pi }}{2} \Rightarrow \begin{array}{*{20}{c}}
{\cos x = 0}& \wedge &{\sin x = - 1}
\end{array}\] \)
\( \[x = 2\pi \Rightarrow \begin{array}{*{20}{c}}
{\cos x = 1}& \wedge &{\sin x = 0}
\end{array}\] \)
En particular:
\( \[\begin{array}{*{20}{c}}
{\sin x = 0}& \Leftrightarrow &{x = k\pi }
\end{array}\] \) con \( k \in \mathbb{Z} \)
\( \[\begin{array}{*{20}{c}}
{\cos x = 0}& \Leftrightarrow &{x = \dfrac{\pi }{2} + k\pi }
\end{array}\] \) con \( k \in \mathbb{Z} \)
Volviendo al problema, se tiene que:
\( \[\sin \left( {\dfrac{{p - q}}{2}} \right) = 0 \Rightarrow \dfrac{{p - q}}{2} = k\pi \Rightarrow p - q = 2k\pi \] \)
\( \[\cos \left( {\dfrac{{p + q}}{2}} \right) = 0 \Rightarrow \dfrac{{p + q}}{2} = \dfrac{\pi }{2} + k\pi \Rightarrow p - q = \pi + 2k\pi = \left( {2k + 1} \right)\pi \] \)
Ahora, el otro caso a analizar sería el siguiente:
\( \[\begin{array}{*{20}{c}}
{\cos p = \cos q}& \Leftrightarrow &{\cos p - \cos q = 0}\\
{}& \Leftrightarrow &{2\sin \left( {\dfrac{{p + q}}{2}} \right)\sin \left( {\dfrac{{p - q}}{2}} \right) = 0}\\
{}& \Rightarrow &{\begin{array}{*{20}{c}}
{\sin \left( {\dfrac{{p + q}}{2}} \right) = 0}& \vee &{\sin \left( {\dfrac{{p - q}}{2}} \right) = 0}
\end{array}}
\end{array}\] \)
De esto:
\( \[\sin \left( {\dfrac{{p \pm q}}{2}} \right) = 0 \Rightarrow \dfrac{{p \pm q}}{2} = k\pi \Rightarrow p \pm q = 2k\pi \] \)