Answer:
Option 4
Explanation:
=> The length of DE = EF will prove that DEF is an isosceles triangle (having two sides equal)
=> Their slopes being the opposite reciprocals will prove that they are perpendicular to eachother and DEF is a right angled triangle.