площадь прамоугольника S = a * b;
пусть меньшая сторона = х, тогда большая = х+5
составим уравнение
x * (x + 5) = 50
x² + 5x = 50
x²+5x - 50 = 0
по теореме виета
х1*х2=-50
х1+х2=-5
х1=-10; х2=5;
так как длина стороны не может иметь отрицательное значение нам подойдет только х2, следовательно
1. ширина площадки: 5 м
длина: 5 + 5 = 10 м
бордюр будет укладываться по периметру площадки
P = (5 + 10 ) * 2 = 30 м
так как 30/8=3,75 нашим горе строителям придется купить 4 упаковки и оставить 2 метра бордюра себе
На протяжении всей истории математики[⇨] представление о и допустимых методах доказательства существенно менялось, в основном, в сторону большей формализации и бо́льших ограничений. Ключевой вехой в вопросе формализации доказательства стало создание математической логики[⇨] в XIX веке и формализация её средствами основных техник доказательства. В XX веке построена теория доказательств — теория, изучающая доказательство как математический объект[⇨]. С появлением во второй половине XX века компьютеров особое значение получило применение методов математического доказательства для проверки и синтеза программ[⇨], и даже было установлено структурное соответствие между компьютерными программами и математическими доказательствами (соответствие Карри — Ховарда[⇨]), на основе которого созданы средства автоматического доказательства[⇨].
Объяснение:
Основные приёмы, используемые при построении доказательств: прямое доказательство[⇨], математическая индукция и её обобщения[⇨], доказательство от противного[⇨], контрапозиция[⇨], построение[⇨], перебор[⇨], установление биекции[⇨], двойной счёт[⇨]; в приложениях в качестве математических доказательств привлекаются также методы, не дающие формального доказательства, но обеспечивающие практическую применимость результата[⇨] — вероятностные, статистические, приближённые. В зависимости от раздела математики, используемого формализма или математической школы не все методы могут приниматься безоговорочно, в частности, конструктивное доказательство[⇨] предполагает серьёзные ограничения.
