All Triangles Are Isosceles
How Is It Possible?

I plan to show that all triangles are isosceles, or at least all acute triangles are. Given such an acute ABC, find the intersection P of the bisector of angle C and the perpendicular bisector at the midpoint M of side AB. Drop perpendiculars PU and PV on the sides AC and BC, respectively.

Now, since MP is the perpendicular bisector of AB, triangles AMP and BMP are equal by SAS. Therefore, AP = BP. Right triangles CPU and CPV share a side (CP) and have equal angles at C. By ASA, they are equal. Therefore, CU = CV and PU = PV. In right triangles APU and BPV,

They are therefore equal by SSS. Therefore, AU = BV. But then

How come?

Copyright © 1996-2008 Alexander Bogomolny

The problem is with the drawing. The angle bisector of C and the perpendicular bisector of AB always intersect on the circumcircle of ABC. This is because the angle bisector from C divides the arc AB opposite C into two equal parts. The same effect is obviously achieved by the perpendicular bisector of AB that passes through the circumcenter.

The original drawing is intentionally misleading.

References

1. V. M. Bradis et al, Lapses in Mathematical Reasoning, Dover, 1999, pp. 137-138
2. C. W. Dodge, Euclidean Geometry and Transformations, Dover, 2004 (reprint of 1972 edition), 7.23.

Copyright © 1996-2008 Alexander Bogomolny