1.1.11 · D5Arithmetic & Number Systems

Question bank — LCM — prime factorization method, relationship HCF × LCM = product

1,771 words8 min readBack to topic

True or false — justify

True or false: The LCM of two numbers is always larger than both of them.
False — if one number divides the other (e.g. 4 and 12), the LCM equals the larger one (12), not something bigger. It is both, never strictly greater than both.
True or false: The HCF of two numbers is always smaller than both of them.
False — if one divides the other (e.g. 6 and 18), the HCF equals the smaller one (6). HCF is both, and can equal the smaller.
True or false: If two numbers are coprime (share no common factor), their LCM is just their product.
True — coprime means every prime's exponent is 0, so , and .
True or false: HCF() always divides LCM().
True — for every prime, (recall are the exponents in the two recipes), so every prime power in the HCF is present (to at least that power) in the LCM. Hence HCF is a factor of LCM.
True or false: For any two numbers, LCM is a multiple of HCF.
True — same reason as above stated the other way: since HCF divides LCM, LCM is a multiple of it. In fact .
True or false: If you double both numbers, the LCM also doubles.
True — doubling adds one factor of 2 to each recipe, so the max exponent of 2 rises by exactly 1, multiplying the LCM by 2. (The other primes' maxima are unchanged.)
True or false: LCM() HCF() equals for every pair of positive integers.
True — this holds for all pairs of two positive integers, because for each prime (the exponents in the two recipes). It only fails when you try to stretch it to three or more numbers.
True or false: Two different pairs of numbers can never have the same LCM and the same HCF.
False — take HCF , LCM : both the pair and the pair have HCF and LCM , yet are different pairs. HCF and LCM fix the product and which primes appear, not and individually. (Given HCF, LCM and one number, though, the other is forced.)

Spot the error

Spot the error: "For the Least Common Multiple I take the least (smallest) power of each prime."
"Least" describes the final number being smallest, not the exponents. You must take the max power so the result is divisible by both; taking the min would give a number that is not even a multiple of the larger one.
Spot the error: " have HCF and LCM , so their product should equal ."
The rule HCF LCM product only works for exactly two numbers. For three or more it breaks, as this very example shows (). Use min/max per prime directly.
Spot the error: ", so its prime factorization is and I'll use the power ."
is not prime — it is . You must break down to genuine primes: the recipe of is . Using as if it were a prime block breaks the max/min-per-prime method.
Spot the error: "HCF of 12 and 35 is 1, and they share no primes, so they have no LCM."
They are coprime (HCF ), but coprime numbers still have an LCM — it is simply their product, . Every pair of positive integers has an LCM.
Spot the error: " and ; for HCF I ignore the 5 because it's awkward, giving — wait, that's actually right, so ignoring is fine."
The answer is right but the reason is wrong. You don't "ignore" the 5; you include . The 5 contributes a factor of 1 because 72 has none — that is the principled reason it drops out.
Spot the error: "Since , and I don't know the HCF, I can just divide by any common factor I spot."
You must divide by the highest common factor, not just any common factor. Dividing by a smaller common factor overcounts and gives a number larger than the true LCM.

Why questions

Why must every prime that appears in either number appear in the LCM?
Because the LCM must be a multiple of both. If a prime is in one number's recipe, any multiple of that number must contain that prime — so the LCM cannot leave it out.
Why does taking the max exponent give the smallest common multiple, rather than a larger one?
The max is the minimum requirement to be divisible by both. Any exponent above the max would still be a common multiple but a strictly bigger number — so the max is exactly enough, and enough-but-no-more is smallest.
Why can the HCF never contain a prime raised higher than in one of the numbers?
The HCF must divide both numbers, and a divisor can use a prime at most as many times as the number it divides. So its exponent is capped by the smaller of the two — that is why HCF uses the min.
Why does the identity prove HCF LCM ?
Here are a prime's exponents in and . HCF supplies exponent and LCM supplies ; multiplying them adds exponents to , which is exactly the exponent of that prime in . True for every prime means the whole products match.
Why is the "" shortcut trustworthy without factorizing?
It is a direct algebraic rearrangement of the proven identity HCF LCM . As long as HCF is known and the pair is two numbers, the shortcut is exact, not an approximation.

Edge cases

Edge case: What is LCM() — the LCM of a number with itself?
It is itself. Every prime's max exponent is , so nothing changes. Likewise HCF(), and indeed . ✓
Edge case: What is HCF() when and are coprime?
It is — every shared prime power is . The number 1 is the "empty product" of primes (a recipe with no ingredients) and is the HCF of any coprime pair.
Edge case: What is LCM() and HCF() for any ?
has an empty prime recipe, so max exponents come entirely from : LCM . HCF takes min exponents, all , so HCF . Check: . ✓
Edge case: If divides , what are HCF and LCM in one glance?
Since 's recipe already contains all of 's primes to at least equal powers, mins give (HCF ) and maxes give (LCM ). No arithmetic needed.
Edge case: Why do we insist the LCM be a positive integer, and refuse 0 as "a common multiple of everything"?
is technically a multiple of every number, but "least positive" excludes it — otherwise 0 would always win and the concept would be useless. We want the smallest positive common multiple.
Edge case: What is HCF() for a positive ?
By the standard convention it is — every integer divides , so the largest number dividing both and is the largest divisor of , which is itself. (This is why in the Euclidean algorithm's base case.)
Edge case: What is LCM() for a positive ?
It is taken to be — the only common multiple of and is (since 's only multiple is ). This is the one place the "smallest positive" phrasing breaks, so LCM with a zero is defined separately as .
Edge case: What are HCF() and LCM()?
Both are conventionally : every integer divides so there is no largest common divisor in the usual sense, and the convention , is chosen to keep formulas consistent. This is a degenerate corner — normal LCM/HCF assumes positive integers.
Edge case: Can two numbers have LCM equal to their HCF?
Only when the numbers are equal. LCM HCF forces for every prime, meaning throughout (equal exponents in both recipes), so . Otherwise LCM is strictly larger.

Connections