Khi `a` ko là SCP

giả sử `sqrta` là số hữu tỉ

`=>sqrt(a)=x/y` với `x;yinNN` và `(x,y)=1`

`=>a=x^2/y^2=>x^2=ay^2`

`=>x^2 vdots a=>x vdots a`

Đặt `x=ba` với `b inNN`

`=>x^2=a^2b^2=ay^2`

`=>y^2 vdots a=>y vdots a`  trái với giả thiết `(x,y)=1`

Do đó giả sử sai `=>ĐPCM`