無理数が存在しないことを証明したんだが・・・

[0028 １３２人目の素数さん 2018/12/05(水) 19:23:36.22 ID:pJDGj9xM]

x^2 - 2 =0に解が存在すること、
その解が有理数と演算できることって
どうやって証明できるの？