由于输入限制,我们另外定义角符号*,即*CAB为角CAB证明：记*CAE=*1,*DAE=*2;*DAB=*3;*CEA=*4;*BEA=*5;则由*1=*2+*3得*C+*4=*B+*5（I)（三角形内角和180）又*4=*2+*3+*B（II)且*5=90-*2；*3=90-*B（III),将（II)、(III)式代入（I),整理化简得到*2+*2+*C-*B=0故*DAE=*2=（*B-*C)/2证毕