Results 1 to 4 of 4

Math Help - Sum of a sum.

  1. #1
    Member
    Joined
    Feb 2009
    Posts
    138

    Sum of a sum.

    Hi:
    I want to prove the following identity: \sum_{i=0}^{m}\sum_{j=0}^{i}f(i,j)=\sum_{j=0}^{m}\  sum_{i=j}^{m}f(i,j). I can see this seems to be true tabulating the values of i and j thus:

    i j
    -------
    0 0
    1 0,1
    ... ....
    m 0,1,2,...,m

    And now, instead of adding over the rows, I can add over the columns. However, I cant prove the identity. Any help will be welcome. Regards.

    Note: the table lends itself to the proof. But I'd like to prove the identity by, for instance, manipulating the limits and indexes of the sums or, not so nice, by induction.
    Last edited by ENRIQUESTEFANINI; November 22nd 2009 at 04:58 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by ENRIQUESTEFANINI View Post
    Hi:
    I want to prove the following identity: \sum_{i=0}^{m}\sum_{j=0}^{i}f(i,j)=\sum_{j=0}^{m}\  sum_{i=j}^{m}f(i,j). I can see this seems to be true tabulating the values of i and j thus:

    i j
    -------
    0 0
    1 0,1
    ... ....
    m 0,1,2,...,m

    And now, instead of adding over the rows, I can add over the columns. However, I cant prove the identity. Any help will be welcome. Regards.

    Note: the table lends itself to the proof. But I'd like to prove the identity by, for instance, manipulating the limits and indexes of the sums or, not so nice, by induction.

    Perhaps the simplest way to do it is to open up of the sides, using distributivity and associativity, and obtain the other side:

    \sum_{i=0}^{m}\sum_{j=0}^{i}f(i,j)= f(0,0)+\left[f(1,0)+f(1,1)\right]+\left[f(2,0)+f(2,1)+f(2,2)\right]+ ...+\left[f(m,0)+f(m,1)+...+f(m,m)\right]=

    [f(0,0)+f(1,0)+...+f(m,0)]+[f(1,1)+f(2,1)+...+f(m,1)]+...+f(m,m) =\sum_{j=0}^{m}\sum_{i=j}^{m}f(i,j) Q.E.D.

    Tonio
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Math Engineering Student
    Krizalid's Avatar
    Joined
    Mar 2007
    From
    Santiago, Chile
    Posts
    3,654
    Thanks
    13
    or note that first sum assumes that 0\le i\le m and 0\le j\le i, so putting these together we get 0\le j\le i\le m thus 0\le j\le m and j\le i\le m.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Feb 2009
    Posts
    138
    Thank you very much and regards.
    Enrique.
    Follow Math Help Forum on Facebook and Google+

Search Tags


/mathhelpforum @mathhelpforum