dériver

Verbe

Détourner un cours d’eau. (Propre) Quitter un cours d’eau naturel ou un chenal. Tirer son origine de quelque part ; découler. → voir dérivé. (En particulier) (Grammaire) (Linguistique) Être issu par dérivation propre ou impropre. → voir dérivé. (Mathématiques) Trouver le rapport de l’accroissement d’une fonction à celui de la variable, quand la variable s’accroît d’une quantité de plus en plus petite. → voir dérivée. Sortir de ou être issu de quelque chose. (Marine) (Aéronautique) Dévier de sa route, en parlant d’un vaisseau, sous la poussée du vent ou sous l’action d’un courant. (Médecine) Détourner une cause morbide, l’attirer d’une partie dans une autre.