Решим пропорцию:
$$9:16 = x:80$$
$$x = \frac{9 \cdot 80}{16}$$
$$x = \frac{9 \cdot 16 \cdot 5}{16}$$
$$x = 45$$
Ответ: 45