求证:直线AD是线段CE的垂直平分线.
∴∠AED=90°=∠ACB,
又∵AD平分∠BAC,
∴∠DAE=∠DAC,
∵AD=AD,
∴△AED≌△ACD,
∴AE=AC,
∵AD平分∠BAC,
∴AD⊥CE,
即直线AD是线段CE的垂直平分线.
阅读文言文,回答问题
北山愚公者,年且九十,面山而居。惩山北之塞,出入之迂也。聚室而谋曰:“吾与汝毕力平险,指通豫南,达于汉阴,可乎?”杂然相许。其妻献疑曰:“以君之力,曾不能损魁父之丘,如太行、王屋何?且焉置土石?”杂曰:“投诸渤海之尾,隐土之北。”遂率子孙荷担者三夫,叩石垦壤,箕畚运于渤海之尾。邻人京城氏之孀妻有遗男,始龀,跳往助之。寒暑易节,始一反焉。
河曲智叟笑而止之曰:“甚矣,汝之不惠!以残年余力,曾不能毁山之一毛,其如土石何?”
(节选自课文《愚公移山》)
关于图中甲处的高度H甲,下列说法正确的是( )