En teoría de números, el método de factorización de Dixon (conocido también como método de los cuadrados aleatorios de Dixon[1]​ o algoritmo de Dixon) es un algoritmo general de factorización de enteros; es el método prototípico de base de factores, y el único método de este tipo para el cual los límites de ejecución no se basan en conjeturas sobre las propiedades de suavidad de los valores de un polinomio conocido.