Let be an acute, non-isosceles triangle with as its orthocenter, circumcenter, nine-point center, and as the midpoints of the segments , respectively. is an arbitrary point inside triangle . Let intersect again at , respectively. is the reflection of through . We define points similarly.
a. Assume that , prove that the circle passes through .
b. Let be the reflection of with respect to the line . We define similarly. Suppose that intersect at respectively. Prove that are collinear.

