证明：
∵∠C=90°
∴∠CAD=90°-∠ADC=90°-72°=18°
∵∠ADC=∠BAD+∠B（三角形外角等于不相邻两个内角和）
   即72°=∠BAD+54°
∴∠BAD=72°-54°=18°
∴∠CAD=∠BAD
即AD平分∠BAC