dériver
Définitions
Dériver employé comme verbe
- Détourner un cours d'eau.
- Quitter un cours d'eau naturel ou un chenal.
- Tirer son origine de quelque part ; découler. → voir dérivé.
- Être issu par dérivation propre ou impropre. → voir dérivé.
- 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.
- Dévier de sa route, en parlant d'un vaisseau, sous la poussée du vent ou sous l'action d'un courant.
- Détourner une cause morbide, l'attirer d'une partie dans une autre.