WHAT we just did: turned a symbol into a rectangle.
WHY: the whole topic of factors is secretly the topic of "which rectangles can I build from n dots?" The multiplication sign is the door into that idea.
WHAT IT LOOKS LIKE: a filled grid — count the dots and you get 12.
Sometimes it works cleanly. Sometimes dots are left over — those leftovers are the remainder.
WHY the topic needs remainder: the entire definition of a factor hangs on this one word. a is a factor of nonly when the remainder is 0 — when the rectangle comes out perfectly full, no lonely dots.
The parent note writes n=a×k. Those letters scare people. They shouldn't.
Letters let us talk about every number at once instead of redrawing the argument for 12, then 24, then 36. That is why the parent note derives its rule with a and b rather than a specific number.
WHY the topic needs it: every rectangle you can build hands you two factors at once (both sides). Listing factor pairs is the fast way to list every factor without missing one.
This is the most feared symbol on the parent page, so we build it slowly.
WHY THIS tool and not another? We need a fair "middle" of every rectangle. In any rectangle with sides a and b where a≤b, the short side a can be at most the side of the square — because if a grew past n, so would b, and the two together would overflow n. The square root is exactly the fence between "short side" and "long side". That is why it, and nothing else, is the stopping line.
WHAT IT LOOKS LIKE (above): two rectangles for n=12. The short sides 1,2,3 all sit at or left of the dashed square-root line 12≈3.46; their long partners 12,6,4 sit to the right. No pair has both sides past the line — that is the whole reason we stop scanning at ⌊n⌋.
WHY the topic needs them: the whole proof that "one side is ≤n" is an argument about which is bigger. Without ≤ and > you cannot even state the reason the n rule works.
Each foundation above feeds directly into the parent topic and its neighbours: Prime numbers and composite numbers, Prime factorisation, HCF and LCM, Divisibility rules, Perfect squares, and Fractions in lowest terms.