As a point of interest the triangle DEF is called the orthic triangle of triangle ABC. Proof of concurrency To play with a GSP sketch that shows the orthocenter click here.