Apostol & floor function problem

  • Thread starter Thread starter HamishMc
  • Start date Start date
  • Tags Tags
    Apostol Function
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 4K views
HamishMc
Messages
2
Reaction score
0
Hi,

I'm working through some questions in Apostol's Calculus text (vol. 1). The problem is with ex. 7 on p.64. Here, he states that

"by changing the index of summation, note that

[tex]\sum_{n=a}^{b-1} [\frac{na}{b}] = \sum_{n=a}^{b-1} [\frac{a(b-n)}{b}][\tex] "<br /> <br /> I'm comfortable with the solution from this point on. I just don't see how these two are equivalent.<br /> <br /> Any help would be appreciated!<br /> <br /> p.s. Sorry about the LaTeX not displaying properly.[/tex]
 
Last edited:
Physics news on Phys.org
HamishMc said:
Hi,

I'm working through some questions in Apostol's Calculus text (vol. 1). The problem is with ex. 7 on p.64. Here, he states that

"by changing the index of summation, note that

[tex]\sum_{n=a}^{b-1} [\frac{na}{b}] = \sum_{n=a}^{b-1} [\frac{a(b-n)}{b}][/tex] "

I'm comfortable with the solution from this point on. I just don't see how these two are equivalent.

Any help would be appreciated!

p.s. Sorry about the LaTeX not displaying properly.

Are there any specific conditions on a,b and n?

(I can't see the answer to your question; just thought I'd get the LaTex working for you!)
 
It works if you make the change of index n=b-m. Then,

[tex]\sum_{n=a}^{b-1} [\frac{na}{b}] = \sum_{m=b-a}^{1} [\frac{a(b-m)}{b}][/tex]

You can use Gauss's sum [itex]\sum_i^n i=n(n+1)/2[/itex] to show that the equality you wrote is not true unless a=1 or a=b.
 
Last edited:
cristo said:
Are there any specific conditions on a,b and n?

Thanks for the responses. The conditions are that a and b are positive integers, and that they are coprime. Sorry for not stating that at the outset.