Lemma 9 Let . We have
Solution
Proof: By the definition of (Equation (33)), we have
By making the integer variable substitution , the above equation becomes
The last step uses Equation (38). This thus proves Equation (39).
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.