Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 9 |
[ Сообщений: 81 ] | На страницу 1, 2, 3, 4, 5 ... 9 След. |
|
Автор | Сообщение | |
---|---|---|
Kombat |
|
|
Для упрощения доказательства рассмотрим уравнение теоремы для третьей степени. [math]c^3=a^3+b^3[/math] (1) Двучлен [math](a^3+b^3)[/math] в разложении имеет вид: [math]a^3+b^3=(a+b)(a^2-ab+b^2)[/math] (2) Здесь: [math]a, b[/math] – целые числа разной четности; [math]c[/math] – нечетное целое число; [math]a, b, c[/math] - взаимно простые числа. Поскольку [math]c<a+b[/math], полагаем, что: [math]c=a+b-x=(a+b)-x[/math] (3) В соответствии с уравнением (3) запишем: [math]c^3=[(a+b)-x]^3=(a+b)^3-3(a+b)^2x+3(a+b)x^2-x^3[/math] (4) Поскольку число [math]c[/math] и двучлен [math](a+b)[/math] нечетные числа, [math]x[/math] четное число. При этом: [math]x<(a+b)[/math]. Значит, четное число [math]x[/math] не делится на нечетный двучлен [math](a+b)[/math]. Отсюда следует, что и четное число [math]x^3[/math] также не делится на нечетный двучлен [math](a+b)[/math]. Значит, число [math]c^3[/math], определяемое по уравнению (4), не делится на двучлен [math](a+b)[/math]: [math]c^3=[(a+b)-x]^3\ne(a+b)(a^2-ab+b^2)[/math] (5) Поскольку двучлен [math](a^3+b^3)[/math] делится на двучлен [math](a+b)[/math], а число [math]c^3[/math] в соответствии с формулой (5) не делится на двучлен [math](a+b)[/math], значит, уравнение Великой теоремы Ферма третьей степени не имеет решения в целых числах: [math]c^3\ne a^3+b^3[/math] (6) Аналогичным образом выполняется доказательство для любого нечетного показателя степени. Примечание: число [math](a+b)[/math] не может быть простым числом, т.к. [math]c<(a+b)[/math]. Поэтому оно всегда составное, состоящее минимум из двух взаимно простых чисел. |
||
Вернуться к началу | ||
Ellipsoid |
|
|
Kombat писал(а): Поскольку c<a+b А почему это? |
||
Вернуться к началу | ||
Kombat |
|
|
Ellipsoid писал(а): Kombat писал(а): Поскольку c<a+b А почему это? Возьмите два целых числа разной четности, подставьте их в уравнение (1), определите число [math]c[/math]. Оно будет иррациональным. Но дело не в этом. Сравните его с суммой чисел [math](a+b)[/math]. Всегда выполняется соотношение [math]c<a+b[/math]. |
||
Вернуться к началу | ||
Kombat |
|
|
Соотношение между двучленом [math](a+b)[/math] и числом [math]x[/math].
[math]c>a[/math] [math]c>b[/math] [math]2c>a+b[/math] [math]c>0,5(a+b)[/math] Следовательно: [math]x<0,5(a+b)[/math] Кто пожелает опровергнуть доказательство с помощью числовых примеров, должен учитывать это соотношение. |
||
Вернуться к началу | ||
shwedka |
|
|
Kombat писал(а): четное число x x не делится на нечетный двучлен (a+b) . также не делится на нечетный двучлен (a+b) . |
||
Вернуться к началу | ||
Kombat |
|
|
shwedka писал(а): Kombat писал(а): четное число x x не делится на нечетный двучлен (a+b) . также не делится на нечетный двучлен (a+b) . Дано:[math]a+b=kmpq[/math] [math]k, m, p, q[/math] взаимно простые числа. Составьте четное число [math]x[/math], включающее все эти простые числа и удовлетворяющие условию: [math]x< 0,5(kmpq)[/math]. Если число [math]x[/math] не будет включать в своем составе все эти числа, то и после возведения его в куб оно не будет включать все эти числа. Следовательно, оно не будет делиться на [math]a+b=kmpq[/math] Элементарно! |
||
Вернуться к началу | ||
shwedka |
|
|
Kombat писал(а): взаимно простые числа. Составьте четное число x , включающее все эти простые числа и Так все же простые или взаимно простые? Или не знаете разницы? |
||
Вернуться к началу | ||
Kombat |
|
|
shwedka писал(а): Kombat писал(а): взаимно простые числа. Составьте четное число x , включающее все эти простые числа и Так все же простые или взаимно простые? Или не знаете разницы? В моем предыдущем сообщении написано: "Дано:[math]a+b=kmpq[/math] [math]k, m, p, q[/math] взаимно простые числа. Составьте четное число [math]x[/math], включающее все эти простые числа и удовлетворяющие условию: [math]x< 0,5(kmpq)[/math]". Однако: простые числа являются и взаимно простыми. Поэтому числа [math]k, m, p, q[/math] могут быть как простыми, так и составными взаимно простыми числами. Это ничего не меняет. |
||
Вернуться к началу | ||
shwedka |
|
|
Kombat писал(а): Если число x не будет включать в своем составе все эти ВЗАИМНО ПРОСТЫЕ числа, то и после возведения его в куб оно не будет включать все эти числа. И это 'если... то' Вам надо доказать. |
||
Вернуться к началу | ||
Kombat |
|
|
shwedka писал(а): Kombat писал(а): Если число x не будет включать в своем составе все эти ВЗАИМНО ПРОСТЫЕ числа, то и после возведения его в куб оно не будет включать все эти числа. И это 'если... то' Вам надо доказать. Уравнение теоремы Ферма для нечетных показателей степени: [math]c^n=a^n+b^n=(a+b)M[/math] Если показатель степени простое число, то: 1. Если двучлен [math](a+b)[/math] не делится на показатель степени, то двучлен [math](a+b)[/math] и многочлен [math]M[/math] взаимно простые числа. Извлекать корень степени [math]n[/math] надо отдельно из двучлена и многочлена. 2. Если двучлен [math](a+b)[/math] делится на показатель степени, то многочлен [math]M[/math] также делится на показатель степени. В этом случае имеем: [math](a+b)=un[/math] [math]M=vn[/math] В итоге: [math]c^n=a^n+b^n=(a+b)M=un^2v[/math] [math]u, v[/math] взаимно простые числа. Извлекать корень степени [math]n[/math] надо отдельно из [math]u, n^2, v[/math]. При этом надо не забывать, что в соответствии с приведенным доказательством должно выполняться соотношение: четное число [math]x[/math] должно соответствовать условию: [math]x<0,5(a+b)[/math] |
||
Вернуться к началу | ||
На страницу 1, 2, 3, 4, 5 ... 9 След. | [ Сообщений: 81 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Теорема Ферма доказательство самого Ферма (статья в журнале)
в форуме Палата №6 |
27 |
1092 |
03 авг 2019, 13:00 |
|
Теоре́ма о модуля́рности и Великая теорема Ферма
в форуме Размышления по поводу и без |
0 |
283 |
09 мар 2020, 22:51 |
|
Теорема Ферма и теорема Безу
в форуме Палата №6 |
9 |
1785 |
25 апр 2014, 09:47 |
|
Теорема Ферма
в форуме Палата №6 |
1 |
237 |
29 авг 2019, 01:23 |
|
Теорема Ферма
в форуме Специальные разделы |
6 |
186 |
11 дек 2023, 22:50 |
|
Великая теорема ферма
в форуме Палата №6 |
11 |
445 |
29 май 2019, 19:32 |
|
Теорема Ферма - трином
в форуме Палата №6 |
27 |
2009 |
09 май 2014, 12:34 |
|
Теорема Ферма-элементарно | 2 |
868 |
06 май 2014, 17:26 |
|
Малая Теорема Ферма
в форуме Теория чисел |
1 |
459 |
21 сен 2021, 11:25 |
|
Малая теорема Ферма
в форуме Теория чисел |
2 |
167 |
06 июн 2023, 22:38 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 10 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |