Когда обе координаты принадлежат Q, уже нет никаких отрезков. Их у нас и сейчас нет - уж больно они дырявые, а множество пар точек с двумя рациональными координатами есть и вовсе счётное множество точек.

Вы задачу-то решать будете? Или так и бросим?