Difference between revisions of "Sum of squares of delta cosine and delta sine"

Proposition: The following formula holds: $$\cos_p^2(t,t_0)+\sin_p^2(t,t_0)=e_{\mu p^2}(t,t_0),$$ where $\cos_p$ denotes the $\Delta\cos_p$ function and $\sin_p$ denotes the $\Delta\sin_p$ function.