Ответ:
Обозначим правую часть через \(S\). Оба подкоренных выражения неотрицательны: из \(a>0\) и \(a^2-b>0\) следует \(0<\sqrt{a^2-b} Возведём сумму в квадрат: \[S^2=\frac{a+\sqrt{a^2-b}}2+\frac{a-\sqrt{a^2-b}}2+2\sqrt{\frac{a^2-(a^2-b)}4}.\] Сумма первых двух слагаемых равна \(a\), а последнее слагаемое равно \(\sqrt b\), поскольку \(b>0\). Поэтому \(S^2=a+\sqrt b\). Так как \(S\ge0\), получаем \(S=\sqrt{a+\sqrt b}\). Тождество доказано.
