Ответ:

При переходе от формата А0 к формату А1 линейные размеры уменьшаются в \(\sqrt{2}\) раза. Поэтому размер шрифта также нужно уменьшить в \(\sqrt{2}\) раза:

\[x=\frac{80}{\sqrt{2}}\approx56.57\text{ пункта}.\]

Округляем до целого числа:

\(56.57\approx57\).

Ответ: 57 пунктов.