Show that the product of the least common multiple and the greatest common divisor of two positive integers a and b equals a * b. That is, prove: lcm(a,b) * gcd(a,b) = a * b.

GATE 1991 · Discrete Mathematics · Number Theory · medium

Answer: lcm(a,b) * gcd(a,b) = a * b for all positive integers a, b.

  1. Express gcd and lcm via prime exponents: For each prime p, let e = v_p(a) and f = v_p(b). Then gcd(a,b) has exponent min(e,f) for p, and lcm(a,b) has exponent max(e,f).
  2. Apply min + max = sum to conclude: lcm * gcd = prod p^{max(e,f)+min(e,f)} = prod p^{e+f} = (prod p^e) * (prod p^f) = a * b.