在三角形ADC中,角C=90度,AD平分角BAC,DE垂直AB于点E