НГУ
http://forum.nsu.ru/

НОД
http://forum.nsu.ru/viewtopic.php?f=24&t=16806
Страница 1 из 2

Автор:  irchona [ Ср апр 04, 2007 7:19 pm ]
Заголовок сообщения:  НОД

Может ли, наибольший общий делитель равняться единице???

Автор:  Кравцова Екатерина [ Ср апр 04, 2007 8:42 pm ]
Заголовок сообщения: 

Это вопрос с подвохом? Или вы просто издеваетесь? :-?

Автор:  irchona [ Чт апр 05, 2007 1:30 am ]
Заголовок сообщения: 

Используя алгоритм Евклида при нахождении НОД получается 1. Возможно ли это?

Автор:  slb [ Чт апр 05, 2007 1:35 am ]
Заголовок сообщения: 

А почему нет? Рассмотрите, к примеру, числа 2 и 3 :)

Автор:  irchona [ Чт апр 05, 2007 2:04 am ]
Заголовок сообщения: 

Ну да в принципе, просто когда большие числа, как-то это подозрительно... :-?

Автор:  slb [ Чт апр 05, 2007 2:59 am ]
Заголовок сообщения: 

А чего подозрительного? Вы с понятием "взаимно простые числа" знакомы? Простейший пример: возьмите пару натуральных чисел (размер значения не имеет :) ), одно из которых - простое, а второе не делится на первое. У простого числа всего два делителя - единица и оно само. Если второе число на первое не делится, то общим делителем у них может быть только единица.

Автор:  irchona [ Чт апр 05, 2007 12:51 pm ]
Заголовок сообщения: 

Как доказать, что из трех последовательных натуральных чисел одно делится на 3???

Автор:  stariy_czedun [ Чт апр 05, 2007 1:19 pm ]
Заголовок сообщения: 

По остаткам :)

Автор:  ConWor [ Чт апр 05, 2007 2:30 pm ]
Заголовок сообщения: 

irchona писал(а):
Как доказать, что из трех последовательных натуральных чисел одно делится на 3???

пусть первое из этих чисел X не делится на три, тогда в остатке (при делении) на три оно дает либо 1, либо 2, верно? :) В первом случае, X+2 делится на три, во втором случае X+1 делится на три :)
Найдёте ошибку?

Автор:  Коба [ Пт апр 06, 2007 10:54 am ]
Заголовок сообщения: 

А можно ещё немного поизвращаться. Например так:

Теорема Для любого натурального числа n одно из чисел n, n+1, n+2 делится на 3.

Доказательство Индукция по n.

База. При n = 1 число n + 2 = 3 делится на 3.

Шаг индукции. Пусть одно из чисел n, n+1, n+2 делится на 3. Если n делится на 3, то n+3 также делится на 3. Если же n не делится на 3, то на 3 делится либо n+1, либо n+2. В обоих случаях одно из чисел n+1, (n+1)+1 = n+2, (n+1)+2 = n+3 делится на 3.

Конец доказательства.

-------------------------------------

Кто ещё что-нибудь придумает?

Автор:  slb [ Пт апр 06, 2007 2:44 pm ]
Заголовок сообщения: 

Коба писал(а):
Если n делится на 3, то n+3 также делится на 3.


Лишнее утверждение. Надо просто: "Если n делится на 3, то всё доказано".

Автор:  Alexandr [ Пт апр 06, 2007 6:28 pm ]
Заголовок сообщения: 

Ничего не лишнее. Это шаг индукции. Нужно показать, что среди
следующих трёх чисел найдётся число, на 3 делящееся.

Автор:  ConWor [ Пн апр 09, 2007 1:31 am ]
Заголовок сообщения: 

Доказательство от противного
Пусть существуют некое минимальное X, такое, что X, X+1, X+2 не делятся на три. Тогда X-1 не делится на три (иначе X+2 делится на три). Ну а это противоречие с минимальностью X, так как X-1, X, X+1 не делятся ни три.

Автор:  fenster [ Пн апр 09, 2007 1:43 am ]
Заголовок сообщения: 

ConWor писал(а):
Пусть существуют некое минимальное X, такое, что X, X+1, X+2 не делятся на три. Тогда X-1 не делится на три (иначе X+2 делится на три). Ну а это противоречие с минимальностью X, так как X-1, X, X+1 не делятся ни три.

Это лишь доказывает, что если найдётся хотя бы одна тройка (x, x+1, x+2) такая, что все три числа не делятся на три, то существует бесконечное и неограниченное снизу множество таких троек (вспомним, что существуют отрицательные числа). Это несомненно полезное утверждение, но автору задачи требуется доказать несколько другое :)

Автор:  ConWor [ Пн апр 09, 2007 4:08 am ]
Заголовок сообщения: 

fenster писал(а):
Это лишь доказывает, что если найдётся хотя бы одна тройка (x, x+1, x+2) такая, что все три числа не делятся на три, то существует бесконечное и неограниченное снизу множество таких троек (вспомним, что существуют отрицательные числа). Это несомненно полезное утверждение, но автору задачи требуется доказать несколько другое :)

Я же показал противоречие с минимальностью X. А то, что можно взять минимальный X (разумеется, положительный), понятно из двух причин: если есть отрицательная тройка чисел, неделящихся на три, то есть и положительная. А тройка, начинающаяся с единицы, заведомо содержит в себе число, которое делится на три :)
Задачка поинтереснее, в аксиомах Пеано вывести
Для любого x ( Существует y ( y*s(s(s(0))) = x ) или Существует y ( y*s(s(s(0))) = s(x) ) или Существует y ( y*s(s(s(0))) = s(s(x)) ) )

Страница 1 из 2 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/