Printable View

- Sep 12th 2010, 08:24 AMShanksprove a equality
- Sep 13th 2010, 12:16 PMOpalg
Here is an outline of a proof. The full argument is quite long.

__Step 1.__If then

*Reason*: Let . Using the relations and , you can check that This is equal to because

__Step 2.__If m, n are positive integers then

*Reason*: In Step 1, let . Then .

__Step 3.__For and , Also,

*Reason*: Follows immediately from Step 2 because .

Step 4. .

*Reason*: Just add up all the relations in Step 3.

Finally, divide by to get the result.