In `triangleABC,`
F is the mid-point of AB
E is the mid point of AC
`therefore EF=(1)/(2)BC`(mid point theorem)…(1)
Similarly,
`FD=(1)/(2)AB" "`(mid point theorem)`" "`…(2)
and `ED=(1)/(2)AB" "`(mid-point theorem)`" "`...(3)
but AB =BC =CA
`implies (1)/(2)AB =(1)/(2)BC=(1)/(2)CA`
`implies ED=EF=FD`
`implies triangleDEF` is an equilateral triangle. Hence proved.