Prvo rješenje.
Traženi izraz jednak je
(ab1−cd1)(c1+d1)=abcdcd−ab⋅cdd+c=abc2d2cd2+c2d−abd−abc.
Iz a1+b1+c1+d1=0 dobivamo bcd+acd+abd+abc=0,
odakle slijedi bcd+acd=−abd−abc.
Stoga je
(ab1−cd1)(c1+d1)=abc2d2cd2+c2d−abd−abc=abc2d2cd2+c2d+bcd+acd=abc2d2cd(d+c+b+a)=abcdd+c+b+a.
Kako iz a+b+c+d+abcd=0 slijedi a+b+c+d=−abcd,
dobivamo
(ab1−cd1)(c1+d1)=abcdd+c+b+a=abcd−abcd=−1.
Drugo rješenje.
Dijeljenjem jednakosti a+b+c+d+abcd=0 s abcd dobivamo
bcd1+acd1+abd1+abc1+1=0,
a odatle
cd1(b1+a1)+ab1(d1+c1)=−1.
Kako je b1+a1=−d1−c1
imamo
cd1(−d1−c1)+ab1(d1+c1)=−1.
Konačno, izlučivanjem dobivamo
(c1+d1)(ab1−cd1)=−1.