已知直线和外一点 , 下面是小明设计的“过点作直线的垂线”的作法:
作法:①在直线上取点 , ;
②分别以点、为圆心,、为半径作弧,两弧在直线下方交于点;
③作直线 .
结论: , 且经过点 .
证明:连接 , , , .
由作法可知,∵ , ∴点在线段的垂直平分线上;
∵ ,
∴点在线段的垂直平分线上;(依据: )
∴直线是线段的垂直平分线(依据:两点确定一条直线)
∴ .
(1)如图1,如果点E是边AC的中点,AC=10,求DE的长;
(2)在(1)的条件下,求证:△ADC是等腰三角形.
(3)如图2,若∠ABC=30°,在BC边上取点F使BF=DF,若BC=18,求DF的长.