Solution 1. Note that
(ad+bc+ca−db)2=(a(c+d)+b(c−d))2=a2(c+d)2+2ab(c2−d2)+b2(c−d)2≤(c+d)2+2ab(c2−d2)+(c−d)2=2(c2+d2)+2ab(c2−d2)=2[(1+ab)c2+(1−ab)d2]≤2[(1+ab)+(1−ab)](since −1≤ab≤1)=4,
whence
∣ad+bc+ca−db∣≤2.
When a2=1, equality can only occur when we are in case (iii), hence b2=1.
Then ab=±1 and equality in the second inequality occurs iff c2=d2=1.
When b2=1, equality can only occur when we are in case (ii), hence a2=1.
Then ab=±1 and equality in the second inequality occurs iff c2=d2=1.
When a2=b2=1, we either have a=b=±1 and then ab=1, in which case equality in the second inequality occurs iff c2=1, or we have a=−b=±1, hence ab=−1, and equality in the second inequality occurs iff d2=1.
Equality holds in the first inequality iff we are in one of the following four cases: (i) a2=b2=1, or (ii) a2=1,c=d, or (iii) b2=1,c=−d, or (iv) c=d=0. When c=d=0, the second inequality is strict, so we are not interested in case (iv).
---
In summary, equality occurs iff one of the following holds:
ac=banda2=b2=c2=1, or=−dandb2=c2=d2=1.