Para una función real diferenciable sobre un subconjunto abierto "U" de R, el conjugado de Legendre del par ("U", "f") se define como el par ("V", "g"), donde "V" es la imagen de "U" según la función gradiente D"f", y "g" es la función sobre "V" dada por la fórmula