По связи аргументов от условия к заключению доказательства подразделяются на прямые и косвенные.
Прямое доказательство основано на каком-нибудь несомненном начале, из которого непосредственно устанавливается истинность теоремы.
Методы прямого доказательства:
– синтетический,
– аналитический,
– метод математической индукции.
Синтетический метод: при построении цепочки силлогизмов мысль движется от условия теоремы к ее заключению.
В учебниках приводятся преимущественно синтетические доказательства. Их преимущества – полнота, сжатость, краткость. Недостатки – отсутствие мотивации шагов, обоснования дополнительных построений; они носят значительно более формальный характер, чем аналитические доказательства.
Объяснение: Через две пересекающиеся прямые AC и BD проведём плоскость АВСD. Четырёхугольник ABCD лежит в одной плоскости, так как две пересекающиеся прямые АС и BD определяют единственную плоскость. Если две параллельные плоскости пересекаются третьей, то прямые пересечения параллельны⇒ АВ ║CD. Тогда треугольникм АКВ и CKD подобны по двум углам (имеем даже три равных угла - <CKD=<AKB как вертикальные, а <BAC(BAK)=<ACD(KCD) и <ABD(ABK)=<BDC(KDC) как накрест лежащие при параллельных AB и CD и секущих АС и BD соответственно). Коэффициент подобия равен k=AB/CD=1/2. Из подобия имеем: KB/KD=1/2 => KD=KB*2 = 10см.
По связи аргументов от условия к заключению доказательства подразделяются на прямые и косвенные.
Прямое доказательство основано на каком-нибудь несомненном начале, из которого непосредственно устанавливается истинность теоремы.
Методы прямого доказательства:
– синтетический,
– аналитический,
– метод математической индукции.
Синтетический метод: при построении цепочки силлогизмов мысль движется от условия теоремы к ее заключению.
В учебниках приводятся преимущественно синтетические доказательства. Их преимущества – полнота, сжатость, краткость. Недостатки – отсутствие мотивации шагов, обоснования дополнительных построений; они носят значительно более формальный характер, чем аналитические доказательства.
Объяснение: Через две пересекающиеся прямые AC и BD проведём плоскость АВСD. Четырёхугольник ABCD лежит в одной плоскости, так как две пересекающиеся прямые АС и BD определяют единственную плоскость. Если две параллельные плоскости пересекаются третьей, то прямые пересечения параллельны⇒ АВ ║CD. Тогда треугольникм АКВ и CKD подобны по двум углам (имеем даже три равных угла - <CKD=<AKB как вертикальные, а <BAC(BAK)=<ACD(KCD) и <ABD(ABK)=<BDC(KDC) как накрест лежащие при параллельных AB и CD и секущих АС и BD соответственно). Коэффициент подобия равен k=AB/CD=1/2. Из подобия имеем: KB/KD=1/2 => KD=KB*2 = 10см.
ответ: KD=10см.