17 Февраля 2011

Метод бесконечного спуска, аналогия Пьера Ферма

Пьер Ферма (1640-1659) открыл метод бесконечного спуска как мощное средство доказательства теоретико-числовых теорем по аналогии с методом Евклида из седьмой книги его «Начал». Этот метод Евклид использовал для доказательства теоремы о том, что всякое составное число измеряется каким-то первым числом. Э. Кольман в книге «История математики в древности» (1961) пишет о предложениях книги VII «Начал» Евклида: «В предложениях 23-32 рассматриваются основные положения теории делимости. Предложение 31: «Всякое составное число измеряется каким-то первым числом» Евклид доказывает методом, получившим в дальнейшем название метода спуска» (Кольман, 1961, с.137). «Метод спуска, - отмечает Э. Кольман, - был надолго забыт, им стали пользоваться лишь в ХIII в.» (там же, с.137). Л. Курляндчик и Г. Розенблюм в статье «Метод бесконечного спуска» (журнал «Квант», 1978, № 1) пишут: «…Метод спуска сродни методу математической индукции. Оба метода основаны на том факте, что любое непустое множество натуральных чисел имеет минимальный элемент. Метод спуска наиболее удобен для доказательства «отрицающих» теорем» (Курляндчик, Розенблюм, 1978, с.25).

С появлением ребенка в семье любящим родителям приходиться начинать раскошеливаться на игрушки. Начиная от погремушек и постепенно переходя к более серьезным игрушкам, таким как дом playmobil, или другим игровым наборам, которые не только служат развлечением, но и играют немалую роль в развитии вашего ребенка. Все игрушки выполнены из высококачественного пластика и отвечают всем правилам безопасности.

Оставьте комментарий!

Не регистрировать/аноним

(Используйте нормальные имена. Ваш комментарий будет опубликован после проверки.)

Комментатор/хотите зарегистрироваться

(Для регистрации укажите пароль и свой действующий email. Связка email-пароль позволяет вам комментировать и редактировать данные в вашем персональном аккаунте, такие как адрес сайта, ник и т.п. Письмо с активацией придет в ящик, указанный при регистрации.)

(обязательно)