Простыми преобразованиями доказывается, что при указанных условиях а = с, b = d. Что противоречит условию неравенства для a, b, c, d. Вывод: при заданных условиях не существует рационального x такого что (см. задачу). Можно считать доказательством от противного