теорема спорт

Ответ от Ани Дурян[активный]
Теоре́ма (др. -греч. θεώρημα — «зрелище, вид; взгляд; представление, положение» ) — утверждение, для которого в рассматриваемой теории существует доказательство (иначе говоря, вывод) . В отличие от теорем, аксиомами называются утверждения, которые, в рамках конкретной теории, принимаются истинными без всяких доказательств или обоснований.
В математических текстах теоремами обычно называют только достаточно важные утверждения. При этом требуемые доказательства обычно кем-либо найдены (исключение составляют в основном работы по логике, в которых изучается само понятие доказательства, а потому в некоторых случаях теоремами называют даже неопределённые утверждения) . Менее важные утверждения-теоремы обычно называют леммами, предложениями, следствиями, условиями и прочими подобными терминами. Утверждения, о которых неизвестно, являются ли они теоремами, обычно называют гипотезами.

Ответ от Ђ С[гуру]
ТЕОРЕМА (греч. theorema, от theoreo-рассматриваю, исследую) , предложение нек-рой дедуктивной теории
(см. Дедукция) , устанавливаемое при помощи доказательства. Каждая дедуктивная теория (математика,
многие её разделы, логика, теоретич. механика, нек-рые разделы физики) состоит из Т. , доказываемых одна
за другой на основании ранее уже доказанных Т. ; самые же первые предложения принимаются без
доказательства и являются, т. о. , логич. основой данной области дедуктивной теории; эти первые
предложения называют аксиомами.
В формулировке Т. различают условие и заключение. Напр. , 1) если сумма цифр числа делится на 3, то и
само число делится на 3, или 2) если в треугольнике один из углов прямой, то оба других - острые; в каждом
из этих примеров после слова "если" стоит условие Т. , а после слова "то" - заключение. В такой форме
можно высказать каждую Т. Напр. , Т. : "всякий вписанный в окружность угол, опирающийся на диаметр,
прямой", можно высказать так: "если вписанный в окружность угол опирается на диаметр, то он прямой".
Для каждой Т. , высказанной в форме "если..., то... ", можно высказать ей обратную теорему, в к-рой условие
является заключением, а заключение - условием. Прямая и обратная Т. взаимно обратны. Не всякая обратная
Т. оказывается верной; так, для примера 1) обратная Т. верна, а для примера 2) - очевидно неверна.
Справедливость обеих взаимно обратных Т. означает, что выполнение условия любой из них не только
достаточно, но и необходимо для справедливости заключения (см. Необходимые и достаточные условия) .
Если заменить условие и заключение Т. их отрицаниями, то получится Т. , называемая противоположной
данной (см. Противоположная теорема) ; она равносильна обратной Т. Точно так же и Т. , обратная
противоположной, равносильна исходной Т. (прямой) . Поэтому доказательство прямой Т. можно заменить
доказательством того, что из отрицания заключения данной Т. вытекает отрицание её условия. Этот метод,
называемый доказательством от противного, или приведением к абсурду, является одним из наиболее
употребительных приёмов математич. доказательств.

Ответ от 22 ответа[гуру]