Как делать математические доказательства.

Тема 13. Теоремы и доказательства

В этой теме Вы ознакомитесь с отличительной особенностью математики по сравнению с физикой и другими науками – признавать только те истины или законы, которые доказаны. В связи с этим будет проанализировано понятие теоремы и рассмотрены некоторые виды теорем и методы их доказательства.

09-13-03. Отличительная особенность математики

Теория

1.1. Если сравнить математику и физику, то обе эти науки используют как наблюдения, так и доказательства. Наряду с экспериментальной физикой существует теоретическая физика, в которой некоторые утверждения, как и теоремы в математике, доказываются на основе физических законов путем последовательного выведения одних суждений из других. Однако физические законы признаются истинными лишь в том случае, когда они подтверждаются большим числом экспериментов. Эти законы со временем могут уточняться.

Математика также использует наблюдения.

Пример 1. Наблюдая, что

можно сделать предположение, что сумма первых тысячи нечетных натуральных чисел равна 1000000.

Это утверждение можно проверить, непосредственными вычислениями, затратив огромное количество времени.

Можно сделать также общее предположение, что для любого натурального числа сумма начальных нечетных чисел равна . Это утверждение непосредственными вычислениями проверить нельзя, потому что множество всех натуральных чисел бесконечно. Тем не менее сделанное предположение верно, потому что его можно доказать.

Пример 2. Мы можем измерить углы многих треугольников..gif" height="20">, является верным, если мы принимаем за аксиому пятый постулат Евклида. Это было доказано в 7 классе .

Пример 3. Подставляя в многочлен

вместо натуральные числа от 1 до 10, мы получим простые числа 43, 47, 53, 61, 71, 83, 97, 113, 131, 151. Можно высказать предположение, что при любом натуральном значение квадратного трехчлена является простым числом. Проверка показала, что это действительно так при любом натуральном от 1 до 39. Однако, при предположение неверно, так как получается составное число:

Использование доказательств, а не наблюдений для установления истинности теорем является отличительной особенностью математики.

Заключение, сделанное на основе даже многочисленных наблюдений, считается математическим законом лишь тогда, когда оно доказано .

1.2. Ограничимся интуитивным понятием доказательства, как последовательного выведения одних суждений из других, не проводя точного анализа понятия выведения или вывода. Детальнее проанализируем понятие теоремы.

Теоремой принято называть утверждение, истинность которого устанавливается путем доказательства. Понятие теоремы развивалось и уточнялось вместе с понятием доказательства.

В классическом смысле под теоремой понимают высказывание, которое доказывается путем выведения одних суждений из других. При этом должны быть выбраны некоторые начальные законы или аксиомы , которые принимаются без доказательства.

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

Каждая теорема сначала формулируется, затем указывается, что дано и что требуется доказать. Потом излагается доказательство со всеми ссылками на ранее доказанные предложения и аксиомы. Иногда доказательство заканчивается словами что и требовалось доказать. Переведенные на все европейские языки Начала Евклида, включающие 13 книг, оставались до 18 века единственным учебным пособием , по которому изучали геометрию в школах и университетах.

1.3. Чтобы было легче выделить, что дано и что требуется доказать, теоремы формулируются в виде если..., то.... Первая часть формулировки теоремы между если и то называется условием теоремы, а вторая часть, которая записывается после то, называется заключением теоремы.

Условие теоремы содержит описание того, что дано, а заключение – что требуется доказать.

Иногда такую запись теоремы называют логической формой теоремы, а сокращенно называют формой если - то.

Пример 4. Рассмотрим следующую теорему.

Если - четное натуральное число, то является нечетным числом.

В этой теореме условие состоит в том, что берется любое четное число ..gif" width="32 height=19" height="19"> нечетно.

Часто условие и заключение записываются при помощи других слов.

Пример 5. Теорему из примера 1 можно записать в следующей форме:

Пусть - четное натуральное число. Тогда является нечетным числом.

В этом случае вместо слова если используют слово пусть, а вместо слова то пишут слово тогда.

Пример 6. Теорему из примера 1 можно записать также в следующей форме:

Из того, что четное натуральное число, следует, что число .gif" width="13" height="15"> влечет нечетность числа .

В этом случае слово если опускается, а вместо слова то используется слово влечет.

Иногда употребляют и другие виды записи теорем.

1.4. В некоторых случаях условие теоремы в ее формулировке не записывают. Это происходит тогда, когда из текста ясно, какой вид может иметь это условие.

Пример 8. Вы знаете теорему: медианы треугольника пересекаются в одной точке.

В логической форме эта теорема может быть записана так:

Если в любом треугольнике провести все медианы, то эти медианы пересекутся в одной точке.

Пример 9. Теорема о бесконечности множества простых чисел может быть записана в виде:

Если - множество всех простых чисел, то оно бесконечно.

Для установления связей между теоремами в математике используют особый язык, который частично будет рассмотрен в последующих параграфах данной главы.

Контрольные вопросы

1. Какие примеры наблюдений в математике Вам известны?

2. Какие аксиомы геометрии Вы знаете?

3. Какую запись теоремы называют логической формой теоремы?

4. Что называется условием теоремы?

5. Что называется заключением теоремы?

6. Какие формы записи теорем Вы знаете?

Задачи и упражнения

1. Какие предположения Вы можете сделать, наблюдая:

а) произведения двух соседних натуральных чисел;

б) суммы двух соседних натуральных чисел;

в) суммы трех последовательных натуральных чисел;

г) суммы трех нечетных чисел;

д) последние цифры в десятичной записи чисел .gif" width="13 height=15" height="15">;

е) число частей, на которые плоскость разбивается различными прямыми, проходящими через одну точку;

ж) число частей, на которые плоскость разбивается различными прямыми, из которых прямых попарно параллельны и пересекают .gif" width="13" height="20">.gif" height="20"> числа вида , где - натуральное число;

г) суммы двух иррациональных чисел?

3. Какое предположение Вы можете сделать, наблюдая центры окружностей, описанных около тупоугольных треугольников?

4. Запишите в логической форме теорему:

а) сумма внутренних углов выпуклого https://pandia.ru/text/80/293/images/image017_1.gif" width="81 height=24" height="24">;

б) любые два прямоугольных равнобедренных треугольника подобны;

в) равенство выполняется для любых целых чисел и ;

г) высота равнобедренного треугольника, проведенная к его основанию, делит пополам угол при вершине этого треугольника;

д) для любых неотрицательных чисел и выполняется неравенство ;

е) сумма двух противоположных углов вписанного в окружность четырехугольника равна 180;

ж) число не является рациональны числом;

з) все простые числа, которые больше 10, нечетны;

и) у квадрата диагонали равны, перпендикулярны и в точке пересечения делятся пополам;

к) из всех четырехугольников, вписанных в заданную окружность, квадрат имеет наибольшую площадь;

л) существует четное простое число;

м) ни одно простое число не может быть представлено в виде суммы двух различных нечетных натуральных чисел;

н) сумма кубов первых натуральных чисел является квадратом некоторого натурального числа.

5.* Каждую из теорем, приведенных в предыдущей задаче, запишите в нескольких различных видах.

Ответы и указания

Задача 1. Какие предположения вы можете сделать, наблюдая:

а) произведения двух соседних натуральных чисел;

б) суммы двух соседних натуральных чисел;

в) суммы трех последовательных натуральных чисел;

г) суммы трех нечетных чисел;

д) последние цифры в десятичной записи чисел при натуральных ;

е) https://pandia.ru/text/80/293/images/image011_0.gif" width="9 height=20" height="20"> число частей, на которые плоскость разбивается https://pandia.ru/text/80/293/images/image014_1.gif" width="17" height="15"> прямых попарно параллельны и пересекают .gif" width="13 height=20" height="20"> число частей, на которые плоскость разбивается https://pandia.ru/text/80/293/images/image011_0.gif" height="20 src="> могут получаться только четыре цифры:

0, 1, 5, 6; е)https://pandia.ru/text/80/293/images/image011_0.gif" height="20 src=">.gif" width="13" height="20 src=">.gif" width="13" height="15">-угольника равна ;

б) любые два прямоугольных равнобедренных треугольника подобны;

в) равенство выполняется для любых целых чисел и ;

Как мы уже отмечали выше, структура доказательства как логическая конструкция состоит из тезиса, аргументов и демонстрации.

В демонстрации отражается характер логических связей между тезисом и аргументами. В зависимости от вида демонстрации в методической литературе часто употребляются термины «способ доказательства» и «метод доказательства». Покажем, в чем состоит их отличие.

Если доказательство утверждения отличается от другого доказательства того же самого утверждения не логической основой, а последовательностью умозаключений, то будем говорить, что утверждение доказывается двумя различными способами. Если же одно доказательство отличается от другого логической основой, то будем говорить о различных методах доказательства.

Покажем отличие метода от способа доказательства (или решения) на задачах, приведенных ниже.

На рисунке 2 KM LN, ∠POM + ∠LOR = 75° и ∠KOR = 58°. Вычислить ∠РОМ и ∠LOP.

Дано: KM LN, ∠РОМ + ∠LOR = 75°, ∠KOR = 58°.

Найти: ∠РОМ и ∠LOP.

1) ∠ROL = 90° - ∠KOR = 90° - 58° = 32°.

2) ∠РОМ = 75° - ∠ROL = 75° - 32° = 43°.

3) ∠POL = ∠LOM + ∠MOP = 90°+ 43° = 133°.

1) ∠ROL = 90° - 58° = 32°.

2) ∠РОМ = 75° - 32° = 43°.

3) ∠NOP = 90°- 43° = 47°.

4) ∠POL = 180° - ∠NOP = 180°- 43° = 133°.

1) ∠NOР = 360° - 90° - 90° - 58° - 75° = 47°.

2) ∠POL = 180° - ∠NОР = 180° - 47° = 133°.

3) ∠РОМ = 90° - ∠NОР = 90° - 47° = 43°.

Как мы видим, в этих способах решения отличными являются лишь последовательности умозаключений.

Задача 2. Дан квадрат ABCD (рис. 3). Вершина квадрата D соединена с точками М и Р, которые соответственно являются серединами сторон АВ и ВС. Точка М соединена с точкой N, являющейся серединой стороны DC. Докажите, что .

Из чертежа имеем . Отнимем от обеих частей равенства . Получим - = - , откуда имеем .

Из чертежа имеем

Вычтем из равенства (1) равенство (2). Получим - = - - - + +

Учитывая, что = , последнее равенство будет иметь вид: - = - . Прямоугольник AMND разделен диагональю DM на два равных треугольника: ∆ADM=∆DMN, тогда - . Учитывая это, получим - = 0, откуда окончательно имеем = .

Задача 3. К плоскости прямоугольника ABCD через точку А проведен перпендикуляр, на котором взята точка К, соединенная с точками В, С и D (рис. 4). Найти АК, если KB = 6 м, КС = 7 м, KD = 5 м.

Дано: ABCD - прямоугольник; AK ⊥ (АВС)

Найти: АК.

1) Рассмотрим прямоугольный треугольник КDC (∠KDC = 90° по теореме о трех перпендикулярах). По теореме Пифагора имеем DC = (м).

2) По свойству прямоугольника имеем AB = DC = (м).

3) Из прямоугольного треугольника АВК имеем AK = (м).

Введем обозначения: АВ = х, AC = z, AD = y.

1) Из прямоугольного треугольника АКВ .

2) Из прямоугольного треугольника КАС .

3) Из прямоугольного треугольника KAD .

4) Получим систему уравнений:

5) Учитывая, что , система примет вид:

Решив систему, получим - = -12, откуда AK (м).

Мы видим, что в основе этих двух решений лежат совершенно разные логические основы, а значит, речь должна идти о двух разных методах решения: геометрическом и алгебраическом.

Задача 4. Доказать, что если в выпуклом четырехугольнике каждая из его диагоналей делит его площадь пополам, то он является параллелограммом.

В четырехугольнике ABCD (рис. 5), в котором АС и BD - диагонали, проведем BN ⊥ AC и DM АС.

По условию . Учитывая, что = AC BN, а =

AC DM, имеем AC BN = AC DM , откуда следует, что BN = DM. ∠MOD = ∠NOB как вертикальные, следовательно, прямоугольные треугольники BON и MOD равны по катету и острому углу, откуда имеем

Аналогично доказывается равенство OC = OA. Следовательно, мы получили, что в выпуклом четырехугольнике его диагонали в точке пересечения делятся пополам, а это и означает, что четырехугольник – параллелограмм.

Обозначим площадь четырехугольника буквой S. Тогда по условию задачи и , откуда . И так как площади треугольников BCD и ACD равны и основанием у них является один и тот же отрезок CD, то и высоты этих треугольников будут равными. То есть мы доказали, что все точки отрезка АВ отстоят на одинаковом расстоянии от отрезка CD, а значит, АВ ∥ CD. Аналогично доказывается параллельность отрезков AD и ВС. Из того что в четырехугольнике противоположные стороны оказались попарно параллельны, мы заключаем, что он является параллелограммом.

Построим к предложенной задаче новый чертеж (рис. 6). Проведем через точки В и D прямые , параллельные АС, через точки А л С - прямые и , параллельные BD.

Так как по условию задачи и АС - общее основание треугольников AВС и ADC, то высоты этих треугольников равны и прямые находятся на равных расстояниях от прямой . Аналогично рассуждение о прямых и .

При центральной симметрии с центром О прямая переходит в прямую , прямая переходит в прямую , а прямые и перходят сами в себя как прямые, проходящие через центр симметрии. Тогда эта центральная симметрия переведет точку В в точку D, а точка А в точку С. В силу свойства центральной симметрии AB = CD и BC = DA, а значит, по признаку параллелограмма четырехугольник ABCD - параллелограмм.

Доказательство в математике и других дедуктивных науках есть цепочка правильных умозаключений, идущих от исходных для данной теории посылок, признанных истинными, к доказываемому утверждению.

Основным инструментом доказательства теорем являются умозаключения. Умозаключение - рассуждение, в ходе которого из одного или нескольких суждений (называемых посылками умозаключения) выводится новое суждение (называемое заключением или следствием), логически вытекающее из посылок.

Формой дедуктивных умозаключений, используемых при доказательстве теоремы, является силлогизм. В силлогизме содержится три понятия, а состоит он из двух посылок и вывода. Его структуру можно представить в таком виде:

Все М есть Р - большая посылка (БП);

К есть М - меньшая посылка (МП);

К есть Р - вывод (В).

Приведем пример силлогизма: «Все ромбы (М) есть параллелограммы (Р). Квадрат (К) есть ромб (М). Следовательно, квадрат (К) есть параллелограмм (Р)».

Цепочка последовательно связанных силлогизмов, устанавливающая истинность теоремы, называется доказательством теоремы. В качестве примера такой цепочки силлогизмов рассмотрим доказательство теоремы из курса 8 класса: «Если две хорды окружности пересекаются, то произведение отрезков одной хорды равно произведению отрезков другой хорды».

Дано: АВ, CD - хорды, Е - точка пересечения хорд.

Доказать: AE BE = CE DE (рис. 7).

Доказательство

Силлогизм 1

БП: Вписанные углы, опирающиеся на одну и ту же дугу окружности, равны.

МП: Вписанные углы (∠1 и ∠2) опираются на одну и ту же дугу BMD.

В: ∠1 = ∠2.

Силлогизм 2

БП: Вертикальные углы равны.

МП: ∠3 и ∠4- вертикальные.

В: ∠3 = ∠4.

Силлогизм 3

БП: Если два угла одного треугольника соответственно равны двум углам другого, то треугольники подобны.

МП: Два угла (∠1 = ∠3) треугольника AED соответственно равны двум углам (∠2 = ∠4) треугольника СЕВ.

В: ∆AED ∆СЕВ.

Силлогизм 4

БП: В подобных треугольниках сходственные стороны пропорциональны.

МП: Стороны АЕ, DE и СЕ, BE - сходственные стороны подобных треугольников AED и СЕВ.

Силлогизм 5

БП: Произведение крайних членов пропорции равно произведению средних членов пропорции.

МП: АЕ и BE - крайние члены, a DE и СЕ - средние члены одной и той же пропорции.

В: AE BE = DE CE.

Проведение любого доказательства опирается на три блока знаний и умений: содержательный, структурный, логический.

В содержательный блок входят элементы, связанные с ранее изученными математическими понятиями и фактами, которые использованы или в формулировке утверждения, или в качестве аргументов при проведении рассуждений. Эти элементы существенно зависят от логической структуры курса, от его аксиоматики, от методических особенностей изложения и т. д., а поэтому для одной и той же теоремы в различных учебниках содержательный блок может оказаться различным.

В структурный блок входят знания и умения, связанные со структурой утверждения и возможностями ее преобразования. В этот блок входят умения выделять условие и заключение теоремы, преобразовывать логическую форму теоремы с целью получения более простых под теорем и т. д.

Логический блок содержит знания и умения, связанные с правилами логических рассуждений.

Аксиома есть очевидная истина, не требующая доказательства .

Теорема или предложение есть истина, требующая доказательства .

Доказательство есть совокупность рассуждений, делающих данное предложение очевидным .

Доказательство достигает своей цели, когда при помощи его обнаруживается, что данное предложение есть необходимое следствие аксиом или какого-нибудь другого предложения, уже доказанного.

Всякое доказательство основано на том начале, что при правильном умозаключении из истинного предложения нельзя вывести ложного заключения.

Состав теоремы . Всякая теорема состоит из двух частей, a) условия и b) заключения или следствия .

Условие иногда называют предположением. Оно дано и поэтому иногда получает название данного.

Обратная теорема . Предложение, у которого заключение данной теоремы делается условием, а условие заключением, называется теоремой обратной данной .

В таком случае данная теорема называется прямой.

Две теоремы в совокупности, прямая и обратная, называются взаимно-обратными теоремами.

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

В двух взаимно-обратных предложениях одно из них вытекает как необходимое следствие другого.

Если в теореме мы обозначим условие буквой, стоящей на первом месте, а заключение буквой, стоящей на втором месте, то прямую теорему можно схематически представить выражением (Aa), а обратную выражением (aA).

Выражение (Aa) схематически представляет предложение: если имеет место A, то имеет место a.

Если для данного предложения (Aa) имеет место и теорема (aA), то обе теоремы (Aa) и (aA) называются взаимно-обратными теоремами.

Примером двух таких взаимно-обратных теорем могут послужить теоремы:

Первая теорема . В треугольнике против равных сторон лежат равные углы .

Вторая теорема . В треугольнике против равных углов лежат равные стороны .

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

Не всякая теорема имеет свою обратную.

Примером арифметического предложения, не имеющего своего обратного, может послужить следующая теорема . Если в двух произведениях множители равны, то и произведения равны .

Обратное предположение несправедливо. Действительно, из того, что произведения равны, не следует, что множители равны.

Примером геометрического предложения, для которого обратное предложение не имеет места, может послужить теорема : во всяком квадрате диагонали равны .

Предложение обратное этому будет: если диагонали четырехугольника равны, то он будет квадратом.

Это предположение неверно, ибо диагонали бывают равными не в одном квадрате.

Так как обратное предположение не всегда справедливо, то каждый раз обратное предложение требует особого доказательства.

В теории геометрических доказательств весьма важно иногда знать, когда данное предложение допускает свое обратное.

Для этой цели может послужить следующее правило обратимости . Когда в предположении всем возможным и различным условиям соответствуют все возможные и различные заключения, обратное предложение имеет место.

Рассмотрим для примера.

Прямое предложение . Если два треугольника имеют по две равные стороны, то третья сторона будет больше, равна или меньше третьей стороны другого треугольника, смотря по тому, будет ли угол между равными сторонами больше, равен или меньше соответствующего угла другого треугольника.

В этом предложении трем различным и возможным предположениям об угле соответствуют три различных и возможных заключения о противолежащей стороне, поэтому, согласно с правилом обратимости, данная теорема допускает обратное предположение :

Когда два треугольника имеют по две равных стороны, угол между ними будет больше, равен или меньше соответствующего угла другого треугольника, смотря по тому, будет ли третья сторона больше, равна или меньше третьей стороны данного треугольника.

Кроме обратной прямая теорема может иметь свою противоположную.

Противоположная теорема есть такая, в которой из отрицания условия вытекает отрицание заключения .

Противоположная теорема может иметь свою обратную.

Чтобы обобщить все эти теоремы, мы их представим схематически в следующей общей форме:

Прямая или основная теорема. Если имеет место условие или свойство A, то имеет место заключение или свойство B.

Обратная . Если имеет место B, то имеет место A.

Противоположная . Если не имеет места A, то не имеет места B.

Обратная противоположной . Если не имеет места B, то не имеет места A.

Следующие примеры поясняют на частных случаях взаимное отношение этих теорем:

Прямая теорема . Если при пересечении двух данных прямых третьей соответственные углы равны, то данные прямые параллельны.

Обратная теорема . Если две прямые параллельны, то при пересечении их третье, соответственные углы равны.

Противоположная . Если при пересечении двух прямых третьей соответственные углы не равны, прямые не параллельны.

Обратная противоположной . Если прямые не параллельны, соответственные углы не равны.

При геометрическом изложении теорем достаточно доказать только две из этих трех теорем, тогда остальные две теоремы справедливы без доказательства.

На этой связи теорем основан прием, по которому для доказательства обратной теоремы ограничиваются часто только доказательством теоремы противоположной.

Способы геометрических доказательств

Для доказательства геометрических теорем существует два основных способа: синтетический и аналитический .

Эти методы называют иногда сокращенно синтезом и анализом .

Синтез есть такой метод доказательства, в котором данное предложение является необходимым следствием другого, уже доказанного .

В синтезе цепь доказательств начинается с какого-нибудь известного предложения и оканчивается данным предложением. При доказательстве исходное предложение сопоставляется с аксиомой или с другим уже известным предложением. Синтетический способ удобен для вывода таких новых предложений, которые заранее не обозначены. Для доказательства же данного предложения он представляет много неудобств. В нем не видно: a) какую из известных теорем нужно выбрать для того, чтобы доказываемое предложение вытекало как ее необходимое следствие, и b) какое из следствий выбранного предложения приводит к доказываемому предложению.

Синтез называют поэтому не методом открытия новых истин, а методом их изложения.

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

Примером синтетического способа доказательства может послужить следующая теорема.

Теорема . Сумма углов треугольника равна двум прямым .

Дан треугольник ABC (черт. 224).

Требуется доказать, что A + B + C = 2d.

Доказательство . Проведем прямую DE параллельную AC.

Сумма углов, лежащих по одну сторону прямой, равна двум прямым, следовательно,

α + B + γ = 2d

то, заменяя в предыдущем равенстве углы α и γ равными им углами, имеем:

A + B + C = 2d (ЧТД).

Здесь исходным предложением в цепи доказательств выбрана теорема о сумме углов, лежащих по одну сторону прямой.

Она поставлена в связь с теоремами о равенстве углов накрест-лежащих при пересечении двух параллельных третьею косвенною.

Доказываемая теорема есть необходимое следствие всех предложенных теорем и является в цепи доказательств последним заключением.

Анализ есть способ обратный синтезу. В анализе цепь рассуждений начинается доказываемой теоремой и оканчивается какой-нибудь другой уже известной истиной .

Анализ является в двух видах. От доказываемого предложения мы можем перейти к предложению, служащему его ближайшим основанием или его ближайшим следствием.

Переходя от данного предложения к предложению, служащему его ближайшим основанием, мы смотрим на данное предложение как на необходимое следствие.

Переходя от данного предложения к его ближайшему следствию, мы смотрим на данное предложение как на основание для цепи умозаключений.

Первый способ анализа . Совершая анализ переходом к основанию, отыскивают то первое ближайшее предложение, из которого данное вытекает как необходимое следствие. Если это предложение было прежде доказано, то доказано и данное предложение, если же нет, то отыскивают второе предложение, служащее основанием для первого.

Такой переход к основанию следует продолжать до тех пор, пока не дойдем до предложения вполне доказанного. Данное предложение явится как необходимое следствие последнего доказанного предложения.

Обозначая каждое предложение буквой и ставя ее впереди или позади другой, смотря по тому, будет ли оно служить основанием или следствием другого предложения, мы схематически можем этот прием анализа выразить в виде

где M есть данное предложение, L его ближайшее основание, а H предложение, вполне доказанное. Если верно предложение H, то верно предложение K; если верно K, то верно L; если верно L, то верно и M.

Второй способ анализа состоит в переходе от данного предложения к его следствию. Этот прием применяют чаще, потому что легче находить необходимое следствие, нежели отыскивать основание какой-нибудь истины. По этому способу выводят из данного предложения ту теорему, которая служит его ближайшим следствием. Если это следствие есть предложение прежде доказанное, то на нем и останавливаются; если же нет, переходят к следующему ближайшему следствию и вообще продолжают такой последовательный вывод следствий до тех пор, пока не дойдут до предложения, вполне доказанного.

Если последнее предложение не верно, то и данное не верно, ибо неверное следствие нельзя получить из верного предложения.

Если же последнее предложение верно, то для убеждения в верности данного предложения требуется, чтобы были соблюдены некоторые условия.

Схематически этот прием анализа можно представить в виде

M - N - O - P - Q - R - S

где M данное предложение, N предложение, служащее его ближайшим следствием, а S то последнее предложение, в справедливости которого мы вполне убеждены.

Из двух предложений R и S, стоящих в такой связи, что если справедливо R, то справедливо и предложение S, мы, как известно, не всегда можем обратно заключать, что если справедливо S, то справедливо и предложение R.

Чтобы последнее заключение имело место, требуется, чтобы теоремы R и S были взаимно-обратными предложениями.

Итак, для того, чтобы убедиться, что теоремы R и S стоят в такой связи, что она удовлетворяет схеме R - S и схеме S - R, требуется доказать, что предложения R и S взаимно-обратны.

Таким образом, чтобы можно было по верности последнего предложения S заключить о верности данного предложения M, требуется доказать, что каждые два рядом стоящие предложения R и S, P и R, O и P, N и O, M и N удовлетворяют закону обратимости.

Если это доказано, то цепь предложений можно обратить, и рядом со схемой M - N - O - P - Q - R - S справедлива и схема

S - R - Q - P - O - N - M

по которой мы имеем право заключить, что если справедливо предложение S, то справедливо и предложение M.

Так как затруднительно всякий раз доказывать обратимость двух предложений, то этого избегают, соединяя способ аналитический с синтетическим. После того, как из предложения M выведено предложение S как его следствие, смотрят, нельзя ли обратно вывести предложение M как необходимое следствие предложения S.

Если синтез есть способ, называемый дедукцией или выводом , то анализ можно назвать редукцией (приведение, наводка).

Примером аналитического способа доказательства может послужить следующая теорема.

Теорема . Диагонали параллелограмма пересекаются пополам.

Доказательство . Если диагонали пересекаются пополам, то треугольники AOB и DOC равны (черт. 225). Равенство же треугольников AOB и DOC вытекает из того, что AB = CD как противоположные стороны параллелограмма и ∠α = ∠γ, ∠β = ∠δ как накрест-лежащие углы.

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

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

Хотя анализ лучше синтеза объясняет, почему выбран тот или другой путь для доказательства теоремы, однако неопределенность при доказательствах не устраняется вполне в том смысле, что при последовательных заменах одного предложения другим, мы не всегда можем дойти до предложения нам известного, ибо иногда не видно, какое из следствий или какое из оснований данного предложения нужно выбрать для того, чтобы его доказать. Затруднения увеличиваются еще больше, когда приходится для доказательства проводить новые вспомогательные прямые. Иногда трудно дать верные указания, какие из них облегчают доказательство данной теоремы.

Анализ, как и все логические приемы, только облегчает и помогает находить доказательство данного предложения, но не всегда необходимо ведет к самому доказательству.

Кроме этих прямых существует непрямой способ доказательства, известный под именем доказательства от противного или способа приведения к нелепости.

Способ доказательства от противного состоит в том, что для доказательства данного предложения убеждают в невозможности предположения противоположного .

На этом основании это доказательство называется доказательством от противного. Оно достигает своей цели всякий раз, когда из двух предложений, данного и противоположного, одно непременно имеет место.

В этом случае для доказательства данного, допустив противоположное предложение, выводят из него такие следствия, которые противоречат аксиомам или теоремам, уже доказанным. Если одно из следствий этого предложения ложно, то и противоположное предложение ложно, а следовательно данное предложение справедливо.

Этот прием часто применяют для доказательства теорем обратных или противоположных данным.

Не трудно заметить, что этот способ есть второй способ анализа, в котором от данного предложения последовательно переходят к его следствиям.

Примером применения такого способа может послужить приведенное выше доказательство теоремы: против равных углов в треугольнике лежат равные стороны (теорема 26).

В геометрии также применяют способы, зависящие от самого содержания геометрических истин. Геометрические истины относятся к геометрическим протяжениям. Эти протяжения обладают определенными свойствами, подлежащим внешним чувствам. Геометрическое протяжение может рассматриваться как целое, доступное наблюдению внешними чувствами. Убедительности доказательства содействует и самое чувственное созерцание. Обойтись без него в геометрии невозможно.

К числу приемов, имеющих место в геометрии, принадлежат: способ наложения, способ пропорциональности и способ пределов .

Способ наложения состоит в том, что одну геометрическую величину накладывают на другую . Этим способом убеждаются в равенстве или неравенстве геометрических протяжений, смотря по тому, совмещаются или не совмещаются ни при наложении.

Способ пропорциональности состоит в применении к геометрическим протяжениям свойств пропорций . Этот способ применяется при доказательстве теорем, относящихся к подобным фигурам и к пропорциональным отрезкам.

Способ пределов состоит в том, что вместо данных протяжений рассматривают свойства протяжений близких по своим свойствам к данному, и выводы, получаемые из рассмотрения одних, применяют к другим сходным протяжениям.

Способы решения геометрических задач

При решении геометрических задач синтез и анализ применяют точно так же как и при доказательстве теорем.

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

Синтетический метод решения задачи обладает всеми теми же недостатками, какими обладает и синтетический метод доказательства.

Поэтому чаще и успешнее для решения задач применяют анализ.

При решении задачи анализом заменяют данную задачу новой. Эту новую задачу будем называть заменяющей .

Если две задачи находятся в таком отношении, что условия второй есть необходимые следствия условий первой, то первую задачу будем называть начальной , а вторую - производной .

При анализе существуют два способа.

Первый способ . Заменяющую задачу выбирают так, чтобы условия данной задачи вытекали как необходимое следствие условий новой заменяющей задачи, т. е. по нашей терминологии от данной задачи переходят к первой начальной задаче. Если решение этой задачи известно, то решение данной является как необходимое следствие решения начальной задачи. Если же ее решение неизвестно, то от нее переходят ко второй, третьей начальной задаче и продолжают так поступать до тех пор, пока не получат задачу, решение которой известно.

Решив эту последнюю задачу, вместе с этим последовательно доходят и до решения данной задачи.

Второй способ . Можно переходить от данной задачи к такой другой, условия которой являются следствием условий данной, т. е. от данной задачи переходят к ее производной.

Заменяя таким образом последовательно одну задачу другой ее производной, мы можем дойти до задачи, решение которой уже известно. Решение этой задачи дает иногда возможность решить и данную задачу.

Такой переход от данной задачи к ее производной применяют чаще, ибо переходить к следствию легче, нежели подыскивать основание для какой-нибудь истины.

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

При переходе от данной задачи к ее заменяющей весьма важно обращать внимание на то, будут ли две задачи обладать свойством взаимной обратимости. Эта взаимность в условиях двух задач является тогда, когда одна задача, будучи начальной для другой, может быть в то же время и ее производной; иначе когда две задачи находятся в таком отношении, что условия одной могут быть и необходимыми следствиями другой и наоборот.

Если две задачи, данная и новая, обладают такими свойствами, то новая задача вполне заменяет данную. В этом случае все решения одной будут и решениями другой.

Если же условия двух задач не обладают свойствами взаимной обратимости, то, заменяя данную задачу новой, мы можем найти или лишние решения или иметь некоторые из решений потерянными.

Если заменяющая задача будет производной для данной, то мы можем найти некоторые лишние решения; если же она будет начальной для данной, то мы можем найти некоторые решения потерянными.

Так как чаще от данной задачи переходят к задаче производной, то чаще приходится получать решения лишние.

Чтобы отделить лишние решения и отыскать потерянные, поверяют все найденные решения.

Поверка есть способ отделения посторонних (лишних) решений . Она дополняет анализ.

Аналитическое решение задачи указывает на то построение, которое нужно сделать для решения задачи. Совершая это построение, поступают при решении задачи способом обратным анализу, т. е. прибегают к синтетическому способу. Этот синтетический способ часто может заменить и самую поверку найденных решений.

Совместное применение синтеза и анализа дает средство избегнуть тех ошибок, которые могут получиться при применении только одного из этих методов решения.

Решим одну и ту же задачу синтетически и аналитически. Для примера может послужить следующая задача.

Задача . Разделить данный отрезок AB в крайнем и среднем отношении.

Решение . Восставим из конца отрезка AB перпендикуляр BO равный половине AB (черт. 226). Из центра O опишем окружность радиусом BO, соединим центр O с точкой A и отложим на отрезке AB отрезок AC равный AD, тогда отрезок AC или AD будет искомый.

Доказательство . Прямая AB - касательная к окружности, следовательно

откуда имеем:

(AE - AB)/AB = (AB - AD)/AD

Так как DE = AB и AD = AC, то в предыдущей пропорции имеем:

AE - AB = AE - DE = AD = AC
AB - AD = AB - AC = BC

откуда имеем пропорцию

Это решение синтетическое. В нем мы отправляемся от известной теоремы о свойствах касательной и решение данной задачи вытекало как необходимое следствие этой теоремы.

Решение аналитическое . Допустим, что задача решена, а следовательно и отрезок AC найден, тогда

AB/AC = AC/CB (1)

(AB + AC)/AB = (AC + CB)/AC

(AB + AC)/AB = AB/AC (2).

Из последней пропорции видно, что AB есть касательная, AB + AC пересекающаяся, AC ее внешний и AB внутренний отрезок.

Отсюда вытекает и само построение . Нужно из конца B восставить перпендикуляр равный ½AB, провести окружность, соединить O с A и отложить на отрезке AB часть AC = AD.

В этом аналитическом решении мы данную задачу, удовлетворяющую условию (1), заменяем задачей, удовлетворяющей условию (2).

Условие (2) указывает и путь для решения самой задачи построением.

Обыкновенно, найдя решение задачи способом аналитическим, совершают построение, в котором, применяя способ рассуждений синтетический, доказывают, что это построение действительно разрешает задачу и этим доказательством заменяют поверку, имеющую в виду устранить посторонние решения.

В данном примере между задачами, удовлетворяющим условиям (1) и (2), существует полная обратимость, ибо из условий (1) вытекают условия (2) как необходимое следствие и наоборот, поэтому здесь нет ни потерянных, ни посторонних решений.

Исследование второстепенных и вспомогательных приемов решения задач еще не достигло в своей обработке полной и совершенной законченности. Мы пока устраняемся от их подробного рассмотрения.

Е.В. Петрова,учитель математики СОШ №25 г. Владимира

Доказательство - это рассуждение, которое убеждает. (Ю.А. Шиханович)

Реализация современной роли математики предполагает улучшение математической подготовки учащихся, важное место в котором отводится умению открывать закономерности, обосновывать их и применять на практике. Формирование алгоритмического, эвристического, абстрактного мышления учащихся осуществляется также главным образом в процессе доказательства. Обучение математике предполагает обучение способам деятельности по приобретению знаний, что требует выявления и освоения в процессе обучения математике различных схем используемых в математике рассуждений. В опытных науках мы постоянно обращаемся к наблюдениям и экспериментам, чтобы проверить те или иные утверждения. Совершенно иначе дело обстоит в математике. Теорема считается доказанной только в том случае, если она логически выведена из других предложений. Поэтому проблема обучения учащихся доказательству всегда являлась одной из центральных в методике преподавания математики.

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

Что значит доказать теорему, что такое доказательство?

Когда вы убеждаете своего товарища в чем-либо или отстаиваете в споре с ним свое мнение, свою точку зрения, то вы по существу производите доказательство (умело или неумело - это уже другой вопрос).

Математическое доказательство должно представлять собой цепочку логических следствий из исходных аксиом, определений, условий теоремы и ранее доказанных теорем до требуемого заключения. Основную нагрузку по формированию у учащихся умения доказывать несёт курс геометрии. Д. Пойа указывал на важную роль, которую играют доказательства при построении геометрической системы: «Геометрическая система цементирована доказательствами. Каждая теорема связана с предшествующими аксиомами, определениями и теоремами каким-нибудь доказательством. Без понимания таких доказательств нельзя понять самую сущность системы». Исторически сложилось так, что геометрия как учебный предмет имеет большое значение для изучения окружающего мира и создаёт благоприятные условия для приобщения учащихся к творческой исследовательской деятельности. Изучение геометрии способствует развитию умения доказывать, т.е. умения логически мыслить и рассуждать. Развитие логического мышления происходит в ходе изучения приводимых в учебниках и учителем доказательств теорем, при решении задач. Что значит доказать теорему, что такое доказательство? Доказательство в широком смысле - это логическое рассуждение, в процессе которого истинность какой-либо мысли обосновывается с помощью других положений. В математике недопустимо ссылаться, например, на очевидные отношения, иллюстрируемые чертежом. Математическое доказательство должно представлять собой цепочку логических следствий из исходных аксиом, определений, условий теоремы и ранее доказанных теорем до требуемого заключения.

Таким образом, при доказательстве теоремы мы сводим ее к ранее доказанным теоремам, а те в свою очередь еще к другим и т.д. Очевидно, что этот процесс сведения должен быть конечным, и поэтому всякое доказательство в конце концов сводит доказываемою теорему к исходным определениям и принятым без доказательства аксиомам.

Процесс доказательства – сложный процесс мышления, и он формируется лишь постепенно, от простых к более сложным структурам. Следовательно, обучение доказательству представляет собой сложную систему, структура которой обусловлена многочисленными связями между различными ее составляющими.

К 13 – 14 годам мозг школьника становится способным овладеть абстрактным, обоснованным, рассуждающим мышлением. Развитие доказательного мышления, отмечает П. П. Блонский, проходит две стадии. В подростковом возрасте школьник скорее усваивает доказательства, чем самостоятельно пользуется ими, и еще меньше он создает их: в этом возрасте доказывание скорее дело памяти. В юношеском же возрасте уже заметно выступают критическое мышление к даваемым доказательствам и стремление к своим доказательствам. Все вышесказанное приводит к выводу о необходимости исследования индивидуальных познавательных стратегий школьников при изучении и доказательстве теорем.

Над этой проблемой я работаю первый год. Сначала я определила цель, задачи и гипотезу исследования.

Цель: выявить и развить индивидуальные стратегии изучения и доказательства теоремы в 8 классе.

Задачи:

1. Выявить индивидуальные стратегии изучения и доказательства теорем на основе вопросника (с элементами листа анализа).

2. Развить индивидуальные стратегии учащихся через обсуждение полученных результатов, создание банка успешных действий при выполнении изучения и доказательства теорем.

3. Разработать советы по успешному изучению теорем по геометрии.

4. Проанализировать результаты освоения учащимися теорем до и после применения технологии ЦРПС, разработать и апробировать памятку успешной деятельности учеников.

Гипотеза: осмысление учащимися собственных действий при изучении теорем позволит развить навыки доказательстваирешения задач по геометрии, достичь более высоких результатов обучения.

Школьные учебники геометрии показывают готовое доказательство теорем, но не обучают самому процессу доказательства. Учащиеся нередко испытывают трудности в усвоении теорем и воспроизведении их доказательств . Хорошо известен страх многих учащихся перед словом «теорема». Преодолеть его помогает целенаправленная работа в соответствии с теорией поэтапного формирования умственных действий П.Я. Гальперина. Чтобы обеспечить усвоение теорем, их доказательств и научить самостоятельно решать задачи по геометрии, в соответствии с этой теорией необходимо организовать самостоятельную деятельность учащихся. Необходимо научить учащихся доказывать теорему самостоятельно.

Под обучением доказательству надо понимать обучение учащихся анализу готовых доказательств, их воспроизведению, самостоятельному открытию фактов, поиску других путей доказательств, а также опровержению выдвинутых предложений.

Свой эксперимент я начала с вопроса, на который получила неожиданный ответ.

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

***

Читаю по учебнику теорему.

Учу.

В классе доказываю теорему.

***

Учу, как стихотворение. Когда рассказываю, то боюсь сбиться.

. ***

1.Учу по учебнику теорему.

2. Кратко записываю для себя доказательство.

3. Доказываю теорему, используя записи.

4. Рассказываю доказательство маме.

5. В классе доказываю теорему учителю.

После анализа индивидуальных стратегий я поняла, почему ребятам сложно доказать теорему. Это происходит потому, что они в принципе не понимают, что значит « выучить теорему». Далее, я выявила причины затруднений. Это и плохое качество знаний, неумение их применять, неосознанность умственных операций, неумение устанавливать связи между логическими шагами, слабая мотивация и т.д. Реализация требования «доказать теорему» предполагает ряд действий. Без овладения этими действиями в мышлении ученика не возникнет ассоциаций, которые позволили бы ему продвигаться в доказательстве теорем. К числу таких мыслительных операций относятся: выделить условие и заключение теоремы, зафиксировать их словесно и графически, разбить доказательство на части, каждую из которых проанализировать, сделать выводы и двигаться дальше. Следовательно, необходимо сформировать у учащихся в мышлении нужные для осуществления доказательства действия.

При изучении теоремы« Первый признак подобия треугольников», я составила для учащихся вопросник. Эти вопросы заставили задуматься над содержанием теоремы, над этапами доказательства, вызвав при этом в мышлении учащихся нужные ассоциации.

Вопросник.

С какого действия начали знакомство с теоремой?

Как вы понимаете, что это теорема?

Что мотивирует вас на изучение доказательства теоремы?

Сколько раз прочитали теорему?

Что дано?

Что надо доказать?

Поможет ли чертеж при доказательстве теоремы?

С чего вы начали изучать доказательство теоремы?

Можно ли доказательство теоремы разбить на части?

Знание каких фактов,теорем, определений вам пригодилось?

Что вам мешало при доказательстве теоремы?

А что помогало доказать теорему?

Как вы поняли, что теорема доказана?

Какое открытие вы для себя сделали?

Вы довольны? Что вы при этом испытываете?

Какие советы вы могли бы дать тем,кому предстоит изучать теорему ?

Вот некоторые из ответов на данные вопросы.

Юля:

Открыла учебник, нашла теорему, познакомилась зрительно.

Прочитала.

Стала изучать, т. К. мне интересно.

2 раза прочла теорему.

Дан первый признак подобия треугольников.

Что, если 2 угла одного треугольника равны 2 соответственным углам другого треугольника, то такие треугольники подобны.

Да.

С текста.

Да.

Да.

Несосредоточенность, много новых слов.

Чертеж.

Когда поняла о чем теорема, посмотрела доказательство.

-----------

Антон:

С открытия учебника.

Там написано, что это теорема.

Знание теоремы и оценка.

2 раза.

Два треугольника.

Подобие треугольников.

Да.

С прочтения.

Да.

Теорема об отношении площадей подобных треугольников.

Незнание некоторых нужных фактов.

Помогла память.

В учебнике написано, что теорема доказана.

Я узнал новую теорему.

Да, я доволен.

Быть внимательным.

Алина:

Я ищу нужную мне теорему в учебнике, читаю ее, пытаюсь вникнуть в текст.

Я понимаю, что это теорема, т. к. к правилу дано доказательство этого факта.

Умение и понимание решения задач.

Я перечитываю теорему, пока не запомню ее, раза 4 -6.

Даны 2 треугольника, обозначены равные углы.

Подобие этих двух треугольников.

Чертеж поможет мне лучше понять, что нужно доказать и разобраться с условием.

Сначала я прочитаю все доказательство, потом сделаю чертеж и, внимательно вчитываясь, начну разбирать доказательство.

Что дано – подход к решению проблемы – доказательство – вывод.

Мне помогла с доказательством теорема о сумме углов треугольника, определение подобных треугольников, теорема об отношении площадей подобных треугольников.

Ничего не мешало.

Знание определения о подобных треугольниках, знание других теорем и фактов.

Дан вывод, и когда мы получили то, что нужно было доказать, заканчиваю словами «теорема доказана».

Я открыла для себя новый признак подобия треугольников и впервые сама смогла разобрать доказательство новой теоремы.

Учите теорему в тишине, вникая в текст. Сначала выучите формулировку теоремы, вспомните материал, который может помочь при доказательстве.

Виктория:

Открыла учебник, нашла нужную мне теорему, прочитала ее, стараясь запомнить ее.

Это предложение, которое надо доказать.

Меня мотивирует: а) получение хорошей оценки, т. к. это очень важно моим родителям и моему будущему; б) Изучение теорем развивает логическое мышление, а логика нужна при решении задач по геометрии. Значит, изучая теоремы, я учусь решать задачи.

Дано: 2 треугольника, равные углы в них.

Надо доказать, что два треугольника подобны.

Да. Чертеж мне очень помогает при доказательстве теорем и решении задач. Иногда чертеж подсказывает решение задачи.

Я прочитала несколько раз доказательство теоремы по учебнику, кратко записала его в тетрадь, а затем попыталась устно повторить теорему и доказательство.

Можно, на 2 части.

Мне пригодились знания, которые были получены мною ранее, даже из 7 класса.

Мне ничего не мешало. Главное знать, зачем все это надо.

В доказательстве теоремы мне помог учебник и огромное желание знать то, что еще мне не ведомо.

Логически определила, что доказывать больше нечего.

Сама теорема для меня уже открытие, я же не знала этого свойства раньше.

Довольна, что смогла доказать теорему, чувство удовлетворения, чувство гордости, что я все поняла.

Внимательно прочитай теорему и доказательство, попытайся понять их, прочитай несколько раз, докажи теорему кому-нибудь или зеркалу, я бы посоветовала иметь этот вопросник перед собой – помогает.

Используя этот вопросник ребята сами доказывали теорему. Для учеников данная работа была необычной, интересной и трудной. Мы рассмотрели и обобщили все ответы, отметив их разнообразие, выявили наиболее рациональные действия при выполнении данной работы. На следующий урок все опрошенные учащиеся смогли доказать теорему на положительные отметки.

Далее мы с учениками обсудили стратегии изучения и доказательства теоремы, выявили общие и различные закономерности их действий, создали банк успешных действий, назвав итоговую работу «Мои шаги».

Второй признак подобия треугольников ребята доказали сами, используя перечень «Мои шаги». А вот при изучении третьего признакаподобия (этот урок записан на видео, а конспект урока приведен ниже),мы смогли составить памятку доказательства теоремы, которую успешно применяли при доказательстве других теорем как в этом классе так и в другом классе данной параллели.

Памятка.

При изучении и доказательстве теорем надо:

Заменить термины в теореме определениями понятий, которые они обозначают или их признаками.

Развести элементы условия и заключения словами «дано» и «доказать».

Записать все известные величины в графу «Дано».

В графу «Доказательство» записать, что необходимо доказать.

Сделать четкий и аккуратный чертеж. Отметить на нем латинскими буквами то, что изначально известно.

Разбить теорему на части.

Доказать каждую часть по отдельности.

Закончить доказательство выводом «следовательно, первоначальное утверждение верно, теорема доказана».

Закрой учебник, докажи кому-нибудь теорему, попробуй.

Положив памятку перед собой, теперь любой ребенок может самостоятельно разобраться с теоремой и доказать ее. Эта памятка помогает извлекать информацию из условия теоремы, вычленять отдельные элементы, комбинировать их, делать самостоятельные выводы, формировать требования каждого этапа доказательства, в процессе работы оценивать свои знания, ликвидировать «пробелы». Не меньший интерес наша работа вызвала у моих коллег – математиков.

Использование технологии ЦРПС позволило добиться положительной динамики в изучении и доказательстве теорем в геометрии. Теперь все ученики 8 класса понимают, что означают слова учителя «выучить теорему». Ребят стала привлекать самостоятельная познавательная деятельность, у них изменилась мотивация, появилась уверенность в себе и собственных силах, возникло ответственное отношение к собственной деятельности. Вот одна из стратегий успешного изучения и доказательства теоремы после знакомства с основными принципами ЦРПС:

Саша:

Внимательно читаю теорему по учебнику.

Вчитываюсь в каждое слово, отмечая новые термины, словосочетания.

Читаю доказательство.

Определяюсь, понятно ли мне все.

Если что-то непонятно, вновь читаю, обращая внимание на каждое слово.

Если все понятно, то выясняю и записываю, что дано и что надо доказать.

Делаю чертеж, соответствующий условию теоремы с указанием всех данных.

Перечитываю вновь внимательно доказательство.

Стараюсь поделить доказательство на логические части.

Доказываю теорему по частям, делая необходимые выводы.

Еще раз читаю теорему.

Закрыв учебник, используя чертеж, доказываю теорему.

Все, теорему выучил и доказал!

Теперь постараюсь применить знания, полученные в ходе изучения теоремы.

Проведенные наблюдения, анализ стратегий, беседы с учащимися позволили определить и перспективы работы – необходимость исследования стратегии эвристического доказательства теорем, доказательства методом «от противного».

Разработка урока

Предмет: геометрия.

Учитель: Петрова Елена Владимировна

Класс: 8 «г»

Тема урока: третий признак подобия треугольников.

Цель урока: составить памятку по изучению и доказательству теорем, апробировать ее при изучении третьего признака подобия треугольников.

Задачи урока, сформулированные на деятельностной основе:

- воспитательная: развитие мотивации для изучения геометрии; формирование уважительного отношения к иному мнению, к иной точке зрения; развитие самостоятельности в решении личностных проблем.

-учебная : Составить памятку, способствующую успешному изучению и доказательству теорем, применить ее для самостоятельного изучения

третьего признака подобия треугольников.

- развивающая: формировать умение анализировать, выделять главное, сравнивать, обобщать, систематизировать, объяснять понятия и доказывать их.

Этап

Название этапа

Задачи

Деятельность учителя (методы и приёмы обучения)

Деятельность ученика (формы организации УПД)

Ожидаемый результат (знания, умения, способы деятельности)

Мотивирование к учебной деятельности

Создать условия для возникновения внутренней потребности включения в учебную деятельность

У меня есть два треугольника. Стороны одного из них 3 см, 5см и 4 см, а другого 12 см, 20 см и 16 см. Как выяснить, подобны ли эти треугольники?

Проанализировать ситуацию, потытаться решить проблему.

Ученики задумаются над решением этой задачи, но решить не смогут.

Выявление места и причины затруднения.

Выяснить причины: почему мы не можем ответить на поставленный вопрос?

Организовать деятельность учеников так, чтобы подвести их к причине затруднения.

В процессе обсуждения ученики выясняют, что им мешает решить эту задачу, а что могло бы помочь выйти из затруднительного положения.

Ученики осознают, что для решения проблемы, у них недостаточно знаний

Построение проекта выхода из затруднения.

Помочь ученикам найти выход из ситуации

Учитель помогает в постановке цели с помощью подводящего диалога, побуждения к действию.

Учащиеся ставят цели и выбирают способ для достижения цели – изучить еще один признак подобия треугольников.

Проанализировав ситуацию, приходим к выводу о необходимости создания памятки по изучению и доказательству теорем.

Реализация намеченного плана

Создать универсальную памятку.

Учитель руководит процессом

Учащиеся составляют индивидуально свою памятку на основе «мои шаги», выявленных на предыдущих уроках, чтоб успешно изучить теорему; а затем в процессе обсуждения создаем универсальную памятку.

Создание памятки для успешного доказательства лябой теоремы по учебнику.

Реализация построенного проекта.

Разобрать по учебнику третий признак подобия треугольников.

Учитель руководит процессом

Ученики по учебнику разбирают новую для нх теорему и с помощью памятки описывают ее доказательство в тетрадь.

Теорема разобрана и ее доказательство записано в тетрадь.

Первичное закрепление с программированием во внешней речи

Выяснить все непонятные моменты в теореме

Учитель помогает учащимся, фиксируя преодоление возникших затруднений.

Соотносят записи в тетради с планом доказательства, выясняют возникшие вопросы и делают выводы.

.Проанализировать проделанную работу и устно разобрать доказательство

Включение в систему знаний и повторение.

Доказать третий признак подобия треугольников.

Учитель предлагает, используя составленную памятку, доказать теорему у доски.

Ученики по своему желанию доказывают теорему у доски.

Кто-то из ребят сможет ответить у доски.

Рефлексия учебной деятельности на уроке.

Фиксирует степень достижения цели.

Ученики понимают, что теперь и эта задача решаема, т.е. поднимается самооценка ученика.

Ученикам понравится такой вид деятельности и они поймут, что именно такой подход к изучению и доказательству теоремы наиболее эффективен.

Когда-то геометрия олицетворяла всю математику. Геометрия, как и всякая наука, возникла под влиянием жизненных потребностей. Необходимость повседневного удовлетворения их ставит человека перед целым рядом вопросов о форме окружающих его предметов, вычислениях, связанных с землемерием, строительным делом и т. д. Слово "геометрия" означает "землемерие" и ясно указывает на источник его происхождения.

Имеются вполне достоверные сведения о значительном развитии геометрических знаний в Египте более чем за две тысячи лет до нашей эры. Узкая плодородная полоса земли между пустыней и рекой Нилом ежегодно подвергалась затоплению, и каждый раз разлив смывал границы участков, принадлежавших отдельным лицам. После спада воды требовалось с возможно большей точностью восстановить эти границы, ибо каждый из участков ценился весьма высоко. Это заставило египтян заниматься вопросами измерения, то есть землемерием. Помимо этого, они вели развитую торговлю и поэтому нуждались в умении измерять емкость сосудов. Искусство кораблевождения привело их к астрономическим сведениям. Выдающиеся постройки египтян - пирамиды, которые сохранились до нашего времени, свидетельствуют, что их сооружение требовало знания пространственных форм. Все это указывает на чисто опытное происхождение геометрии.

Но математика росла и развивалась, особенно бурно последние 200 лет. Возникли новые направления: математический анализ, теория множеств, топология, совсем иначе стала выглядеть алгебра. Конечно, развивалась и геометрия, однако некоторые математики начали в последнее время относить ее к числу второстепенных математических направлений. Это мнение нашло свое отражение и в содержании школьных программ по математике, как в США, так и в ряде других стран.

Возможно тот факт, что в школьной программе геометрия занимает одно из последних мест, объясняется тем, что педагоги мало знают о природе геометрии и об успехах, которые были достигнуты ее исследователями. Я имею в виду многие блестящие результаты, такие, как теорема Фейрбаха, теореме Чевы, теорема Менелая и т. д.

Элементарная геометрия – часть геометрии, входящая в элементарную математику. Границы элементарной геометрии, как и вообще элементарной математики, не являются строго очерченными. Говорят, что элементарная геометрия есть та часть геометрии, которая изучается в средней школе; это определение, однако, не только не вскрывает содержания и характера элементарной геометрии, но и никак ее не исчерпывает, так как в не включается обширный материал, лежащий вне школьных программ (например, аксиоматика, сферическая геометрия). можно сказать, что элементарная геометрия есть исторически и, соответственно, логически первая глава геометрии (поскольку из нее развились другие геометрические направления); в свои основах она сложилась в Древней Греции, и изложение ее основ дают уже «Начала» Евклида (3 в. до н. э.). Такое историческое определение закономерно, но и оно также не уточняет общего содержания и характера элементарной геометрии, тем более, что развитие ее продолжается и в настоящее время. Потому определение элементарной геометрии может быть раскрыто и дополнено.

Элементарная геометрия исходит из простейших фигур – точка, отрезок, прямая, угол, плоскость, и основного понятия о равенстве отрезков или углов или вообще о совмещении фигур при наложении, чем определяется их равенство.

Предмет элементарной геометрии составляют:

1) фигуры, определяемые конечным числом простейших фигур;

2) фигуры, определенные тем или иным свойством, формулируемым в исходных понятиях.

Изучаемая в школе геометрия является иллюстрацией метода построения теории, которая получила название аксиоматического метода.

К началу III в. до н. э. в работах древнегреческого ученого Аристотеля была сформулирована идея построения научной теории. Применительно к геометрии ее реализовал Евклид в своей работе «Начала». На основании накопленных к тому времени фактов и знаний он выделил и сформулировал несколько утверждений (постулатов), принимаемых без доказательства, из которых выводились их логические следствия в виде теорем. система Эвклида явилась первым опытом применения аксиоматического метода и просуществовала без изменения до XIX века н. э. Однако она обладала рядом недостатков с современной точки зрения на аксиоматический метод, и на рубеже XIX – XX веков была построена геометрическая система, свободная от этих недостатков.

К середине XIX века, как уже было отмечено, основания евклидовой геометрии оставались на том же уровне, как они были изложены в работах Евклида. Однако общая тенденция к повышению математической строгости во второй половине XIX века побудила многих авторов к пересмотру основ геометрии с целью предложить полную, непротиворечивую, независимую систему аксиом. наибольшее признание среди различных сформулированных систем получила аксиоматика немецкого Давида Гильберта, изложенная в его книге «Основания геометрии» в 1899 г. Ему удалось построить аксиоматику геометрии, расчлененную настолько естественны образом, что логическая структура геометрии становилась совершенно прозрачной: три группы аксиом управляют каждая своим основным отношением – принадлежности, порядка, равенства. Такое расчленение позволило, во-первых, формировать аксиомы кратким и простым образом; во-вторых, исследовать, как далеко можно развить геометрию, если положить в основу не всю аксиоматику, а только ту или иную ее группу. При этом система задавала действительно абстрактную теорию, в которой объекты и отношения между ними – это просто какие-то мыслимые «вещи», про которые известно только то, что они удовлетворяют аксиомам.

Элементарная геометрия включает те вопросы геометрии, которые в своей постановке и решении не включают общей концепции бесконечного множества, но лишь конструктивно определенные множества (геометрические места). Когда говорят, что евклидова геометрия основана, скажем, на системе аксиом Гильберта или на иной, близкой по характеру системе аксиом то забывают, что при введении общих понятий кривой выпуклого тела длины и др. Фактически используют способы образования понятий, вовсе не предусмотренные в аксиомах, а опирающихся на общую концепцию множества, последовательности и предела, отображения или функций. То, что выводится из аксиом Гильберта без таких добавлений, и составляет элементарную часть евклидовой геометрии. Это разграничение можно уточнить в терминах математической логики. Вместе с тем, соответственно такому пониманию элементарной геометрии, можно говорить об элементарной геометрии n-мерного эвклидова пространства, о элементарной геометрии Лобачевского и др. При этом имеются в виду те разделы, теоремы и выводы этих геометрических теорий, которые характеризуются теми же чертами.

Тема моей работы: «Различные доказательства теорем элементарной геометрии не изучаемых в школе». Она рассматривает «именные теоремы, или теоремы великих ученых. Эта тема интересна тем, что доказывая теоремы школьного курса геометрии мы не всегда знаем, что они основаны на доказательстве какой-либо теоремы, доказанной еще в древние времена.

Рассмотрим доказательства именных теорем, не забывая о великих математиках, доказавших их.

1. Чева Джованни (Ceva Giovanni) (3. 3. 1648, Милан,- 13. 12. 1734, Мантуя) - итальянский инженер и математик. Окончил Пизанский университет. Основные работы по геометрии и механике. Доказал (1678) теорему о соотношении отрезков некоторых прямых, пересекающих треугольник (теорема Чевы). Построил учение о секущих, которое положило начало синтетической геометрии; оно изложено в соч. "О взаимно пересекающихся прямых" ("De line is rectis se inuicem secantibus", Mediolani, 1678).

Теорема. Пусть дан треугольник АВС и три прямые, проходящие через его вершины. Прямая, проходящая через его вершинуА, пересекает прямую ВС в точке А1, прямая, проходящая через вершину В пересекает сторону АС в точке В1, прямая, проходящая через вершину С, пересекает сторону АВ в точке С1. Эти прямые проходят через одну точку тогда и только тогда, когда

Доказательство

Необходимость.

Для случая пересекающихся прямых

Рассмотрим треугольник АВВ1 и прямую СС1, которая его пересекает.

По теореме Менелая

Рассмотрим треугольник СВВ1 и прямую АА1, которая его пересекает.

По теореме Менелая

Разделим первое соотношение на второе

Для случая непересекающихся прямых

По теореме Фалеса запишем пропорции: и

Перемножим пропорции: , значит

Достаточность.

По уже доказанному.

Но тогда, что означает, что А и А’ совпадут ч. т. д.

2. Теоре́ма Менела́я - это классическая теорема аффинной геометрии.

Подобный результат в сферической геометрии упоминается в трактате «Sphaerica» Менелая Александрийского (приблизительно 100-ый год нашей эры) и по-видимому, аналогичный результат на плоскости был уже известен. Эта теорема носит имя Менелая, поскольку более ранних письменных упоминаний об этом результате не сохранилось.

Хотя обоих математиков - древнегреческого и итальянского - разделяют 17 веков, теоремы, названные их именами, обладают двойственностью. Если в любой из них заменить прямую точкой и точку прямой, то теорема Менелая станет теоремой Чевы, и наоборот. Полезны они вот почему: те задачи, которые традиционно решаются довольно сложно с помощью аппарата векторной алгебры, решаются буквально в одну строчку с помощью теорем Менелая и Чевы. Это касается и обратных теорем. Доказательство принадлежности трех точек одной прямой решается очень просто с помощью теоремы, обратной теореме Менелая, доказательство того, что три прямые пересекаются в одной точке, так же легко решается с помощью теоремы, обратной теореме Чевы. Это наиболее важное событие в истории геометрии (открытие этих теорем), оказавшее влияние как на процесс развития математики, так и на развитие техники и смежных областей науки!

Теорема. Пусть на прямых BC, CA, AB, содержащих стороны треугольника ABC, даны соответственно точки A", B", C". Для того, чтобы эти точки лежали на одной прямой, необходимо и достаточно, чтобы имело место равенство

Доказательство.

Необходимость.

Проведем BKA"B". Из подобия треугольников CA"/A"B=CB"/B"K; BC"/C"A=KB"/B"A. Тогда AB"/B"C*CA"/A"B*BC"/C"A= =AB"/CB"*CB"/KB"*KB"/AB"=1. Если записать тоже самое в векторах, то с учетом направленности вектора получим требуемое равенство.

Достаточность.

Пусть A", B", C" не лежат на одной прямой, но верно равенство (1). Тогда пусть A"B" пересекается с AB в точке C". Тогда верно равенство (1) и для точек A", B", C". Но тогда при записи равенства один, сокращением на AB"/CB"*CA"/BA" (2), получаем, что BC"/AC"=BC"/AC". Если записать все это в векторах, то получится равенство (2) с векторами. Отсюда C"=C", т. е. A", B", C" лежат на одной прямой.

Если точки A",B" и C" лежат соответственно на прямых BC,CA и AB треугольника, то они коллинеарны, тогда и только тогда когда

Проведем через точку С прямую, параллельую прямой AB, и обозначим через K точку пересечения этой прямой с прямой B"C". Поскольку треугольники и подобны (по двум углам), то и, значит -

С тругой стороны, так как подобными являются также и треугольники и, то и, следовательно -

Но в таком случае

Остаётся заметить возможны два расположения точек A",B" и C", либо две из них лежат на соответствующих сторонах треугольник а одна на продолженни, либо все три лежат на продолжениях соответствующих сторон, отсюда для отношений направленных отрезков имеем ч. т. д.

Теорема. Если стороны ВС, СА, АВ треугольника АВС пересекаются в одной и той же точках a, b,c, то между отрезками, определенными таким образом на сторонах, имеем соотношение:

Доказательство.

Чтобы это доказать, проведем через вершины треугольника до пересечения с трансверсалью (трансверсалью называется любая прямая, пересекающая стороны треугольника) три прямые, параллельные какому-нибудь одному и тому же направлению, на которых установим одно и то же положительное направление.

Пусть α, β, γ – расстояния вершин от трансверсали, считая по проведенным параллельным прямым; имеем

Откуда, перемножая, получим:

Если бы трансверсаль была параллельна стороне ВС, то точку а следовало бы рассматривать как лежащую в бесконечности, а отношение как равное 1. Искомое соотношение обратилось бы при этом в, т. е. в теорему о прямой, параллельной какой-либо стороне треугольника. Если бы две стороны АВ и АС треугольника сделались параллельными, то точка А лежала бы в бесконечности; написав выражение в виде, мы заменили бы через 1 и получили бы теорему о прямой, параллельной одной из сторон треугольника.

Обратная теорема. Если не сторонах ВС, СА, АВ треугольника АВС взяты три точки a, b, c, удовлетворяющие соотношению то эти три точки лежат на одной прямой.

Действительно, прямая ab пересекает сторону АВ в некоторой точке c" так, что имеет место равенство:

Это равенство при сравнении его с предыдущим, показывает, что и что, следовательно, точки с и с" совпадают.

Примечание. Эта теорема, в сущности, сводится к теореме о прямой параллельной какой-либо стороне треугольника. Действительно, можно найти такие три отрезка α, δ и γ (заданные по величине и по знаку), что имеют место равенства:

Откуда в силу соотношения следует

Вследствие этого три попарно гомотетичные фигуры, в которых точки А, В и С будут тремя соответвенными точками и α, δ, γ – тремя соответственными отрезками, будут иметь точки a, b, c центрами подобия.

3. Теорема Фейербаха. Доказанная в 1822 году теорема Карла Вильгельма Фейербаха (1800–1834) утверждает, что окружность девяти точек (окружность, проходящая через середины сторон, основания высот и середины отрезков, соединяющих ортоцентр с вершинами) касается вписанной окружности треугольника и трёх его вневписанных окружностей. Эта теорема - один из самых красивых фактов элементарной геометрии.

Теорема Фейербаха. Окружность Эйлера касается вписанной и вневписанных окружностей.

Доказательство.

Пусть центр вписанной окружности - I, центр вневписанной окружности, касающейся BC - I", точки их касания с BC - L" и L", середины сторон DABC - A", B", C". GH - отрезок, симметричный отрезку BC относительно AI. Т. к. I, I" лежат на AI, BC - внутренняя касательная к этим 2-м окружностям, то GH тоже внутренняя касательная. Пусть GH∩A"B" - M, GH∩A"C" - N. Пусть GH∩BC=P, тогда P лежат на AI. Т. к. GH симметрична BC, то AG=AC, т. е. AI пересекает GC в середине. A"B", как средняя линия пересекает CG в середине, т. е. AI, A"B", CG пересекаются в одной точке. Назовем ее K. Из св-в вневписанной и вписанной окружностей получаем CL"=BL"; L"L"=AB-AC (обозначим вершины так, чтобы AB>AC). A"L"=(AB-AC)/2=BG/2=A"K(ср. лин.). DA"PK~DAPB, т. е. A"M/A"K=BG/BA; DA"CB"~DACB, т. е. BG/BA=A"K/A"B", т. е. A"M/A"K=A"K/A"B". Отсюда A"M*A"B"=A"K2=A"L"2=A"L"2. Из этого соотношения A"M=(c-b)2/(2c). Т. к. c>b, то A"M

4. Птолемей (Птоломей) Клавдий, знаменитый греческий геометр, астроном и физик; жил в Александрии в первой пол. II в. Главный труд "Великое Собрание", более известный в арабск. переводе под назв. "Альмагест". В геометрии имя П. носит теорема о произведении диагоналей вписанного четырехугольника. В астрономии П. дана теория эпициклов для объяснения видимого движения небесн. светил вокруг неподвижной земли (Птолемеева система). Другие соч: "География", "Harmonicorum libri III" (учение о гармонии) вполне сохранились, и "Оптика" (часть и в арабском переводе; в ней содержится учение об отражении и преломлении света); также 3 книги о музыке, важный источник сведений о древней музыке.

Теорема. Для того, чтобы около четырехугольника можно было описать окружность, необходимо и достаточно, чтобы сумма произведений противоположных сторон равнялась произведению его диагоналей.

Доказательство.

Необходимость.

Пусть a=AB; b=BC; c=CD; d=DA; e=AC; f=BD, тогда, пользуясь соотношением Бретшнайдера(В любом четырехугольнике (ef)2=(ac)2+(bd)2-2abcdcos(A+C), где e=AC; f=BD; a=AB; b=BC; c=CD; d=DA, ÐBAC=ÐA; ÐBCD=ÐC.), получаем: (ef)2=(ac)2+(bd)2-2abcdcos(A+C). Т. к. ABCD вписан в окружность, то ÐA+ÐC=180o, т. е. cos(A+C)=-1, т. е. (ef)2=(ac)2+(bd)2+2abcd. Отсюда (ef)2=(ac+bd)2, т. е. ef=ac+bd.

Достаточность.

ef=ac+bd, т. е. (ef)2=(ac)2+(bd)2+2abcd. По соотношению Бретшнайдера (ef)2=(ac)2+(bd)2-2abcdcos(A+C). Отсюда cos(A+C)=-1. Т. к. A+C

Теорема. Сумма произведений противоположных сторон вписанного четырехугольника равна произведению их диагоналей.

Проведем СМ так, чтобыМСD=ВАС.

ΔАВС~ΔDМС

ΔАDС~ΔВСМ

Сложим полученные равенства АВ*DC+BC*AD=AC*DM+AC*BM ч. т. д.

5. Блез Паскаль родился в 1623 г. в провинциальном городке. Блез оказался одарённым блестящим умом. В 14 лет он начал посещать математический кружок (из которого впоследствии выросла Французская академия наук), а в 16 - уже написал работу о конических сечениях («теорема Паскаля»), названную коллегами «наиболее сильным и ценным вкладом в математическую науку со дней Архимеда».

Теорема. У вписанного в окружность шестиугольника точки пересечения противоположных (если они есть) лежат на прямой, называемой прямой Паскаля вписанного шестиугольника.

Доказательство.

Пусть наш шестиугольник - AB"CA"BC". Пусть M=(AB")∩(A"B); P=(BC")∩(B"C); N=(CA")∩(C"A); X=(AB")∩(CA"); P=(BC")∩(CA"); N=(CA")∩(BC"). По свойству секущих XA*XB"=XC*XA" (1); YB*YC"=YC*YA" (2); ZB*ZC"=ZA*ZB" (3). По теореме Менелая к DXYZ и к тройкам точек (A; C"; N); (C; B"; P); (B; A"; M) получаем:

После перемножений данных выражений и применения формул (1); (2); (3) получаем, что:

Отсюда по теореме Менелая следует, что M, N, P коллинеарны.

Теорема. Во всяком шестиугольнике, вписанном в окружность, точки пересечения противоположных сторон лежат на одной прямой.

Доказательство.

Пусть ABCDEF – шестиугольник, противоположные стороны которого AB и DE пересекаются в точке L, стороны BC и EF – в М, стороны CD и FA – в N. рассмотрим треугольник IJK, образованный сторонами AB, CD, EF, другими словами, сторонами данного шестиугольника, взятыми через одну.

Точки L, М, и N расположены соответственно на сторонах JK, KI, IJ этого треугольника. Эти точки лежат на одной прямой, если имеет место соотношение:

Но, если мы пересечем последовательно треугольник IJK каждой из оставшихся сторон DE, BC, FA шестиугольника, мы получим соотношения:

Перемножив почленно эти три равенства, мы можем написать, группируя надлежащим образом множители числителя и знаменателя:

Но каждая из трех последних дробей, которые входят в левую часть, равна 1. Например, произведения CI*DI и EI*FI равны как произведения отрезков, отсеченных окружностью на секущих, выходящих из точки I. Таким образом, получается соотношение и теорема доказана.

Примечание. Предыдущее доказательство остается в силе, если точки A и B, C и D, E и F попарно совпадают и стороны треугольника IJK являются касательными к кругу.

При этом теорема принимает следующую форму: Касательные, проведенные через вершины треугольника, вписанного в круг, пересекают соответствующие стороны в трех точках, лежащих на одной прямой.

6. Жерар Дезарг родился в 1593 году (по другим источникам - в 1591г.). Паскаль называл его старшим свом современником и именно под влиянием работ Дезарга занялся проективной геометрией. В эпоху, когда не существовало еще научных журналов, активность таких математиков как Дезарг находила свое выражение в переписке ученых и деятельности дискуссионных кружков. Он состоял в переписке c Мареном Мерсенном, Декартом, Ферма, Паскалем и многими другими учеными. Из дискуссионных кружков ученых вырастали академии. Свою "теорему Дезарга" о перспективном отображении треугольников он обнародовал в 1648 году. Плодотворность этих идей в полной мере раскрылась лишь в девятнадцатом столетии. Так, Виктора Понселе, ученика Гаспара Монжа, директора Политехнической школы в Париже, в 1813 году привлекла система представлений, которую на два столетия раньше создавал Дезарг. Научные труды Дезарга легли в основу проективной геометрии. Проективно - геометрические идеи Дезарга привлекли интересы ряда ученых.

Теорема. Треугольники А1В1С1 и А2В2С2 расположены на плоскости так, что прямые А1А2, В1В2 и С1С2 имеют общую точку О. Пусть А – точка пересечения прямых В1С1 и В2С2, В – точка пересечения прямых А1С1 и А2С2, С – точка пересечения прямых А1В1 и А2В2. Тогда точки А, В, и С лежат на одной прямой.

Доказательство.

Применим теорему Менелая к треугольнику ОВ1С1 и прямой АВ2С2.

Аналогично для треугольников ОС1А1 и ОА1В1, пересекаемых прямыми ВС2А2 и СА2В2 соответственно.

Перемножив, после сокращений получим

Точки А, В и С лежат на сторонах или продолжениях сторон треугольника А1В1С1 и по теореме Менелая лежат на одной прямой.

Для того, чтобы доказать теорему Дезарга следующим способом надо вспомнить три пространственные аксиомы:

1. Две плоскости определяют одну и только одну прямую; три плоскости, не проходящие через одну прямую, определяют одну и только одну точку.

2. Две пересекающиеся прямые определяют одну и только одну точку и одну и только одну плоскость.

3. Две точки определяют одну и только одну прямую. Три точки, не лежащие на одной прямой, определяют одну и только одну плоскость.

Эта система аксиом остается неизменной, если обменять местами слова «точка» и «плоскость» (при этом первая аксиома поменяется местами с третьей, а вторая останется неизменной).

Теорема. Пусть даны в пространстве два треугольника АВС и А"B"C". Пусть эти треугольники расположены так, что прямые, соединяющие соответствующие вершины, пересекаются в одной точке О. Тогда, во-первых, три пары соответствующих сторон треугольников пересекаются в трех точках R, S, T и, во-вторых, эти три точки лежат на одной прямой.

Доказательство.

Первая часть этой теоремы доказывается весьма просто. Две пересекающиеся прямые АА" и ВВ" определяют согласно второй пространственной аксиоме некоторую плоскость. Но в этой плоскости расположены также прямые АВ и А"В" так, что согласно второй плоскостной аксиоме они пересекаются в некоторой точке R. Остается неопределенным, лежит ли точка R в конечной части пространства или в бесконечности. Существование двух других точек пересечения S и T можно доказать таким же образом.

Вторую часть теоремы легко установить в том случае, когда треугольники расположены в различных плоскостях. Тогда эти плоскости определяют одну – конечную или бесконечно удаленную – прямую пересечения (по первой пространственной аксиоме). Из каждой пары соответствующих сторон треугольника: одна расположена в одной плоскости, другая – в другой. А так как обе стороны пересекаются, то точка их пересечения должна лежать на прямой, принадлежащей обеим плоскостям. Таким образом мы доказали теорему Дезарга для общего случая.

Однако особенно важен как раз тот частный случай, когда оба треугольника лежат в одной плоскости. В этом случае доказательство можно провести при помощи проектирования в пространстве, подобно тому как доказывалась теорема Брианшона. Нам следует только доказать, что всякая плоская дезаргова фигура может быть представлена как проекция некоторой пространственной дезорговой фигуры. Для этой цели соединим все точки и прямые плоской дезарговой фигуры с некоторой точкой S, лежащей вне плоскости фигуры. Далее проведем через прямую АС плоскость; пусть эта плоскость пересекается с прямой ВS в точке В0, отличной от точки S. Затем проведем прямую ОВ0. Эта прямая лежит в одной плоскости с прямой В"S, и таким образом обе прямые пересекаются в точке В0". Но тогда треугольники АВ0С и А"В0"С" образуют пространственную дезаргову фигуру, так как прямые, соединяющие соответствующие вершины, проходят чрез точку О. Линия пересечения плоскостей обоих треугольников изображается при проектировании из точки S в виде прямой на плоскости проекций, причем точки пересечения соответствующих пар сторон рассмотренных первоначально треугольников АВС и А"В"С" должны лежать на этой прямой. Теорема Дезарга доказана полностью.

7. Папп Александрийский греческий геометр. Жил в конце III в. после Рождества Христова, стоял во главе философской школы, о которой, кроме факта ее существования, нет других сведений. Из не дошедших до нас сочинений Паппа известны по имени, а иногда и по некоторым сведениям о содержании: "Замечания" или комментарий на Альмагест Птолемея, комментарий к "Аналемме" Диодора и комментарий к "Элементам" Эвклида. Важнейшим из сочинений Паппа является известное под именем "Собрания" (συναγωγή), излагающее содержание тех математических сочинений, которые особенно ценились современниками.

Теорема. Если на одной прямой взяты точки A1, B1, C1, а на другой - точки A2, B2, C2, то прямые A1B2 и A2B1, B1C2 и B2C1, C1A2 и C2A1 пересекаются в трех коллинеарных точках.

Доказательство.

Пусть прямые A1B2 и A2B1, B1C2 и B2C1, C1A2 и C2A1 пересекаются в точках C, A, B соответственно, а прямые A1B2 и A2C1, B1C2 и B2A1, C1A2 и C2B1 пересекаются в точках A0, B0, C0 соответственно. Теперь применим теорему Менелая к следующим пяти тройкам точек: (A, B2, C1), (B, C2, A1), (C, A2, B1), (A1, B1, C1) и (A2, B2, C2). В результате получим:

После перемножения пяти данных равенств получим, т. е. точки A, B и C коллинеарны.

8. Гаусс Карл Фридрих (1777-1855). С именем К. Ф. Гаусса связаны многие замечательные страницы в истории математики. Он дал доказательство основной теоремы алгебры (всякое алгебраическое уравнение с действительными коэффициентами имеет корень). Гаусс создал теорию поверхностей. До него были изучены геометрии только на двух поверхностях: на плоскости (планиметрия Евклида) и на сфере (сферическая геометрия). Гаусс нашел способ построения геометрии на любой поверхности, определил, какие линии играют на поверхности роль прямых, как мерить расстояния между точками на поверхности и т. д. Теория Гаусса получила название внутренней геометрии. Он не опубликовал своих работ по неевклидовой геометрии и теории эллиптических функций. Эти результаты были открыты заново его младшими современниками: русским математиком Я. И. Лобачевским и венгерским математиком Я. Больяй в первом случае и норвежским математиком Г. X. Абелем и немецким математиком К. Г. Якоби во втором.

Теорема. Для того, чтобы три точки, лежащие на прямых, содержащих стороны треугольника BC, CA, AB (A", B", C" соответственно) были коллинеарны, необходимо и достаточно, чтобы середины отрезков AA", BB", CC" были бы коллинеарными.

Доказательство.

Необходимость.

Пусть M, N, P – середины соответственно AA", BB", CC" соответственно, A", B", C" – середины BC, CA, AB соответственно. По свойству средней линии PAB; MBC; NCA. Также по свойству средних линий имеем: (1).

По теореме Менелая. Пользуясь (1), получаем, что, откуда A", B", C" коллинеарны по теореме Менелая.

Достаточность.

Пусть A", B", C" коллинеарны, тогда по т. Менелая (2). По свойству средних линий имеем: (3). По (2) и (3) получаем, что, т. е. по теореме Менелая A", B", C" коллинеарны.

Изучая данную тему я пришла к заключению, что данные теоремы в основном рассматривают геометрию треугольника. И многие имена остались в истории математики только благодаря этим теоремам. Геометрия треугольника – это основа всей планиметрии. Теоремы сложны в доказательствах и восприятии, но на основе этих теорем доказываются многие теоремы школьного курса планиметрии и решаются практические задачи.