En matemáticas, y más precisamente en la aritmética, la división euclidiana (o euclídea), también llamada algoritmo de la división, es un teorema que asegura que «"el proceso habitual de división entre números enteros"» puede llevarse a cabo y que se obtiene un cociente y un residuo únicos.