На протяжении всей истории математики[⇨] представление о и допустимых методах доказательства существенно менялось, в основном, в сторону большей формализации и бо́льших ограничений. Ключевой вехой в вопросе формализации доказательства стало создание математической логики[⇨] в XIX веке и формализация её средствами основных техник доказательства. В XX веке построена теория доказательств — теория, изучающая доказательство как математический объект[⇨]. С появлением во второй половине XX века компьютеров особое значение получило применение методов математического доказательства для проверки и синтеза программ[⇨], и даже было установлено структурное соответствие между компьютерными программами и математическими доказательствами (соответствие Карри — Ховарда[⇨]), на основе которого созданы средства автоматического доказательства[⇨].
Объяснение:
Основные приёмы, используемые при построении доказательств: прямое доказательство[⇨], математическая индукция и её обобщения[⇨], доказательство от противного[⇨], контрапозиция[⇨], построение[⇨], перебор[⇨], установление биекции[⇨], двойной счёт[⇨]; в приложениях в качестве математических доказательств привлекаются также методы, не дающие формального доказательства, но обеспечивающие практическую применимость результата[⇨] — вероятностные, статистические, приближённые. В зависимости от раздела математики, используемого формализма или математической школы не все методы могут приниматься безоговорочно, в частности, конструктивное доказательство[⇨] предполагает серьёзные ограничения.
О - точка пересечения диагоналей ВD и АС. ВО/OD=2/5. h=BC=4
1) Тр-ки ВОС и AOD подобны по трем соответственно равным углам (1 пара вертикальных и 2 пары накрест лежащих). Из подобия следует пропорциональность сходственных сторон: BC/AD=BO/OD; AD=BC*OD/BO=4*5/2=10.
2) Проведем две высоты ВN и СМ. Высоты разделят нижнее основание на отрезки;
NM=BC=4; AN=MD=(AD-NM)/2=3.
3) Тр-к ABN с катетами BN=4 и AN=3 - египетский. Значит, гипотенуза АВ=5. (А можно найти АВ по теореме Пифагора),
На протяжении всей истории математики[⇨] представление о и допустимых методах доказательства существенно менялось, в основном, в сторону большей формализации и бо́льших ограничений. Ключевой вехой в вопросе формализации доказательства стало создание математической логики[⇨] в XIX веке и формализация её средствами основных техник доказательства. В XX веке построена теория доказательств — теория, изучающая доказательство как математический объект[⇨]. С появлением во второй половине XX века компьютеров особое значение получило применение методов математического доказательства для проверки и синтеза программ[⇨], и даже было установлено структурное соответствие между компьютерными программами и математическими доказательствами (соответствие Карри — Ховарда[⇨]), на основе которого созданы средства автоматического доказательства[⇨].
Объяснение:
Основные приёмы, используемые при построении доказательств: прямое доказательство[⇨], математическая индукция и её обобщения[⇨], доказательство от противного[⇨], контрапозиция[⇨], построение[⇨], перебор[⇨], установление биекции[⇨], двойной счёт[⇨]; в приложениях в качестве математических доказательств привлекаются также методы, не дающие формального доказательства, но обеспечивающие практическую применимость результата[⇨] — вероятностные, статистические, приближённые. В зависимости от раздела математики, используемого формализма или математической школы не все методы могут приниматься безоговорочно, в частности, конструктивное доказательство[⇨] предполагает серьёзные ограничения.
Объяснение:
О - точка пересечения диагоналей ВD и АС. ВО/OD=2/5. h=BC=4
1) Тр-ки ВОС и AOD подобны по трем соответственно равным углам (1 пара вертикальных и 2 пары накрест лежащих). Из подобия следует пропорциональность сходственных сторон: BC/AD=BO/OD; AD=BC*OD/BO=4*5/2=10.
2) Проведем две высоты ВN и СМ. Высоты разделят нижнее основание на отрезки;
NM=BC=4; AN=MD=(AD-NM)/2=3.
3) Тр-к ABN с катетами BN=4 и AN=3 - египетский. Значит, гипотенуза АВ=5. (А можно найти АВ по теореме Пифагора),
4) Р=2*АВ+BC+AD=10+4+10=24 см.