Let E be the center af the excircle wich is tangent to BC. Then AE is the bisector of angle A. AF and AG are bisectors of the two exterior, opposite, angles of A, so F, A, G are colinear.

Now, and . Then .

In the same way,

So ABC is the orthic triangle.