Fue formulada por el prolífico Leonardo Euler en 1783; trece años después se encargó de probarla Carlos Gauss.