Going through the official solution of IMO 2016 Problem G2. Full pdf can be found here: https://www.imo-official.org/problems/IMO2016SL.pdf
I have a couple of questions regarding the solution.
Can someone prove or point me to a proof of the statement given at the end of the first paragraph starting with "it is well-known that angle BAT ..."? For something that is well-known the proof of it is surely hard to find.
In the second paragraph quadrilateral $SFTE$ is obviously harmonic. Why? I know the definition, but can't prove it.
At the end of the 2nd paragraph they project $T$ to infinity and say that $X$ is thus projected to $M$. Why? I played with the cross-ratio, but can't get anything close to the result.