Math Is Fun Forum

I should have seen that this does not hold up for this case , I did come across the Able summation but I assumed that this would require something simpler. Could you possibly indicate a place to start from which I could prove the relation ?

Thank you for your help.

I'll write briefly what I tried for this though I am not sure how correct it will be.

I started spliting the summation

to

. I then wrote

. I made  the notation

, substituted that in and tried prove the equality.

When I tried to prove it by induction I assumed that the relation is true for

and tried to prove it for

. I made use of some of the work I have done above but sadly nothing really came out of it.

I'm quite sure I have made several mistakes and if you would be so kind as to point them out that would be great . Even more annoying is that in the places I have looked for explanations mention that this is relatively easy to do so there must be something really obvious that I keep missing.

Thank you again for your help.

Thank you very much for your help , I cold follow all of the proof now

Thank you very much for your reply , I can follow the proof easily but I sadly still have my question of "when did you know you needed to apply A1/2/3?", or do you apply them while trying to make the result match what we needed to prove ?

I'm sorry I ask so many questions and that some of them do not even make sense

That does make sense and it is easier to follow though it does not resemble the solution give by the lecturer.
This is the solution given by him :

Axiom 1

Axiom 3
Denote this formula by r

Axiom 1

2,3 Modus Ponens
Denote this by a

Axiom 2

4,5 Modus Ponens

I apologize if I missed any brackets , I tried to upload a picture of the solution but was unsuccessful.
This may sound as a silly question but how did he know when to apply Axioms ?