У нас вы можете посмотреть бесплатно pgcd : l'équivalence des deux définitions или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Démonstration de l'équivalence des deux définitions du pgcd de deux entiers naturels sans recours à l'égalité de Bézout, ou à l'algorithme d'Euclide ou au lemme de Gauss. La première définition utilise l'ordre usuel sur N et la 2e utilise l'ordre sur N pour la relation «divise». L'implication la moins simple s'appuie sur la preuve de contre-exemple minimal proposée par Daniel Perrin dans une note sur son site : https://www.imo.universite-paris-sacl... Une preuve alternative par récurrence est également proposée. Pour avoir l'équivalent en récurrence du raisonnement de contre-exemple ci-dessus, il faudrait plutôt faire une récurrence sur n+m.