на фото..............
ответ:6
Объяснение:1. Заметим, что никакое число, не превосходящее 1015, не может иметь высоту 4. Действительно, наименьшее число высоты 4 — это
2222=216, при этом это число больше 1015.
2. Между тем числа высоты 3, не превосходящие 1015, существуют. Например, 16=222 имеет высоту 3. Таким образом, задача свелась к подсчёту количества чисел высоты 3, не превосходящих 1015.
3. Заметим, что
29≤1015≤210,
36≤1015≤37,
44≤1015≤45,
54≤1015≤55,
63≤1015≤64.
4. Найдём количество чисел высоты 3, не превосходящих 1015. Это то же самое, что найти количество решений неравенства:
x1x2x3≤1015, xi≥2.
Если x1=2, то x2x3≤9, отсюда x2=x3=2, или x2=2, x3=3, или x2=3, x3=2. Отсюда получаем 3 решения.
Далее, если x1=3,4,5, получаем, что x2=x3=2, что даёт ещё три решения.
Наконец, при x1≥6 получаем, что x2x3≤3. Но так как xi≥2, то таких x2, x3 не существует.
5. Таким образом, получаем 3+3=6 чисел максимальной высоты, не превосходящих 1015.
На протяжении всей истории математики[⇨] представление о и допустимых методах доказательства существенно менялось, в основном, в сторону большей формализации и бо́льших ограничений. Ключевой вехой в вопросе формализации доказательства стало создание математической логики[⇨] в XIX веке и формализация её средствами основных техник доказательства. В XX веке построена теория доказательств — теория, изучающая доказательство как математический объект[⇨]. С появлением во второй половине XX века компьютеров особое значение получило применение методов математического доказательства для проверки и синтеза программ[⇨], и даже было установлено структурное соответствие между компьютерными программами и математическими доказательствами (соответствие Карри — Ховарда[⇨]), на основе которого созданы средства автоматического доказательства[⇨].
Объяснение:
Основные приёмы, используемые при построении доказательств: прямое доказательство[⇨], математическая индукция и её обобщения[⇨], доказательство от противного[⇨], контрапозиция[⇨], построение[⇨], перебор[⇨], установление биекции[⇨], двойной счёт[⇨]; в приложениях в качестве математических доказательств привлекаются также методы, не дающие формального доказательства, но обеспечивающие практическую применимость результата[⇨] — вероятностные, статистические, приближённые. В зависимости от раздела математики, используемого формализма или математической школы не все методы могут приниматься безоговорочно, в частности, конструктивное доказательство[⇨] предполагает серьёзные ограничения.
1. Треугольники DOC и АОВ подобны по первому признаку подобия треугольников: два угла одного треугольника соответственно равны двум углам другого. В нашем случае углы DOC и АОВ равны как вертикальные углы, а углы DCA и САВ равны как накрест лежащие углы при пересечении параллельных прямых DC и АВ секущей АС.
2. Выразим ОС как 15-АО
3. Поскольку треугольники подобны, можно записать:
АО / ОС = АВ / DC,
АО = ОС*АВ / DC
AO = (15-AO)*AB / DC
AO = (15-AO)*96 / 24
24AO = (15-AO)*96
24AO = 1440 - 96AO
120AO = 1440
AO = 12 см
Объяснение: