La idea detrás de la prueba se basa en notar que
(a√a2+b2)2+(b√a2+b2)2=1.
Esto es análogo a la identidad pitagórica
cos2ϕ+sin2ϕ=1.
Así que para todos los valores de a y b podemos obtener una expresión que satisface (2) simplemente factorizando √a2+b2, ¿pero de qué manera será útil esto? Desde (1) y (2) podemos decir que existe un ángulo ϕ tal que
cosϕ=a√a2+b2sinϕ=b√a2+b2, o cosϕ=b√a2+b2sinϕ=a√a2+b2.
Todo esto nos permitirá transformar acosx+bsinx en una expresión de la forma
constante⋅(sinϕcosx±cosϕsinx), o constante⋅(cosϕcosx±sinϕsinx).
Estos dos resultados provienen de las fórmulas de adición de ángulos, lo que nos permitirá escribirlo en la forma rcos(ϕ±x) o rsin(ϕ′±x).
En conclusión, la prueba se reduce a determinar cómo transformar los coeficientes de cos y sin de manera que sean exactamente iguales al cos y sin de un ángulo. El resto sigue de las fórmulas de adición de ángulos.