Conway had an analysis of the notorious Steiner-Lehmus theorem, arguing that no "equality-chasing proof" is possible. MO user Timothy Chow initiated a discussion about Conway's analysis on the FOM list some years back; see here (where Conway's argument is quoted).

For what it's worth, Wikipedia mentions a recent (2018) article that argues a direct proof of this theorem must exist (without giving the proof however!).