Gọi giao điểm của phân giác tại góc A,B là I. Vẽ IM,IN,IP,IQ lần lượt vuông góc với AB,BC,CD,DA tại M,N,P,Q.
Khi đó theo tính chất đường phân giác ta có AM=AQ,BM=BN
\Rightarrow AB=AQ+BN \Rightarrow CD=AD+BC-(AQ+BN)=DQ+CN
Nếu AB \parallel CD và AD \parallel BC thì dễ thấy ABCD phải là hình thoi...