Обратная теорема это:

Обратная теорема
        теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением — условие. Обратной к О. т. будет исходная (прямая) теорема. Таким образом, прямая и О. т. взаимно обратны. Например, теоремы: «если два угла треугольника равны, то их биссектрисы равны» и «если две биссектрисы треугольника равны, то соответствующие им углы равны» — являются обратными друг другу. Из справедливости какой-нибудь теоремы, вообще говоря, не следует справедливость обратной к ней теоремы. Например, теорема: «если число делится на 6, то оно делится на 3» — верна, а О. т.: «если число делится на 3, то оно делится на 6» — неверна. Даже если О. т. верна, для её доказательства могут оказаться недостаточными средства, используемые при доказательстве прямой теоремы. Например, в евклидовой геометрии верны как теорема «две прямые на плоскости, имеющие общий перпендикуляр, не пересекаются», так и обратная к ней теорема «две непересекающиеся прямые на плоскости имеют общий перпендикуляр». Однако вторая (обратная) теорема основывается на евклидовой аксиоме параллельных, тогда как для доказательства первой эта аксиома не нужна. В Лобачевского геометрии (См. Лобачевского геометрия) вторая просто неверна, тогда как первая остаётся в силе. О. т. равносильна теореме, противоположной к прямой, т. е. теореме, в которой условие и заключение прямой теоремы заменены их отрицаниями. Поэтому прямая теорема равносильна теореме, противоположной к обратной, т. е. теореме, утверждающей, что если неверно заключение прямой теоремы, то неверно и её условие. Известный способ «доказательства от противного» как раз и представляет собой замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. Справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости заключения (см. Необходимые и достаточные условия).

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Обратная теорема" в других словарях:

  • ОБРАТНАЯ ТЕОРЕМА — теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением условие …   Большой Энциклопедический словарь

  • обратная теорема — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN converse theorem …   Справочник технического переводчика

  • обратная теорема — теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением  условие. * * * ОБРАТНАЯ ТЕОРЕМА ОБРАТНАЯ ТЕОРЕМА, теорема, условием которой служит заключение исходной (прямой) теоремы, а заключением условие …   Энциклопедический словарь

  • ОБРАТНАЯ ТЕОРЕМА — теорема, условием к рой служит заключение теоремы исходной (прямой), а заключением условие. Обратной к О. т. будет исходная (прямая) теорема, так что прямая и О. т. взаимно обратны. О. т. равносильна теореме, противоположной к прямой, т. е.… …   Математическая энциклопедия

  • ОБРАТНАЯ ТЕОРЕМА — теорема, условием к рой служит заключение исходной (прямой) теоремы, а заключением условие …   Естествознание. Энциклопедический словарь

  • Теорема Фалеса — Эта теорема о параллельных прямых. Об угле, опирающемся на диаметр, см. другую теорему. Теорема Фалеса  одна из теорем планиметрии. Если на одной из двух прямых отложить последовательно несколько равных отрезков и через их концы провести… …   Википедия

  • Теорема — (греч. theorema, от theoréo рассматриваю, исследую)         предложение некоторой дедуктивной теории (см. Дедукция), устанавливаемое при помощи Доказательства. Каждая дедуктивная теория (математика, многие её разделы, логика, теоретическая… …   Большая советская энциклопедия

  • Теорема Пифагора — Теорема Пифагора  одна из основополагающих теорем евклидовой геометрии, устанавливающая соотношение между сторонами прямоугольного треугольника. Содержание 1 …   Википедия

  • ОБРАТНАЯ СВЯЗЬ — воздействие результатов к. л. процесса на его протекание. Если при этом интенсивность процесса возрастает, то О. с. наз. п о л о ж и т е л ь н о й, а в противопол. случае о т р и ц а т е л ь н о й. Отрицат. О. с. может обеспечить автоматич.… …   Физическая энциклопедия

  • обратная предельная теорема — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN converse limit theorem …   Справочник технического переводчика

Книги

Другие книги по запросу «Обратная теорема» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»