ab+cd
=ab(c^2+d^2)+cd(a^2+b^2)(因为a^2+b^2=1,c^2+d^2=1)
=abc^2+abd^2+cda^2+cdb^2
=(abc^2+cda^2)+(abd^2+cdb^2)
=ac(bc+ad)+bd(ad+bc)
=(ac+bd)(ad+bc)
=0