Interpretamos que la pregunta se refiere al número de pares desordenados de divisores (distintos) de n que son relativamente primos. Para mí es más fácil pensar en términos de pares ordenados.
Así que estamos produciendo un par ordenado (x,y) de divisores relativamente primos de n . Examinar uno tras otro los primos pi . En cada prime tenemos tres tipos de opciones: (i) asignar pi à x (ii) asignarlo a y (iii) no asignarlo a ninguno de los dos. Si asignamos pi à x se puede hacer en ai formas, para la potencia de pi está a nuestra disposición. Lo mismo ocurre con y . Y no podemos asignar a ninguno de los dos en 1 para un total de 2ai+1 . Por tanto, el número total de pares ordenados es P donde P=k∏1(2ai+1). Esto incluye el par ordenado (1,1) . Ahora, para pares no ordenados de distintos divisores relativamente primos, hay P−12 posibilidades.
Observación: Si queremos que el producto de los dos factores sea n el recuento resulta mucho más sencillo. Para los pares ordenados, elegimos un subconjunto del conjunto de los primos, y asignar paii en el subconjunto elegido a x y asignar el resto a y . Existen 2k maneras de elegir x y luego y está determinada. Así que hay 2k pares ordenados, y para n>1 hay 2k−1 pares desordenados.