Annahme a<b und a und b in Q
y = a + (b-a)/√2
a < a + (b-a)/√2 stimmt, da b-a > 0
a + (b-a)/√2 < b stimmt, weil a + (b-a) = b und (b-a)/√2 < b-a
Somit liegt y zwischen a und b.
y= a + (b-a)/√2 = a + √2*(b-a)/2
Da √2 nicht in Q ist, aber a und (b-a)/2 in Q liegen, ist √2(b-a)/2 irrational
und dann auch a + √2(b-a)/2
Vielleicht musst du noch die eben verwendeten Rechenregeln beweisen oder beweisen, dass √2 irrational ist. Kommt drauf an, was ihr im Unterricht schon gelernt habt.