Let be a triangle. Let and be the points in which the median and angle bisector, respectively, at meet the side . Let and be the points in which the perpendicular at to meets and , respectively, and be the point in which the perpendicular at to meets produced. Prove that is perpendicular to .
Solutions — 2
Solution 1
Let meet the circumcircle of at point , the midpoint of arc that does not contain .

The orthogonal projection of onto side is . Let and be the orthogonal projections of onto lines and , respectively. Points , and lie in the Simson line of with respect to . Since is in the bisector of , is a kite, and the Simson line is perpendicular to , and therefore parallel to .
Now consider the homothety with center that takes to . Since and , and are parallel, which means that is taken to . Finally, line is parallel to line , so line is taken to line by the homothety. Then is taken to , and since is taken to , line is taken to line . We are done now: this means that is parallel to , which is perpendicular to (it is its perpendicular bisector, as and .)
Solution 2
Consider a cartesian plane with as the origin and the bisector as -axis. Thus has equation and has equation . Let and . By symmetry, the problem is immediate if , that is, if . Suppose that from now on. Line has slope . Let .
Point is the midpoint of , so has slope .
The line through that is perpendicular to the -axis is . Therefore
In the right triangle , with altitude , . Thus
Finally, the slope of is
Since the product of the slopes of and is
and are perpendicular, and we are done.