ab=ac,bd=cd ,ab-bd=ac-cd的依据