延长AD BC交于F,AC和BD为三角形ABF的高
因为AC=BD,所以由面积
1/2AC*BF=1/2BD*AF
BF=AF(三角形ABF是等腰三角形)
又ABD全等于ABC
AD=BC
所以FD=FC
所以FCD=FDC
所以EDC=ECD