下面是他的探究发现过程,请你与他一起用尺规完成作图并补全证明过程(保留作图痕迹).
已知一条线段AB,分别以点A、B为圆心,以线段AB的长为半径画弧,两弧交于点C(点C在线段AB上方),作的角平分线交AB与D.
由作图可知
∴是 ▲ 三角形
∴( ▲ )
∵CD平分
∴CD垂直平分AB( ▲ )
∴ ,
又∵
即在中, , , 则 .