Is using projective, inversive and advanced Euclidean geometry allowed on STEP? An example of what I mean:
10 S3 Q5
The vertices $A$, $B$, $C$ and $D$ of a square have coordinates $(0,0)$, $(a,0)$, $(a,a)$ and $(0,a)$, respectively. The points $P$ and $Q$ have coordinates $(an,0)$ and $(0,am)$ respectively, where $ 0 < m < n < 1$. The line $CP$ produced meets $DA$ produced at $R$ and the line $CQ$ produced meets $BA$ produced at $S$. The line $PQ$ produced meets the line $RS$ produced at $T$. Show that $TA$ is perpendicular to $AC$.