ek+9k^2が平方数にならないことが証明できません。