На протяжении всей истории математики[⇨] представление о и допустимых методах доказательства существенно менялось, в основном, в сторону большей формализации и бо́льших ограничений. Ключевой вехой в вопросе формализации доказательства стало создание математической логики[⇨] в XIX веке и формализация её средствами основных техник доказательства. В XX веке построена теория доказательств — теория, изучающая доказательство как математический объект[⇨]. С появлением во второй половине XX века компьютеров особое значение получило применение методов математического доказательства для проверки и синтеза программ[⇨], и даже было установлено структурное соответствие между компьютерными программами и математическими доказательствами (соответствие Карри — Ховарда[⇨]), на основе которого созданы средства автоматического доказательства[⇨].
Объяснение:
Основные приёмы, используемые при построении доказательств: прямое доказательство[⇨], математическая индукция и её обобщения[⇨], доказательство от противного[⇨], контрапозиция[⇨], построение[⇨], перебор[⇨], установление биекции[⇨], двойной счёт[⇨]; в приложениях в качестве математических доказательств привлекаются также методы, не дающие формального доказательства, но обеспечивающие практическую применимость результата[⇨] — вероятностные, статистические, приближённые. В зависимости от раздела математики, используемого формализма или математической школы не все методы могут приниматься безоговорочно, в частности, конструктивное доказательство[⇨] предполагает серьёзные ограничения.
4
Объяснение:
sinх>cos2x .
Построим два графика на 0≤х≤2π . Найдем значения на оси ох , где график у=sinх выше графика у=cos2x . Это отрезок от 5π\6 до π\6. Длина этого отрезка 5π\6 - π\6=4π\6=2π\3
По условию (6*2п\3): π=4.
-----------------------------
Некоторые вычисления :
---------------------------
у=sinх ,синусоида , достигает максимального значения 1 в π\2,
минимального значения -1 в 3π\2.
Пересекает ось ох при х=0, π, 2π
---------------------------------
у=cos2x косинусоида сжатая в 2 раза , достигает максимального значения 1 в 0, минимального значения -1 в π\2.
Пересекает ось ох при х=π\4, 3π\4
------------------------------
Найдем точки пересечения , обозначенные на графике
sinх=cos2x . sinх=1-sin²х , 2sin²х+sinх-1=0 ,
sinх=
, на 0≤х≤2π , х=5π\6 , х= π\6.
sinх=
, на 0≤х≤2π , х=3π\2 .
--------------------------------