Law of Gravitation: Is F Proportional to m1*m2?

[cepheid]

I just have a question about relationships between physical quantities. Is it true that if:

z \propto x \ \textrm{and}\ \ z \propto y

then z will always be in the form:

z = Cxy

Where C is a constant?

What prompted me to ask was Newton's Universal Law of Gravitation. In the textbook I have, it wastes no time arriving at the typical equation by simply stating that Newton determined that the gravitational force between two masses was directly proportional to the product of those masses and inversely proportional to the square of the distance between them. So my question could be restated: In the expression:

F = G\frac{m_{1}m_{2}}{r^2}

Is the fact that F is proportional to the product of the masses a necessary consequence of the mathematics? I.e., does the math demand that it be so in order to satisfy the condition that the gravitational force is directly proportional to (varies linearly with) m₁ and also varies linearly with m₂?

Or is there an alternative (non-physical) way of formulating the expression that still satisfies the stated condition. For instance, would:

F \propto m_1 + m_2

fit the bill mathematically? It seems to me that when you consider the relationship between F and each one of the masses, all other things being equal, it is still linear.

 

[geometer]

I just have a question about relationships between physical quantities. Is it true that if:

z \propto x \ \textrm{and}\ \ z \propto y

then z will always be in the form:

z = Cxy

Where C is a constant?

Actually, if z is proportional to x, then z = kx, where k is the constant of proportionality, and likewise, if z is also proportional to y, then z = ry, where r is again the constant of proportionality. So, we can right:

kx = ry, but I don't see how to get z = Cxy, unless you want to know what z^2 is, then you have z^2 = krxy or Cxy, where C = kr

 

[Tide]

If z^2 = Cxy then z would vary as \sqrt x and as \sqrt y. Obviously, that's inconstent with the original assertions.

 

[cepheid]

Actually, if z is proportional to x, then z = kx, where k is the constant of proportionality, and likewise, if z is also proportional to y, then z = ry, where r is again the constant of proportionality. So, we can right:

kx = ry, but I don't see how to get z = Cxy, unless you want to know what z^2 is, then you have z^2 = krxy or Cxy, where C = kr

Umm...(as Tide pointed out)...no. z cannot be expressed as a function of only one of either x or y. If z if proportional to both x and y, then any expression for z must include both variables on which z is dependent i.e. it must involve some combination of the two. The question I was asking was, in the case of the gravitational force law, this combination takes the form of a product. Is there any other mathematically (if not physically) valid form e.g. like the sum, as I asked in my first post, that still satisfies the condition that F is proportional to m1 and F is also proportional to m2?

 

[robphy]

Or is there an alternative (non-physical) way of formulating the expression that still satisfies the stated condition. For instance, would:

F \propto m_1 + m_2

fit the bill mathematically? It seems to me that when you consider the relationship between F and each one of the masses, all other things being equal, it is still linear.

It seems to me...
If F \propto m_1, then doubling m_1 will double F.
However, if F \propto (m_1 + m_2), doubling m_1 will not double F unless m_2=k m_1.

 

[HallsofIvy]

If z \propto x then, all other things held constant, z= Cx. If z \propto y then, all other things held constant, z= Dy. In the second equation, x is one of the things being held constant: If y is held constant and x varies then I must still have z= D y except that, now, y is constant and D is varying: z= Cx= (Ex)y.

There is an unfortunate ambiguity in the term "linear". In very basic math, y= ax+ b is called "linear" because its graph is a line. In more advanced math, the only "linear" functions are of the form y= ax.

As robphy pointed out, If z= Exy and you double x, z= E(2x)y= 2(Exy)= 2z. If you double y, z= Ex(2y)= 2(Exy)= 2z. On the other hand, if z= x+ y and you double x,
z= 2x+ y which is NOT 2z.