So k cents of postage can be made using 5 and 7 cents stamps.
I know I must prove the this is true for k ≥ 24
Mathematically, this is, "For any integer k ≥ 24, there exist non-negative integers x and y such that k = 5x + 7y." That's what I was expecting from you. That kind of statement helps clarify the goal, and also helps in stating the inductive hypothesis.
I understand that If you can do it for five consecutive values of k, say for k=24, k=25, k=26, k=27, and k=28, then you can do it for any larger value of k.
This is one good approach to the inductive step; you'll be proving this at that time. (There are, of course, others.)
So if you let P(k) denote the statement that any integer amount of postage from k to k+4 inclusive can be made using 5 and 7 cent stamps, you can prove that P(k) implies P(k+1).
So you're saying (by the word "can") that this part will be easy once you set up the inductive step, right? Or do you really mean "you have to ..."?
This is my inductive hypothesis. I am so lost when it comes to writing the aspect of the proof that comes after the hypothesis.
So, mathematically speaking, you are defining the proposition to be proved as
P(i): For integers k = i, i+1, i+2, i+3, and i+4, there exist non-negative integers x and y such that k = 5x + 7y.
Your base case then is that P(1), P(2), P(3), P(4), and P(5) are true, right?
And your inductive hypothesis is that P(k) is true, from which you want to prove that P(k+1) is true. Am I right?
At this point, you apply the reasoning that led you to say above, "
I understand that If you can do it for five consecutive values of k, say for k=24, k=25, k=26, k=27, and k=28, then you can do it for any larger value of k". What is that reasoning?