In the normal mathematical induction you are assuming the statement P is true for some value, say k, that is P(k) is true. Then you try to manipulate P(k+1) to something that will use P(k). That is, when considering P(k+1), you are falling back to P(k). In strong mathematical induction you are assuming that the statement is true for all values up to k. This is useful in cases where you don't know which value you are going to have to fall back on. Since you have been told to use strong mathematical induction, assume that the statement is true for all integer powers up to and including "n". Then consider n+1 and try to fall back on an arbitrary, small case.
OK, so does this make sense:
if n=1, x^2+y^2=z^n is true for x=1, y=2 and z=5
If n=2, x^2+y^2=z^n is true for x=3, y=4 and z=5
We assume that this property is true for n=k and all integers less than k
If we test n=k+1,
(x^2+y^2)/z^k must be an integer because z is an integer.
As z is a divisor of z^k, z must also be a divisor of x^2+y^2
Hence there exists positive integers for which x^2+y^2=z^n for all positive integers of n
I thin you are assuming the conclusion in this line " must be an integer because is an integer.".
This is my initial idea of a proof:
by the inductive hypothesis. Now if is a square, then for some . Then and the proof is complete. However there is a big problem with this. Can you find it? I think that if you find what is wrong with this proof, you will get a better idea of how to do your proof.