Ответ:

Раскроем скобки в правой части:

\((ac+bd)^2+(ad-bc)^2=a^2c^2+2abcd+b^2d^2+a^2d^2-2abcd+b^2c^2.\)

Сложим подобные слагаемые: \(2abcd-2abcd=0\), поэтому получаем \(a^2c^2+a^2d^2+b^2c^2+b^2d^2.\)

Вынесем общие множители группами: \(a^2(c^2+d^2)+b^2(c^2+d^2)=(a^2+b^2)(c^2+d^2).\)

Правая часть равна левой, следовательно, тождество доказано.