# Who came up with the "proof" that all triangles are isosceles?

"All triangles are isosceles" is a famous geometric fallacy (see below). Unlike many other fallacies its flaw is subtle and hard to spot, so it is often used as a cautionary example against the "danger in diagrams", e.g. in Greenberg's text, but always, it seems, without attribution. It feels so much in the spirit of Euclid that one would think it may go back to antiquity, and Euclid did write a book of fallacies called Pseudaria, now lost. But no, only four geometric fallacies survive from antiquity, and "all triangles are isosceles" is not one of them.

So where did it come from, who came up with it? Or if that can not be traced, what is the earliest known appearence? I am also interested in tracking the origins of other geometric fallacies.

"Proof":

If the angle bisector at A and the perpendicular bisector of BC are parallel, then ABC is isosceles. On the other hand, if they are not parallel, they intersect at a point, which we call P, and we can draw the perpendiculars from P to AB at E, and to AC at F. Now, the two triangles labeled "alpha" in this figure have equal angles and share a common side, so they are equal by angle-side-angle. Therefore, PE = PF. Also, since D is the midpoint of BC, the triangles labeled "gamma" are equal right triangles by side-angle-side, and so PB = PC. From this it follows that the triangles labeled "beta" are right triangles with equal leg and hypotenuse, so equal to each other. Thus, we have BE+EA = CF+FA, meaning the triangle ABC is isosceles. (From mathpages)

• I'm guessing the fallacy is that P is actually outside the triangle? Commented Jan 3, 2015 at 12:17
• The fallacy is actually deeper than that. If E fell on AB, and F on AC, the fallacy would still "follow", whether P were inside or outside triangle ABC. If E fell on AB produced, and F on AC produced, the fallacy would "follow", with the change that we subtract BE from AE and CF from AF. The truth is that, of E and F, one falls on a side, but the other falls on the production of a side. If, for example, E falls on AB produced, but F falls on AC, then AB=AE-BE but AC=AF+FC. Commented Nov 28, 2016 at 10:27

• It was invented by Charles Dodgson (better known as Lewis Carroll) --- or does anyone have any earlier citations? It was published in The Lewis Carroll Picture Book (ed. Stuart Dodgson Collingwood, pub. 1899); chapter 5, Curiosa Mathematica"; Theorem 1, p.264. It was later published in W.W. Rouse Ball. Mathematical Recreations and Essays, 4th ed. (1905), ch. 2, p.38, as Third Fallacy". Commented Mar 1, 2020 at 15:46