在推导万有引力定律时，通常基于以下两个独立的实验/理论结论：
- 行星受引力与自身质量成正比：
- 太阳受引力与太阳质量成正比：
直觉上容易将两式直接“相乘”得到 。
但若严格按代数规则相乘，会得到 ，导致形式和量纲双重错误。
学生的典型疑问
学生常依据学习牛顿第二定律（）时的推导过程，通过具体数值类比，提出以下疑惑：
案例 A（纯数值，正确推导）
已知 且 （ 为独立变量），则联合比例为 ，即 。
当 时，代入得 。
(注：此处求特定状态下的值，正确使用等号 ，而非 )
案例 B（代数式，错误推导）
学生认为：既然案例 A 成立，那么已知 且 ，则 。
当 且 时，学生推导出：
学生疑问：为什么案例 B 的推导结果与课本中的万有引力公式（分母是 而非 ）不一致？
解析
（一）为什么不能直接相乘？
比例符号“”隐含了控制变量的前提。
- 的完整物理含义是：在 和 不变时， 与 成正比。写成等式时，比例系数实际上是 的函数：
- 同理， 的完整含义是：在 和 不变时， 与 成正比。等式为：
这两个等式成立的前提条件不同，系数 和 并非同一个绝对常数，它们互相“隐藏”了对方变量的影响。将不同控制条件下的关系式直接相乘，会丢失变量间的真实依赖关系，导致推导错误。
（二）正确的数学推导（分离变量法）
要严谨地合并这两个比例关系，需将上述两个等式联立：
消去 并重新排列，将含 的项和含 的项分别置于等式两侧：
分析等式两侧的变量依赖性：
- 左侧 仅依赖于 ，与 无关。
- 右侧 仅依赖于 ，与 无关。
由于 和 是独立变化的物理量，一个仅随 变化的量不可能恒等于一个仅随 变化的量。唯一的数学可能是：两者均等于一个与 皆无关的普适常数 ：
将 代回第一个等式：
由此严格得出 。这里的常数 即为万有引力常量 。
（三）物理视角的补充：对称性要求
数学推导确定了 与 的函数关系形式，而物理定律决定了其具体结构。
根据牛顿第三定律，引力是两物体间的相互作用，太阳对行星的引力与行星对太阳的引力大小相等。这要求引力公式在交换 和 时必须保持绝对对称。
乘积形式 既满足这种对称性，又与开普勒定律推导出的 的实验事实完美吻合。
核心结论总结
- 比例关系的本质：物理中的条件比例关系，其比例常数通常是其他未控制变量的函数。不同前提下的比例式不能直接进行代数相乘。
- 多变量函数的处理：遇到多变量的比例关系，应转化为等式并联立，利用分离变量法（等式两侧仅含单一独立变量，则必等于常数）进行严谨推导。
- 符号使用的严格界限： 用于构建变量间的动态函数模型（如 ）； 用于特定状态下的静态数值计算（如 ）。绝不可写出 这种抹杀变量动态属性的错误表达。
- 警惕共享变量：案例 B 错误的根本原因，在于 与 并非独立变量（共享了 ）。强行相乘会导致共享变量 的指数错误叠加（变成 ）。
PS
本 blog 在 Qwen 的帮助下完成。