Ответ:
При \(b\ge 0\) имеем \(a^2b=a^2\cdot b\), причём оба множителя неотрицательны. Поэтому можно извлечь корень из каждого множителя:
\[\sqrt{a^2b}=\sqrt{a^2}\cdot\sqrt b=|a|\cdot\sqrt b.\]
Здесь использовано равенство \(\sqrt{a^2}=|a|\), справедливое для любого действительного \(a\).
Ответ: тождество доказано при \(b\ge 0\).
