Bunun yanıtı kolay.
a<b⇒2a<a+b⇒a<a+b2a<b⇒a+b<2b⇒a+b2<b}⇒a<a+b2<b
olduğundan
x:=a+b2 almak yeterli olacaktır. Ayrıca toplama ve çarpma R üzerinde birer işlem olduğundan x∈R olduğu açık.
Sorun tam olarak bu mu? Yoksa şunu mu sormak istemiştin?
a,b∈R olmak üzere a<b⇒(∃x∈Q)(a<x<b).