{(17+12√2)^n+(17-12√2)^n}/2 -1は、ｎが自然数ならいつでも平方数になることを証明してください。