Значение слова «теорема»
Источник (печатная версия): Словарь русского языка: В 4-х т. / РАН, Ин-т лингвистич. исследований; Под ред. А. П. Евгеньевой. — 4-е изд., стер. — М.: Рус. яз.; Полиграфресурсы, 1999; (электронная версия): Фундаментальная электронная библиотека
В математических текстах теоремами обычно называют только те доказанные утверждения, которые находят широкое применение в решении математических задач. При этом требуемые доказательства обычно кем-либо найдены (исключение составляют в основном работы по логике, в которых изучается само понятие доказательства, а потому в некоторых случаях теоремами называют даже неопределённые утверждения). Менее важные утверждения-теоремы обычно называют леммами, предложениями, следствиями, условиями и прочими подобными терминами. Утверждения, о которых неизвестно, являются ли они теоремами, обычно называют гипотезами.
Наиболее знаменитыми являются: теорема Пифагора, теорема Ферма.
ТЕОРЕ’МА, ы, ж. [от греч. theōrēma, букв. зрелище] (науч.). Положение, справедливость к-рого устанавливается путем доказательств, основанных на аксиомах или на других, уже доказанных положениях (мат.). Доказать теорему. Пифагорова т. || Положение, к-рое может быть выведено из основных положений логики (филос.).
Источник: «Толковый словарь русского языка» под редакцией Д. Н. Ушакова (1935-1940); (электронная версия): Фундаментальная электронная библиотека
теоре́ма
1. матем. положение, утверждение, истинность которого нуждается в доказательстве и устанавливается путём доказательства ◆ Если вы не знаете, какие углы называются смежными, не знаете теоремы о сумме смежных углов, то вы это доказательство не поймёте. А. В. Погорелов, «Геометрия, учебник для 7-11 классов», 1999 г.
Фразеологизмы и устойчивые сочетания
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать Карту слов. Я отлично умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: плут — это что-то нейтральное, положительное или отрицательное?
В каком случае слово «доказано» можно написать с двумя «н»?
Подскажите, пожалуйста, как правильно? Моя коллега настаивает, что в данном ниже примере слово «доказано» пишется с двумя «н». У меня, обычно, нет оснований ей не верить, но в данном случае я сомневаюсь.
«Изделие создано по технологии, которая доказано обеспечивает ощущение защищенности.»
В данном случае мы имеем дело с проявлением омонимии слов.
В русском языке существует краткая форма страдательного причастия среднего рода:
Это явление доказано учеными Великобритании.
В этом примере слово «доказано» выступает в роли сказуемого и обозначает признак предмета по действию:
Краткая форма причастия пишется всегда с одной буквой «н».
Отличаем её от омонимичного наречия, образованного с помощью суффикса -о от однокоренного слова:
Наречие сохраняет двойное написание «нн» исходного слова.
А теперь выясним, какой частью речи является интересующее Вас слово в предложении:
Изделие создано по технологии, которая доказанно обеспечивает ощущение защищенности.
Чтобы было легче разобраться, перефразируем предложение:
Технология обеспечивает (как?) доказанно ощущение защищенности.
Это слово не изменяется и поясняет глагол, обозначая признак (качество) действия.
В этом примере слово «доказанно» — это наречие.
Наречие «доказанно» пишется с «нн».
Корректнее оформить это высказывание так:
Изделие создано по технологии, которая, как доказано, создает ощущение защищенности.
Теорема Виета для квадратного уравнения
Основные понятия
Квадратное уравнение — это ax 2 + bx + c = 0, где a — первый коэффициент, не равный нулю, b — второй коэффициент, c — свободный член.
Существует три вида квадратных уравнений:
Чтобы определить, сколько корней имеет уравнение, нужно обратить внимание на дискриминант. Формула для его поиска записывается так: D = b 2 − 4ac. Его свойства:
В математике теоремой принято называть утверждение, у которого ранее было сформулировано доказательство.
Формула Виета
Если в школьной геометрии чаще всего используется теорема Пифагора, то в школьной алгебре ведущую роль занимают формулы Виета. Теорема звучит так:
Если дано x 2 + bx + c = 0, где x₁ и x₂ являются корнями, то справедливы два равенства:
Знак системы, который принято обозначать фигурной скобкой, означает, что значения x₁ и x₂ удовлетворяют обоим равенствам.
Рассмотрим теорему Виета на примере: x 2 + 4x + 3 = 0.
Пока неизвестно, какие корни имеет данное уравнение. Но в соответствии с теоремой можно записать, что сумма этих корней равна второму коэффициенту с противоположным знаком. Он равен четырем, значит будем использовать минус четыре:
Произведение корней по теореме соответствует свободному члену. В данном случае свободным членом является число три. Значит:
Необходимо проверить равна ли сумма корней −4, а произведение 3. Для этого найдем корни уравнения x 2 + 4x + 3 = 0. Воспользуемся формулами для чётного второго коэффициента:
2 + 4x + 3 = 0″ height=»215″ src=»https://lh5.googleusercontent.com/E_X403ETh_88EANRWdQN03KRT8yxP2HO4HoCrxj__c8G0DqmNJ1KDRqtLH5Z1p7DtHm-rNMDB2tEs41D7RHpEV5mojDTMMRPuIkcW33jVNDoOe0ylzXdHATLSGzW4NakMkH2zkLE» width=»393″>
Получилось, что корнями уравнения являются числа −1 и −3. Их сумма равняется второму коэффициенту с противоположным знаком, а значит решение верное.
2 + 4x + 3 = 0″ height=»52″ src=»https://lh5.googleusercontent.com/VzGPXO9B0ZYrr9v0DpJfXwuzeZtjYnDxE_ma76PUC8o7jVWwa8kZjTJhq2Lof0TiJXAp_ny3yRwI_OyRzeucv9xUZ63yoozGPP4xd4OxvElVT7Pt-d6xL5w17e_mQNs5qZJQiwfG» width=»125″>
Произведение корней −1 и −3 по теореме Виета должно равняться свободному члену, то есть числу 3. Это условие также выполняется:
2 + 4x + 3 = 0″ height=»52″ src=»https://lh4.googleusercontent.com/Cq-LCFmY3YGNSan1VF3l3CqIeojoJYAvGAiTBWnzyoZu_xJFrF5NfQ3xCe59apJklw6uYbmQ4lAkBTeC-TJmEGicN3rgGtsezhuqdNiOWjZT39NziOB5uOmQr3cr9-5fNnepdZDo» width=»112″>
Результат проделанных вычислений в том, что мы убедились в справедливости выражения:
Обучение на курсах по математике помогает быстрее разобраться в новых темах и подтянуть оценки в школе.
Доказательство теоремы Виета
Дано квадратное уравнение x 2 + bx + c = 0. Если его дискриминант больше нуля, то оно имеет два корня, сумма которых равна второму коэффициенту с противоположным знаком, а произведение корней равно свободному члену:
Докажем, что следующие равенства верны
Чтобы найти сумму корней x₁ и x₂ подставим вместо них то, что соответствует им из правой части формул корней. Напомним, что в данном квадратном уравнении x 2 + bx + c = 0 старший коэффициент равен единице. Значит после подстановки знаменатель будет равен 2.
Мы доказали: x₁ + x₂ = −b.
Далее произведем аналогичные действия, чтобы доказать о равенстве x₁ * x₂ свободному члену c.
Мы доказали: x₁ * x₂ = c.
Значит сумма корней приведённого квадратного уравнения x 2 + bx + c = 0 равна второму коэффициенту с противоположным знаком (x₁ + x₂ = −b), а произведение корней равно свободному члену (x₁ * x₂= c). Теорема доказана.
Обратная теорема Виета
Когда дана сумма и произведение корней квадратного уравнения, принято начинать подбор подходящих корней. Теорема, обратная теореме Виета, при таких условиях может быть главным помощником. Она формулируется так:
Обратная теорема Виета
Если числа x₁ и x₂ таковы, что их сумма равна второму коэффициенту уравнения x 2 + bx + c = 0, взятому с противоположным знаком, а их произведение равно свободному члену, то эти числа являются корнями x 2 + bx + c = 0.
Обратные теоремы зачастую сформулированы так, что их утверждением является заключение первой теоремы. Так, при доказательстве теоремы Виета стало понятно, что сумма x₁ и x₂ равна −b, а их произведение равно c. В обратной теореме это является утверждением.
Докажем теорему, обратную теореме Виета
Корни x₁ и x₂ обозначим как m и n. Тогда утверждение будет звучать следующим образом: если сумма чисел m и n равна второму коэффициенту x 2 + bx + c = 0, взятому с противоположным знаком, а произведение равно свободному члену, то числа m и n являются корнями x 2 + bx + c = 0.
Зафиксируем, что сумма m и n равна −b, а произведение равно c.
Чтобы доказать, что числа m и n являются корнями уравнения, нужно поочередно подставить буквы m и n вместо x, затем выполнить возможные тождественные преобразования. Если в результате преобразований левая часть станет равна нулю, то это будет означать, что числа m и n являются корнями x 2 + bx + c = 0.
При x = m получается верное равенство. Значит число m является искомым корнем.
Мы доказали: числа m и n являются корнями уравнения x 2 + bx + c = 0.
Примеры
Для закрепления знаний рассмотрим примеры решения уравнений по теореме, обратной теореме Виета.
Дано: x 2 − 6x + 8 = 0.
Для начала запишем сумму и произведение корней уравнения. Сумма будет равна 6, так как второй коэффициент равен −6. А произведение корней равно 8.
2 − 6x + 8 = 0″ height=»59″ src=»https://lh6.googleusercontent.com/tFokx3SM93Hwlr7ZM9BqX1xiHKv_2dUIB9MoNa8RAwSTmQKXdCcqcFXxTZmxNGw7bOVek-RzRXqBkoCqnYMiqIYVwKhfnHeU-7mA03feEqJTlyKB7e-OsTTKgPaOlddfiaTGszcv» width=»99″>
Имея эти два равенства можно подобрать подходящие корни, которые будут удовлетворять как равенству обоим равенствам системы.
Подбор корней удобнее выполнять с помощью их произведения. Число 8 можно получить путем перемножения чисел 4 и 2 либо 1 и 8. Но значения x₁ и x₂ надо подбирать так, чтобы они удовлетворяли и второму равенству тоже.
Можно сделать вывод, что значения 1 и 8 не подходят, так как они не удовлетворяют равенству x₁ + x₂ = 6. Значения 4 и 2 подходят обоим равенствам:
Значит числа 4 и 2 являются корнями уравнения x 2 − 6x + 8 = 0.
2 − 6x + 8 = 0″ height=»57″ src=»https://lh3.googleusercontent.com/rohB7Bvd-elMhTxEUuOhKqLJjqLAvo9VlJxZvOnMeDAHARfKT-SYOWb1WXTTWEN2h0oKbLl6wH7lc0IWL_vH3Si2AJGAGXVn8TPFDT_J1Wu2WeoQ-WP1qgXjCnZ99tWUkK2BOvF2″ width=»64″>
Неприведенное квадратное уравнение
Теорема Виета выполняется только тогда, когда квадратное уравнение является приведённым, то есть его первый коэффициент равен единице:
ax 2 + bx + c = 0, где а = 1.
Недоказанные теоремы современности, за которые полагается награда
Иногда усердное изучение точных наук может принести свои плоды – вы станете не только известны на весь мир, но и богаты. Награды даются, впрочем, не за что попало, и в современной науке очень много недоказанных теорий, теорем и задач, которые плодятся по мере развития наук, взять хотя бы Коуровские или Днестровские тетради, этакие сборники с неразрешимыми физико-математическими, и не только, задачами. Однако есть и поистине сложные теоремы, которые не могут разгадать уже не один десяток лет, и вот за них то и выставлена награда американским институтом Клэя в размере 1 млн. долларов США за каждую. До 2002 года общий джекпот равнялся 7 миллионам, так как «задач тысячелетия» было семь, однако российский математик Григорий Перельман решил гипотезу Пуанкаре, эпически отказавшись от миллиона, даже не открыв дверь математикам США, которые хотели вручить ему его честно заработанные премиальные. Итак, включаем Теорию Большого Взрыва для фона и настроения, и смотрим, за что еще можно срубить круглую сумму.
Равенство классов P и NP
Простыми словами говоря, проблема равенства P = NP состоит в следующем: если положительный ответ на какой-то вопрос можно довольно быстро проверить (за полиномиальное время), то правда ли, что ответ на этот вопрос можно довольно быстро найти (также за полиномиальное время и используя полиномиальную память)? Другими словами, действительно ли решение задачи проверить не легче, чем его отыскать? Суть здесь в том, что некоторые расчеты и вычисления легче решать по алгоритму, а не вычислять перебором, и таким образом экономить кучу времени и ресурсов.
Гипотеза Ходжа
Гипотеза Ходжа сформулирована в 1941 году и состоит в том, что для особенно хороших типов пространств, называемых проективными алгебраическими многообразиями, так называемые циклы Ходжа являются комбинациями объектов, имеющих геометрическую интерпретацию, — алгебраических циклов.
Здесь объясняя простыми словами можно сказать следующее: в 20 веке были открыты очень сложные геометрические формы, типа искривленных бутылок. Так вот, было высказано предположение, что чтобы сконструировать эти объекты для описания, надо применять совсем головоломные формы, которые не имеют геометрической сути «этакие страшные многомерные каляки-маляки» или же все – таки можно обойтись условно-стандартной алгеброй+геометрией.
Гипотеза Римана
Здесь человеческим языком объяснить довольно сложно, достаточно знать, что решение данной проблемы будет иметь далеко идущие последствия в области распределения простых чисел. Проблема настолько важна и насущна, что даже выведение контрпримера гипотезы – на усмотрение ученого совета университета, проблему можно будет считать доказанной, так что здесь можно попробовать и метод «от обратного». Даже если удастся переформулировать гипотезу в более узком смысле – и тут институт Клэя выплатит некоторую сумму денег.
Теория Янга — Миллса
Уравнения Навье-Стокса
Здесь нам наверняка бы помог Говард Воловиц, если бы существовал в реальности – ведь это загадка из гидродинамики, причем основа основ. Уравнения описывают движения вязкой ньютоновской жидкости, имеют огромное практическое значение, а главное описывают турбулентность, которую никак не удается загнать в рамки науки и предугадать ее свойства и действия. Обоснование построения этих уравнений позволило бы не тыкать пальцем в небо, а понять турбулентность изнутри и сделать самолеты и механизмы более устойчивыми.
Гипотеза Бёрча — Свиннертон-Дайера
Здесь я, правда, пытался подобрать простые слова, однако тут такая дремучая алгебра, что без глубокого погружения не обойтись. Тем же, кто не хочет нырять с аквалангом в матан, надо знать, что данная гипотеза позволяет быстро и безболезненно находить ранг эллиптических кривых, а если бы этой гипотезы не было, то для вычисления этого ранга нужна была бы простыня вычислений. Ну и естественно также надо знать, что доказательство этой гипотезы обогатит вас на миллион долларов.
Нельзя не отметить, что почти в каждой области есть уже продвижения, и даже доказаны случаи для отдельных примеров. Поэтому не стоит медлить, а то получится как с теоремой Ферма, которая поддалась Эндрю Уайлсу через 3 с лишним века в 1994 году, и принесла ему Абелевскую премию и около 6 млн. норвежских крон (50 миллионов рублей по сегодняшнему курсу).
Что такое аксиома, теорема и доказательство теоремы
Понятие аксиомы
Аксиома — это правило, которое считают верным и которое не нужно доказывать. В переводе с греческого «аксиома» значит принятое положение — то есть взяли и договорились, что это истина, с которой не поспоришь.
Аксиоматический метод — это подход к получению знаний, при котором сначала разрабатывают аксиомы, а потом с их помощью формулируют новые теории.
Синоним аксиомы — постулат. Антоним — гипотеза.
Основные аксиомы евклидовой геометрии
Учить наизусть эти аксиомы не обязательно. Главное — помнить о них и держать под рукой, чтобы при доказательстве теоремы сослаться на одну из них.
А теперь давайте рассмотрим несколько аксиом из геометрии за 7 и 8 класс.
Самая известная аксиома Евклида — аксиома о параллельных прямых. Звучит она так:
Это значит, что если дана прямая и любая точка, которая не лежит на этой прямой, то через неё можно провести только одну единственную прямую, которая будет параллельна этой первой данной прямой.
У этой аксиомы два следствия:
Аксиома Архимеда заключается в том, что, если отложить достаточное число раз меньший из двух отрезков, то можно покрыть больший из них. Звучит так:
Если на прямой есть меньший отрезок А и больший отрезок B, то, можно сложить А достаточное количество раз, чтобы покрыть B.
На картинке можно увидеть, как это выглядит:
Из этого следует, что не существует бесконечно малых и бесконечно больших величин. В качестве математической формулы аксиому можно записать так: А + А + … + А = А * n > В, где n — это натуральное число.
Понятие теоремы
Что такое аксиома мы уже поняли, теперь узнаем определение теоремы.
Теорема — логическое следствие аксиом. Это утверждение, которое основано на аксиомах и общепринятых утверждениях, которые были доказаны ранее, и доказывается на их основе.
Состав теоремы: условие и заключение или следствие.
Среди теорем выделяют такие, которые сами по себе не используются в решениях задач. Но их используют для доказательства других теорем.
Лемма — это вспомогательная теорема, с помощью которой доказываются другие теоремы. Пример леммы: если одна из двух параллельных прямых пересекает плоскость, то и вторая прямая тоже пересекает эту плоскость.
Следствие — утверждение, которое выводится из аксиомы или теоремы. Следствие, как и теорему, необходимо доказывать.
Примеры следствий из аксиомы о параллельности прямых:
Доказательство теоремы — это процесс обоснования истинности утверждения.
Каждая доказанная теорема служит основанием доказательства для следующей теоремы. Именно поэтому так важно изучать геометрию последовательно, переходя от аксиом к теоремам.
Способы доказательства геометрических теорем
Часть аналитического способа — доказательство от противного, когда для доказательства данного предложения убеждают в невозможности предположения противоположного.
Приемы для доказательства в геометрии:
Обратная теорема — это такой перевертыш: в ней условие исходной теоремы дано заключением, а заключение — условием.
Прямая и обратная теорема взаимно-обратные. Например:
В первой теореме данное условие — это равенство сторон треугольника, а заключение — равенство противолежащих углов. А во второй всё наоборот.
Противоположная теорема — это утверждение, в котором из отрицания условия вытекает отрицание заключения.
Вот, как выглядит взаимное отношение теорем на примере:
В геометрическом изложении достаточно доказать только две теоремы, тогда остальные справедливы без доказательства.
Для тех, кто хочет связать свою жизнь с точными науками, Skysmart предлагает курс подготовки к ЕГЭ по математике (профиль).
Теоремы без доказательств
Теорема Пифагора: квадрат гипотенузы равен сумме квадратов катетов.
Доказательств может быть несколько. Одно из них звучит так: если построить квадраты на сторонах прямоугольного треугольника, то площадь большего из них равна сумме площадей меньших квадратов. На картинке понятно, как это работает:
Теорема косинусов: квадрат одной стороны треугольника равен сумме квадратов двух других сторон минус удвоенное произведение этих сторон на косинус угла между ними. В виде формулы это выглядит так:
где a, b и c — стороны плоского треугольника,
α — угол, противолежащий стороне а.
Следствия из теоремы косинусов:
Понятия свойств и признаков
У нас есть список аксиом и мы уже знаем, что такое теорема и как ее доказывать. Есть два типа утверждений среди теорем, которые часто встречаются при изучении новых фигур: свойства и признаки.
Свойства и признаки — понятия из обычной жизни, которые мы часто используем.
Свойство — такое утверждение, которое должно выполняться для данного типа объектов. У ноутбука есть клавиатура — это свойство есть у каждого ноутбука. А у электронной книги такого свойства нет.
Примеры геометрических свойств мы уже знаем: у квадрата все стороны равны. Это верно для любого квадрата, поэтому это — свойство.
Такое свойство можно встретить у другого четырехугольника. И клавиатура может быть на других устройствах, помимо ноутбука. Из этого следует, что свойства не обязательно должны быть уникальными.
Признак — это то, по чему мы однозначно распознаем объект.
Звезды в темном небе — признак того, что сейчас ночь. Если человек ходит с открытым зонтом — это признак того, что сейчас идет дождь. При этом ночью не обязательно должны быть видны звезды, иногда может быть облачно. Значит это не свойство ночи.
А теперь вернемся к геометрии и рассмотрим четырехугольник ABCD, в котором AB = BD = 10 см.
Является ли равенство диагоналей признаком прямоугольника? У такого четырехугольника, где AB = BD, диагонали равны, но он не является прямоугольником. Это свойство, но не его признак.
Но если в четырехугольнике противоположные стороны параллельны AB || DC и AD || BC и диагонали равны AB = BD, то это уже верный признак прямоугольника. Смотрите рисунок:
Иногда свойство и признак могут быть эквивалентны. Лужи — это верный признак дождя. У других природных явлений не бывает луж. Но если приходит дождь, то лужи на асфальте точно будут. Значит, лужи — это не только признак, но и свойство дождя.
Такие утверждения называют необходимым и достаточным признаком.