∣∣∣a+ibc+id−c+ida–ib∣∣∣×∣∣∣α−iβγ−iδ−γ−iδα+iβ∣∣∣
=∣∣∣(aα+bβ−cγ+dδ)−i(aβ−bα+cδ+dγ)(aγ+bδ−cα−dβ)−i(aδ−bγ+cβ+dα)−(aγ+bδ−cα−dβ)−i(aδ−bγ+cβ+dα)(aα+bβ−cγ+dδ)+i(aβ−bα+cδ+dγ)∣∣∣
=∣∣∣A−iBC−iD−C−iDA+iB∣∣∣, where
A=aα+bβ−cγ+dδB=aβ−bα+cδ+dγC=aγ+bδ−cα−dβD=aδ−bγ+cβ+dα
By expanding the determinants, we can also see that,
(a2+b2+c2+d2)×(α2+β2+γ2+δ2)=(A2+B2+C2+D2)
Or (a2+b2+c2+d2)(α2+β2+γ2+δ2)=(aα+bβ+cγ+dδ)2+(aβ−bα+cδ−dγ)2+(aγ−bδ−cα+dβ)2+(aδ+bγ−cβ−dα)2