На протяжении всей истории математики[⇨] представление о и допустимых методах доказательства существенно менялось, в основном, в сторону большей формализации и бо́льших ограничений. Ключевой вехой в вопросе формализации доказательства стало создание математической логики[⇨] в XIX веке и формализация её средствами основных техник доказательства. В XX веке построена теория доказательств — теория, изучающая доказательство как математический объект[⇨]. С появлением во второй половине XX века компьютеров особое значение получило применение методов математического доказательства для проверки и синтеза программ[⇨], и даже было установлено структурное соответствие между компьютерными программами и математическими доказательствами (соответствие Карри — Ховарда[⇨]), на основе которого созданы средства автоматического доказательства[⇨].
Объяснение:
Основные приёмы, используемые при построении доказательств: прямое доказательство[⇨], математическая индукция и её обобщения[⇨], доказательство от противного[⇨], контрапозиция[⇨], построение[⇨], перебор[⇨], установление биекции[⇨], двойной счёт[⇨]; в приложениях в качестве математических доказательств привлекаются также методы, не дающие формального доказательства, но обеспечивающие практическую применимость результата[⇨] — вероятностные, статистические, приближённые. В зависимости от раздела математики, используемого формализма или математической школы не все методы могут приниматься безоговорочно, в частности, конструктивное доказательство[⇨] предполагает серьёзные ограничения.
3) Биссектриса угла делит противоположную сторону на отрезки пропорциональные прилегающим сторонам.
КС/ВК = АС/АВ
18/8=АС/12
АС=(18 х 12) : 8=27
4) BM : MC = 2 : 9, то есть BM = 2x и MC = 9x
Рассмотрим ΔABC и ΔKBM
По условию MK ║ AC ⇒ ∠BKM = ∠A - соответственные углы
∠B - общий ⇒ ΔABC ~ ΔKBM по двум равным углам. ⇒
ответ: AC = 99 см
5) Рассмотрим треугольники ВСО и АОД:
1) угол ВСО = углу АОД (вертикальные углы);
2) угол АДО = углу ОВС (накрест лежащие при параллельных ВС и АД и секущей АД)
Значит треугольник ВСО подобен треугольнику АОД по первому признаку.
Из подобнисти треугольников следует пропорциональность сторон:
ВС/AD = BO/OD
3/5 = х/х-24
72-3х = 5х
-8х = -72
х = 9
ВО = 9 см
ОД = 15 см
