Dictionnaire de Trévoux/6e édition, 1771/COÏNCIDER
(2, p. 675).
☞ COÏNCIDER, v. n. terme de Géométrie. Coincidere. Voyez Coïncidence & Coïncident. On le dit des figures, des lignes, des surfaces qui étant appliquées l’une sur l’autre, se répondent parfaitement, s’ajustent l’une sur l’autre. Ces deux surfaces, ces deux lignes coïncident.