TOTAL писал(а):
А почему? Я же не утверждаю, что это корень, а только что это возможный корень, т.е. либо корень, либо не корень.
Потому что ур-ние (5) - приведённое, с натуральными коэффициентами. Поэтому возможный корень не может быть дробным(рац.).
Добавлено спустя 1 час 14 минут 23 секунды: shwedka писал(а):
Нет, потому что вы не доказали, что вообще у уравнения есть рациональные корни.
Уважаемая shwedka, посмотрите, пожалуйста, внимательно. В доказательстве от 12.05.08г. в §1 сказано, как определялся, в общем виде, возможный рациональный корень уравнения (5).
Дополнительно, 8.06 и 19.06, подробно объяснено его определение.
В системном м-ве уравнение (5) имеет рациональные корни при
В этом случае,
![$ Z_2, Z_2_p_r $ $ Z_2, Z_2_p_r $](https://dxdy-02.korotkov.co.uk/f/1/b/9/1b9dbad11f782cab666607f94c62f1f582.png)
- рациональные числа.
В бессистемном м-ве уравнение (5) не имеет рациональных корней при
![$ n =>2 $ $ n =>2 $](https://dxdy-01.korotkov.co.uk/f/4/9/2/492f03f475d25097fdda31ebefdd5acb82.png)
.
Ни в системном, ни в бессистемном множествах, при
![$ n =>3 $ $ n =>3 $](https://dxdy-04.korotkov.co.uk/f/b/9/f/b9f667a380e4aa4acc7e1610b30f1ae482.png)
,
уравнение (5) не имеет рациональных корней, что я и пытаюсь доказать.
shwedka писал(а):
Когда докажете, тогда соглашусь, с оговоркой, что этот корень зависит от
![$ X, Y, n $ $ X, Y, n $](https://dxdy-03.korotkov.co.uk/f/2/6/0/260b28504bc552de6bdbc32d6597453982.png)
. Если же Вы хотите сказать, что одно и то же, не зависящее от
![$ X, Y, n $ $ X, Y, n $](https://dxdy-01.korotkov.co.uk/f/8/d/2/8d299fba78242d70cab5bf2b7108390a82.png)
. число
![$ m_n $ $ m_n $](https://dxdy-04.korotkov.co.uk/f/f/9/a/f9a30d0f1adfa90750e2ce9fcd8e7eac82.png)
является корнем (5) для всех пар
![$ X, Y $ $ X, Y $](https://dxdy-02.korotkov.co.uk/f/1/d/2/1d24084746a74e74fb41275cea2889a082.png)
одновременно, то не соглашусь, потому что это не доказано.
В общем виде число
![$ m_n $ $ m_n $](https://dxdy-04.korotkov.co.uk/f/f/9/a/f9a30d0f1adfa90750e2ce9fcd8e7eac82.png)
является корнем (5) для всех пар
![$ X, Y $ $ X, Y $](https://dxdy-02.korotkov.co.uk/f/1/d/2/1d24084746a74e74fb41275cea2889a082.png)
. Но численное значение
![$ m_n $ $ m_n $](https://dxdy-04.korotkov.co.uk/f/f/9/a/f9a30d0f1adfa90750e2ce9fcd8e7eac82.png)
каждый раз – разное и зависит от численных значений
![$ X, Y, n $ $ X, Y, n $](https://dxdy-01.korotkov.co.uk/f/8/d/2/8d299fba78242d70cab5bf2b7108390a82.png)
.
shwedka писал(а):
Могу согласиться с такой формулировкой. Если
![$ X, Y, n $ $ X, Y, n $](https://dxdy-03.korotkov.co.uk/f/2/6/0/260b28504bc552de6bdbc32d6597453982.png)
таковы, что
![$ m_n = Y/k_n $ $ m_n = Y/k_n $](https://dxdy-03.korotkov.co.uk/f/2/a/6/2a6b91b15fce8fbd9eb1fa4712220e9582.png)
является рациональным числом, то оно является рациональным корнем уравнения (5) при этих
![$ X, Y, n $ $ X, Y, n $](https://dxdy-03.korotkov.co.uk/f/2/6/0/260b28504bc552de6bdbc32d6597453982.png)
.
Пока не доказано обратное,
![$ m_n = Y/k_n $ $ m_n = Y/k_n $](https://dxdy-03.korotkov.co.uk/f/2/a/6/2a6b91b15fce8fbd9eb1fa4712220e9582.png)
является возможным рациональным корнем уравнения (5) для любых натуральных сочетаний
![$ X, Y, n $ $ X, Y, n $](https://dxdy-01.korotkov.co.uk/f/8/d/2/8d299fba78242d70cab5bf2b7108390a82.png)
. А действительным корнем уравнения (5),
![$ m_n = Y/k_n $ $ m_n = Y/k_n $](https://dxdy-03.korotkov.co.uk/f/2/a/6/2a6b91b15fce8fbd9eb1fa4712220e9582.png)
является всегда, т.к. при подстановке такого корня в уравнение (5), левая часть этого
уравнения обращается в нуль.
Я согласен с Вашей формулировкой, как завершающей доказательство, в таком виде:
Если
![$ X, Y $ $ X, Y $](https://dxdy-02.korotkov.co.uk/f/1/d/2/1d24084746a74e74fb41275cea2889a082.png)
, при
![$ n = 2 $ $ n = 2 $](https://dxdy-01.korotkov.co.uk/f/8/6/9/869f091eb85768e1d1c69a1c2ceef80a82.png)
, таковы, что
![$ m_2 = Y/k_2 $ $ m_2 = Y/k_2 $](https://dxdy-02.korotkov.co.uk/f/5/d/4/5d47f5ecb29b45f3ec22419ff69f27fd82.png)
является рациональным числом, то оно является и рациональным корнем уравнения (5). А т.к. уравнение (5) – приведённое, то этот корень
является натуральным числом.
В этой формулировке подразумевается, что
![$ m_2 $ $ m_2 $](https://dxdy-04.korotkov.co.uk/f/7/6/c/76cf9e96979f2eba5a02e18e488bbe9e82.png)
не только корень БР, но и ПР.