a*d=a*(a*c)*b-a*(a*b)*c
=(a*c)*(a*b)-(a*b)*(a*c)
=0
所以a垂直于d