If there were no rational feasible point, Fourier–Motzkin elimination over the rationals would supply rational Farkas multipliers. Casting them into the reals gives an infeasibility certificate, contradicting the real feasible point. This argument also applies to lower-dimensional feasible sets.