對於P, Q,我們知道lcm(P, Q) = P * Q / gcd(P, Q)
我們將其改寫成lcm(P, Q) / gcd(P, Q) = (P / gcd(P, Q)) * (Q / gcd(P, Q)),而右邊兩項是互質的(gcd,你懂的)
所以我們的目的變為找到兩個互質的數相乘為左邊項(似乎存在x0不能整除y0的情況,送出0就好了)
誠然,互質就是沒有共同的質因數,對於左邊項,我們要麼把某個質因數都丟給P / gcd(P, Q),或者都不給
所以對於不同的質因數,假設其數量n,我們可以給P總共2^n可能(選或不選),而Q會唯一對應(x0 * y0 / P)
能寫到這裡的大家想必都會質因數分解,加油:D