(a²+b²)(ab+cd)-ab(a²+b²-c²-d²)=(ac+bd)(ad+bc) надеюсь сейчас условие правильное. Рассмотрим левую сторону:
(a²+b²)(ab+cd)-ab(a²+b²-c²-d²)= =a³b+a²cd+ab³+b²cd-a³b-ab³+abc²+abd²= =a²cd+b²cd+abc²+abd²= выносим за скобку из "жирного" ас, а из курсива bd =ac(ad+bc)+bd(bc+ad)= выносим общий множитель (ad+bc) за скобку =(ad+bc)(ac+bd) можем даже поменять местами =(ac+bd)(ad+bc) подставляем в тождество (ac+bd)(ad+bc)=(ac+bd)(ad+bc) что и требовалось доказать
(a²+b²)(ab+cd)-ab(a²+b²-c²-d²)=
=a³b+a²cd+ab³+b²cd-a³b-ab³+abc²+abd²=
=a²cd+b²cd+abc²+abd²= выносим за скобку из "жирного" ас, а из курсива bd
=ac(ad+bc)+bd(bc+ad)= выносим общий множитель (ad+bc) за скобку
=(ad+bc)(ac+bd) можем даже поменять местами
=(ac+bd)(ad+bc)
подставляем в тождество
(ac+bd)(ad+bc)=(ac+bd)(ad+bc)
что и требовалось доказать