По связи аргументов от условия к заключению доказательства подразделяются на прямые и косвенные.
Прямое доказательство основано на каком-нибудь несомненном начале, из которого непосредственно устанавливается истинность теоремы.
Методы прямого доказательства:
– синтетический,
– аналитический,
– метод математической индукции.
Синтетический метод: при построении цепочки силлогизмов мысль движется от условия теоремы к ее заключению.
В учебниках приводятся преимущественно синтетические доказательства. Их преимущества – полнота, сжатость, краткость. Недостатки – отсутствие мотивации шагов, обоснования дополнительных построений; они носят значительно более формальный характер, чем аналитические доказательства.
Если угол (∠AOB) одного треугольника равен углу (∠COD) другого треугольника, а стороны, образующие этот угол (AO,OC; BO,OD), пропорциональны в равном отношении, то такие треугольники подобны.
△AOB ~ △COD
∠ABO=∠CDO
Если при пересечении двух прямых (AB; CD) секущей (BD) накрест лежащие углы (∠ABO; ∠CDO) равны, то прямые параллельны.
AB || CD
Из неравенства 18/15 ≠ 10/12 следует, что треугольники AOD и ВОС не подобны, ∠ADO≠∠CBO, AD не параллельна BC.
Трапеция - выпуклый четырёхугольник, у которого две стороны (AB; CD) параллельны, а две другие (AD; BC) не параллельны.
По связи аргументов от условия к заключению доказательства подразделяются на прямые и косвенные.
Прямое доказательство основано на каком-нибудь несомненном начале, из которого непосредственно устанавливается истинность теоремы.
Методы прямого доказательства:
– синтетический,
– аналитический,
– метод математической индукции.
Синтетический метод: при построении цепочки силлогизмов мысль движется от условия теоремы к ее заключению.
В учебниках приводятся преимущественно синтетические доказательства. Их преимущества – полнота, сжатость, краткость. Недостатки – отсутствие мотивации шагов, обоснования дополнительных построений; они носят значительно более формальный характер, чем аналитические доказательства.
AO/OC = BO/OD
∠AOB=∠COD (вертикальные углы равны)
Если угол (∠AOB) одного треугольника равен углу (∠COD) другого треугольника, а стороны, образующие этот угол (AO,OC; BO,OD), пропорциональны в равном отношении, то такие треугольники подобны.
△AOB ~ △COD
∠ABO=∠CDO
Если при пересечении двух прямых (AB; CD) секущей (BD) накрест лежащие углы (∠ABO; ∠CDO) равны, то прямые параллельны.
AB || CD
Из неравенства 18/15 ≠ 10/12 следует, что треугольники AOD и ВОС не подобны, ∠ADO≠∠CBO, AD не параллельна BC.
Трапеция - выпуклый четырёхугольник, у которого две стороны (AB; CD) параллельны, а две другие (AD; BC) не параллельны.
Четырёхугольник ABCD - трапеция.