El teorema de Varignon es un teorema enunciado por primera vez por el matemático neerlandés Simon Stevin a principios del siglo XVII, pero que debe su actual forma al matemático francés Pierre Varignon (1654-1722), quien lo enunció en 1687 en su tratado "Nouvelle mécanique", como resultado de un estudio geométrico en el que, en contra de la opinión de los matemáticos franceses de su época, decidió trasladar las ideas expuestas por Newton a la notación y al enfoque que sobre el análisis sostenía Leibniz.