Формула в теореме Ферма есть, но я не слышал, чтобы ее называли формулой Ферма. Собственно, формула появилась задолго до Ферма.
Локон Аньези - это геометрическая фигура. Конечно, у нее есть уравнение (как у всякой уважающей себя фигуры), но это уравнение также не носит имя математика Марии Аньези.