(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+<u>ab³</u>+b²cd-a³b<u>-ab³</u>+abc²+abd²= =a²cd+<em>b²cd</em>+abc²+<em>abd²</em>= выносим за скобку из "жирного" ас, а из курсива 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) что и требовалось доказать