证明：∵DC平分∠ACB⇒∠BCD=∠ECD。∵∠1=∠B（已知）⇒DE//BC（同位角相等，两直线平行）。∴∠EDC=∠BCD（两直线平行，内错角相等）。∴∠EDC=∠ECD（等量代换）。
∵∠1＝∠B∴DE∥BC∴∠EDC＝∠DCB∵DC平分∠ACB∴∠EDC=∠DCB＝∠DCE
