Comment by jks

Complex numbers are awesome for bashing through (some) IMO geometry problems. Points P, Q, R are collinear exactly when (p-q)/(p-r) is real, rotation is multiplication by exp(iϕ), etc.