По связи аргументов от условия к заключению доказательства подразделяются на прямые и косвенные.
Прямое доказательство основано на каком-нибудь несомненном начале, из которого непосредственно устанавливается истинность теоремы.
Методы прямого доказательства:
– синтетический,
– аналитический,
– метод математической индукции.
Синтетический метод: при построении цепочки силлогизмов мысль движется от условия теоремы к ее заключению.
В учебниках приводятся преимущественно синтетические доказательства. Их преимущества – полнота, сжатость, краткость. Недостатки – отсутствие мотивации шагов, обоснования дополнительных построений; они носят значительно более формальный характер, чем аналитические доказательства.
Пусть данный ΔАВС, ∟A = 60 °, ∟B = 70 °, АВ = 2 см, AD = 1 см.
Найдем углы ΔBDC.
В ΔABD проведем медиану DK.
АК = КВ = 1 / 2АВ = 2: 2 = 1 см.
Рассмотрим ΔAKD - piвнобедрений (AD = АК = 1 см),
Если ∟A = 60 °, то ΔAKD - piвносторонний.
Итак, AD = АК = KD, ∟А = ∟AКD = ∟KDA = 60 °.
∟ВКD i ∟AKD - смежные, тогда ∟BKD + ∟AKD = 180 °.
∟BKD = 180 ° - 60 ° = 120 °.
ΔBKD - равнобедренный (KB = KD = 1 см), тогда
∟KBD = ∟KDB = (180 ° - 120 °): 2 = 30 °.
Рассмотрим ΔАВС:
∟A + ∟B + ∟C = 180 °. ∟C = 180 ° - (60 ° + 70 °); ∟C = 50 °.
∟B = ∟KBD + ∟DBC; ∟DBC = 70 ° - 30 ° = 40 °.
Рассмотрим ΔBDC:
∟DBC + ∟C + ∟BDC = 180 °.
40 ° + 50 ° + ∟BDC = 180 °. ∟BDC = 180 ° - 90 ° = 90 °.
Biдповидь: ∟BDC = 90 °; ∟DBC = 40 °; ∟C = 50 °
Объяснение:
По связи аргументов от условия к заключению доказательства подразделяются на прямые и косвенные.
Прямое доказательство основано на каком-нибудь несомненном начале, из которого непосредственно устанавливается истинность теоремы.
Методы прямого доказательства:
– синтетический,
– аналитический,
– метод математической индукции.
Синтетический метод: при построении цепочки силлогизмов мысль движется от условия теоремы к ее заключению.
В учебниках приводятся преимущественно синтетические доказательства. Их преимущества – полнота, сжатость, краткость. Недостатки – отсутствие мотивации шагов, обоснования дополнительных построений; они носят значительно более формальный характер, чем аналитические доказательства.