pの2次方程式を解くと
p=q*(n+√(n^2-4))/2
2p=q*(n+√(n^2-4))
√(n^2-4)が有理数でないことが示せればいいのかなぁ、よくわからんけど。