Solution:
Let equilateral △A1B1C1 have sides of length s. Since △AA1C is right with midpoint B1 on the hypotenuse AC,
B1A=B1C=B1A1=s=B1C1,
so points A, C1, A1, and C lie on a circle centered at B1. Therefore, △ACC1 is also right with hypotenuse AC. In other words CC1 is an altitude, but since it was an angle bisector, we conclude AC=BC.

In particular, C1 is the midpoint of AB. But since △AA1B is also right, the median A1C1 is half of the hypotenuse AB. In other words,
AB=2A1C1=2s=AC
completing the proof.