Andrew Wiles drew these diagrams in the margin of an article he was reading about a problem of Fermat's. Wiles said he had a more detailed proof of the inconsistency that used these diagrams, but said it wouldn't fit into the margin.


Thanks to Joe Becker for bringing the triangles to my attention.