По связи аргументов от условия к заключению доказательства подразделяются на прямые и косвенные.
Прямое доказательство основано на каком-нибудь несомненном начале, из которого непосредственно устанавливается истинность теоремы.
Методы прямого доказательства:
– синтетический,
– аналитический,
– метод математической индукции.
Синтетический метод: при построении цепочки силлогизмов мысль движется от условия теоремы к ее заключению.
В учебниках приводятся преимущественно синтетические доказательства. Их преимущества – полнота, сжатость, краткость. Недостатки – отсутствие мотивации шагов, обоснования дополнительных построений; они носят значительно более формальный характер, чем аналитические доказательства.
S=πRl+πR², ( l образующая)
Sполн.пов.=πR*(l+R)
1. сечение конуса - равнобедренный прямоугольный треугольник: гипотенуза - хорда х=6, катеты - образующие конуса l.
по теореме Пифагора:
x²=l²+l², 6²=l²+l², l²=18, l=3√2
2. осевое сечение конуса - равнобедренный треугольник основание - диаметр основания конуса d, боковые стороны - образующие конуса l.
по теореме косинусов: d²=l²+l²-2*l*l*cos120°
d²=18+18-2*√18*√18*(-1/2)
d²=54, d=3√6. R=1,5√6
S=π*1,5(√6*3√2+1,5)=1,5*π*(6√2+1,5)
S=1,5π*(6√2+1,5)
По связи аргументов от условия к заключению доказательства подразделяются на прямые и косвенные.
Прямое доказательство основано на каком-нибудь несомненном начале, из которого непосредственно устанавливается истинность теоремы.
Методы прямого доказательства:
– синтетический,
– аналитический,
– метод математической индукции.
Синтетический метод: при построении цепочки силлогизмов мысль движется от условия теоремы к ее заключению.
В учебниках приводятся преимущественно синтетические доказательства. Их преимущества – полнота, сжатость, краткость. Недостатки – отсутствие мотивации шагов, обоснования дополнительных построений; они носят значительно более формальный характер, чем аналитические доказательства.