过点D作ED⊥AB
因为,∠C=90°(已知)
所以AC⊥BC(垂直的意义)
因为AD平分∠BAC(已知)
又因为AC⊥BC,ED⊥AB,垂足为E,C(已知)
所以CD=DE(角平分线上任意一点到线段的两边距离相等)
因为CD=4(已知)
所以DE=4(等量代换)
过点D作ED⊥AB
因为,∠C=90°(已知)
所以AC⊥BC(垂直的意义)
因为AD平分∠BAC(已知)
又因为AC⊥BC,ED⊥AB,垂足为E,C(已知)
所以CD=DE(角平分线上任意一点到线段的两边距离相等)
因为CD=4(已知)
所以DE=4(等量代换)