Ответ:
При переходе от формата А0 к формату А1 линейные размеры уменьшаются в \(\sqrt{2}\) раза. Поэтому размер шрифта также нужно уменьшить в \(\sqrt{2}\) раза:
\[x=\frac{80}{\sqrt{2}}\approx56.57\text{ пункта}.\]
Округляем до целого числа:
\(56.57\approx57\).
Ответ: 57 пунктов.
