Для того чтобы дробь (n^2 - n + 3) / (n + 1) была целым числом, необходимо, чтобы числитель делился нацело на знаменатель.
Рассмотрим числитель (n^2 - n + 3) как квадратное уравнение вида ax^2 + bx + c. В данном случае a=1, b=-1, c=3. Для того чтобы это уравнение имело корни, дискриминант должен быть неотрицательным: D=b^2 - 4ac >= 0. Подставляя в формулу дискриминанта значения a, b, c, получаем: (-1)^2 - 413 >= 0, что равно 1 - 12 = -11, что меньше нуля. Значит, уравнение n^2 - n + 3 не имеет целых корней.
Следовательно, дробь (n^2 - n + 3) / (n + 1) не будет целым числом при любом целом значении n.