怎么证明根号5是无理数

怎么证明根号5是无理数
通俗地说,无理数是不能化为分数的数,
严格地说,无理数就是不能写成两个整数比的数.
用反证法证明√5是无理数.
设√5不是无理数而是有理数,则设√5=p/q(p,q是正整数,且互为质数,即最大公约数是1)
两边平方,5=p^2/q^2,p^2=5q^2(*)
p^2含有因数5,设p=5m
代入(*),25m^2=5q^2,q^2=5m^2
q^2含有因数5,即q有因数5
这样p,q有公因数5,
这与假设p,q最大公约数为1矛盾,
√5=p/q(p,q是正整数,且互为质数,即最大公约数是1)不成立,
√5不是有理数而是无理数.
----------------------------------------------------
这是我网上找来的证明
但是难以理解
p^2含有因数5,设p=5m
这一步是怎么来的
----------------------------------
我用这种方法证明3是无理数
设3不是无理数而是有理数,则设3=p/q(p,q是正整数,且互为质数,即最大公约数是1)
两边平方,9=p^2/q^2,p^2=9q^2(*)
p^2含有因数9,设p=9m
代入(*),81m^2=9q^2,q^2=9m^2
q^2含有因数9,即q有因数9
这样p,q有公因数9,
这与假设p,q最大公约数为1矛盾,
3=p/q(p,q是正整数,且互为质数,即最大公约数是1)不成立,
3不是有理数而是无理数.
-------------------------------------
也成立啊