as desired.
Another interesting property of the symmedian is that it is the locus of the midpoints of antiparallels. We
say that two lines/segments `1 and `2 are antiparallel with respect to an angle if the angle formed by `1 with
one side of the angle is equal to the angle formed by `2 with the other side.