Перепишите уравнение в виде

. Возьмите в качестве

целую часть неотрицательного корня квадратного уравнения

. Тогда будет

и затем

.
Да, есть нюанс. Всё это хорошо на бумаге. Но если работа лабораторная, то предполагается, наверное, программная реализация. Тогда нельзя быть уверенным в том, что взятие целой части будет корректно работать в граничных случаях, когда значение корня окажется целым (т.е. в случаях

). Поэтому после вычисления

надо проверить подстановкой, выполняется ли исходное соотношение -- и если нет, то просто увеличить

на единицу и пересчитать

. (Можно и короче, но так логически проще.)