Sejam e funções reais de variável real definidas por com e . seja a reta normal ao gráfico da função no ponto , onde representa a função inversa da função . A reta contém o ponto