Demonstração das principais derivadas pela definição