Чи завжди одне з натуральних чисел ділиться на друге?​

Y = -|2cosπx| , следует  y ≤ 0 ;
Уравнение y² +6y + (x² -2x +9) =0  можно рассматривать как квадратичное
  относительно  y ;
 D/4 = 3² -x²+2x -9 = 2x -x² ≥ 0  , т.е.  x(x-2) ≤ 0  или  x∈  [0 ;2 ].
D -Дискриминант .
y₁= - 3 - sqrt(2x -x²)  ≤  0 ⇒  sqrt(2x -x²)  ≥ -3  что верно в ОДЗ ,
т.е.  x∈  [0 ;2 ]    [ sqrt  ⇒ √ ] ;
y₂ = -3 + sqrt(2x -x²)  ≤ 0  ⇔  sqrt(2x -x²)  ≤ 3 ⇔ 0 ≤ 2x -x² ≤ 9 ⇒x² -2x +9 ≥ 0
⇔ (x-1)² +8  ≥  0        [(x-1)² +8  ≥ 8 , min =8 при x=1].
ответ :  (x ; -3 +/- sqrt(2x-x²)), x∈  [0 ;2 ].

 Заметим  что если положить к примеру  , то есть что оно четное , тогда следует что  не четные , отсюда следует что можно рассмотреть два случая , когда все нечетные , либо  когда одно число четное 
   четный случаи 
  
  , квадрат сравним по модулю  с  , то есть  при делений на  остатки равны  когда      четное и нечетное соответственно 
 но  , остаток равен  значит не может быть такого случая 
 второй когда все нечетные 
  
  остаток в этом случае равен   , что противоречит , так как остатки могут быть равны  

Значит нет таких чисел