过点d作dg⊥ab于g,
由已知条件可得
df=dg=de (一式)
de⊥bc于e,df⊥ac于f,∠c=90°则
四边形cedf为矩形:de=cf,df=ce
联合(一式)有:
de=dg=df=cf=ce
四边形cedf为正方形