Why must the graph of a relationship run through the origin for it to be proportional?

You can write a proportionality (between "x" and "y") as:

y = kx

where x is some constant.

For x = 0, y is also equal to zero, no matter what the value of k. Thus, the point (0, 0) - i.e., the origin - is part of the solution set.