They proved that Dudeney's original solution was optimal. "Over a century later, we have finally solved Dudeney's puzzle by proving that the equilateral triangle and square have no common ...