x rasyonel, y irrasyonel ise x+y nin rasyonel olduğunu gösterelim.
x+y nin rasyonel olduğunu düşünelim.
x+y=pq(p,q∈Z,q≠0) x rasyonel olduğundan x=rs(s≠0) olacak şekilde r,s∈Z vardır.
⇒ rs+y=pq⇒y=pq−rs=sp−qrqs (qs≠0) olur ki bu y nin rasyonel sayı olduğunu gösterir. Bu ise hipotez ile çelişir. Öyleyse x+y irrasyoneldir.
x rasyonel, y irrasyonel ise −y sayısı da irrasyonel olacağından x+(−y)=x−y sayısı da irrasyoneldir.
x rasyonel, y irrasyonel ise x.y sayısının da irrasyonel olduğunu gösterelimm.
Bir an için x.y nin rasyonel olduğunu düşünelim. O halde x.y=pq(q≠0) olacak şekilde p,q∈Z vardır. x rasyonel olduğundan x=rs(s≠0) olacak şekilde r,s∈Z sayılari vardır. Böylece rs.y⇒y=sprq(rq≠0) bulunur.
O halde bu ise y nin rasyonel olduğunu gösterir. Bu kabulümüz ile celişir. x.y sayısı irrasyonel bir sayıdır.