This page assumes nothing. Before we can even say "m1=m2" we must earn every mark on that line: what a point is, what a slope is, what tanθ means, what ax+by+c=0 hides. Read top to bottom; each idea uses only the ones above it.
Look at the figure. The plum dot sits at (3,2): walk 3 right, then 2 up. That pair of numbers is the point's address. Every point we ever mention on this topic is just such an address.
Pick two points on a line, say (x1,y1) and (x2,y2). The little "1" and "2" (called subscripts) are just name-tags — "first point", "second point" — they are not multiplication.
Why divide? Because tilt is a rate, not a raw distance. A staircase climbing 2 up for every 1 across is steeper than 2 up for every 4 across — the same rise, different steepness. Only the ratio captures steepness, so we divide.
The parent topic quietly uses positive, negative, zero, and undefined slopes. Here they all are:
That last case is exactly why the parent note keeps warning "handle vertical lines by inspection." Division by zero is undefined, so vertical lines have no slope number — you cannot compare them with "m1=m2".
The parent claims m=tanθ. That symbol θ (Greek letter "theta") and the word "tan" need earning.
Now, why does the ratio rise/run equal tanθ?
Look at the figure. The line, the run, and the rise form a right triangle. The angle θ sits at the bottom-left. The side oppositeθ is the vertical rise; the side adjacent is the horizontal run. So
tanθ=adjacentopposite=runrise=m.
Because equal angles give equal tangents, "two lines point the same way" (θ1=θ2) becomes "two lines have the same slope" (m1=m2). That is the entire parent theorem in one line.
The parent uses ax+by+c=0 and the shortcut m=−ba. Let's earn those letters.
Why this form exists: it can describe every straight line, including vertical ones (set b=0, giving ax+c=0, i.e. x=−c/a). The rise/run form y=mx+… cannot do verticals, so this fuller form is the safe container.