There’s an interesting feature of trigonometric functions that I came up with while dealing with the WFM of resolvers: When a trigonometric function cos(Ax+φ) is sampled B times within x∈[0,2π) with equal time interval, the necessary and sufficient condition for the sum of N consecutive samples to be zero is that NA∣B and A∤B (A,B,N∈Z).
It is somehow intrinsic once mentioned, but it really took me a while to prove. I guess that’s a hint for me that I should never get involved in math.
Prove:
For any φ∈[0,2π):
k=0∑N−1cos(B2πkA+ϕ)=Re(ejϕk=0∑N−1ejB2πkA)=Re(ejϕ(1−e2πjBA1−e2πjBNA))
If NA∣B and A∤B, then 1−e2πjBNA=0 and1−e2πjBA=0, thus Re(ejϕ(1−e2πjBA1−e2πjBNA))≡0, and the sum of N consecutive samples is always zero.
Otherwise, if NA∤B as well as A∤B, for any ϕ that satisfies:
Re(ejϕ(1−e2πjBA1−e2πjBNA))=0⇔ejϕ(1−e2πjBA1−e2πjBNA)=±j
there is always a Δφ=nπ(n∈Z) that makes
Re(ej(ϕ+Δϕ)(1−e2πjBA1−e2πjBNA))=Re(±jejΔϕ)
=Re(±j(cosΔϕ+jsinΔϕ))=±sinΔϕ=0
which means the sum of N consecutive samples is determined by ϕ.
If A∣B, assume that A=nB(n∈Z),
k=0∑N−1cos(B2πkA+ϕ)=k=0∑N−1cos(2πnk+ϕ)=Ncosϕ
which means the sum of samples equals zero only with φ=2π or φ=23π.
Q.E.D.
Let’s say such conclusion is somehow useful. E.g., if the induced voltage of a resolver has a constant-amplitude component of:
vs=i=0∑ωt−1vsi=dtdip0i=0∑ωt−1nsinei
where nsi=Nscos(ωsθi), nei=Necos(ωeθi), and θi=ωt2πi.
What are the requirements to have vs≡0? In this example, A=ωe±ωs, B=ωt and N=ωt. So the necessary and sufficient condition will be ωe±ωs∤ωt.