Thread: Constructive Proof Homework

I need help proving the following:

If p and q are rational numbers with p<q, then there exists a rational number x such with p<x<q.

Thanks in advanced. It is a constructive proof.

Originally Posted by eg37se

I need help proving the following:

If p and q are rational numbers with p<q, then there exists a rational number x such with p<x<q.

Thanks in advanced. It is a constructive proof.

hint: the average of two rational numbers is also a rational number..

I love you.