Em teoria de números, o máximo divisor comum (MDC) de dois números inteiros positivos a e b, denotado por MDC(a, b), é sempre o maior divisor comum que pode ser expresso como uma combinação linear de a e b.