1) Прямая пропорциональность у=кх, подставим значения х и у заданной точки -5=к*3, отсюда к=-5/3=-1 2/3, и функция у=-1 2/3*х
2) В точке пересечения с осью координата другой оси =0
а) с оью 0х у=0, тогда 0=1.2х-24, 1.2х=24, х=20; с осью 0у х=0, у=-24
б) 0х: у=0, 0=-3/5х+2, х=10/3=3 1/3; ось 0у х=0, у=2
в) график у=10 не зависит от х, т.е. для любого х прямая параллельна 0х и ее не пересекает, а пересекает только у=10
3) раз график параллелен оси 0х, то функция не зависит от х (см. пример 2), и имеет вид у=в, для заданной точки М(-3;1) у=1, значит в=1 и функция имеет вид у=1 для любого х, в том числе х=-3
На протяжении всей истории математики[⇨] представление о и допустимых методах доказательства существенно менялось, в основном, в сторону большей формализации и бо́льших ограничений. Ключевой вехой в вопросе формализации доказательства стало создание математической логики[⇨] в XIX веке и формализация её средствами основных техник доказательства. В XX веке построена теория доказательств — теория, изучающая доказательство как математический объект[⇨]. С появлением во второй половине XX века компьютеров особое значение получило применение методов математического доказательства для проверки и синтеза программ[⇨], и даже было установлено структурное соответствие между компьютерными программами и математическими доказательствами (соответствие Карри — Ховарда[⇨]), на основе которого созданы средства автоматического доказательства[⇨].
Объяснение:
Основные приёмы, используемые при построении доказательств: прямое доказательство[⇨], математическая индукция и её обобщения[⇨], доказательство от противного[⇨], контрапозиция[⇨], построение[⇨], перебор[⇨], установление биекции[⇨], двойной счёт[⇨]; в приложениях в качестве математических доказательств привлекаются также методы, не дающие формального доказательства, но обеспечивающие практическую применимость результата[⇨] — вероятностные, статистические, приближённые. В зависимости от раздела математики, используемого формализма или математической школы не все методы могут приниматься безоговорочно, в частности, конструктивное доказательство[⇨] предполагает серьёзные ограничения.
