证明：延长BD交AC于E因为角DEC=角A+角ABD（三角形外角和定理）角BDC=角DEC+角ACD（三角形外角和定理）所以角BDC=角ABD+角A+角ACD
这就是了。
外角 DEC=ABD+A 而BDC=DEC+DCE 所以……
