等比定理的证明过程-等比定理证明过程

等比定理说白了就是个“乘法因式分解”的逆向版，要么说是平方差公式在几何里的延伸。你不用把它当成一个死板的公理去背，它实际上就是说，只要两个数相乘，拆开来看，积不变的性质依然成立。 这就好比你在做代数题时时常遇到的那种情况：你手里有两个数，你没法直接算出它们的乘积，但你知道它们的积等于某个已知的数，比如 10。
这时候，你拆开来看，它们是 2 和 5。
要是你再遇到一个数，这个数刚好等于 2 和 5 的乘积，这玩意儿就存有。
那这玩意儿到底是多少呢？ 这就得用到我们熟悉的平方差公式了。在代数里，(a-b)(a+b) 等于 $a^2 - b^2$。在等比数列里，要是你有一个数 $a$，然后乘以它前面的一个数 $b$ 拿到 $ab$，再乘以它后面的一个数 $c$ 拿到 $abc$，最终还有一个数 $d$，使得 $c = bd$。
那么 $abc$ 就等于 $ab cdot bd$。
这时候，数字 $b$ 就充当了那个“公共因子”。 你能够想象成一个房间，里面放着一堆东西。
要是你把一堆东西按组的概念拆开来，你会发现其中一组（比如 A 组）和另一组（比如 B 组）实际上是彻底一样的东西，只是摆放位置不同。当你把这两组东西合起来放回原来的位置，总数并没有变。
这就像是把 $a$ 和 $b$ 这两个变量，从原来的位置 $1$ 挪到 $2$，从 $2$ 挪到 $1$。 等比数列的核心规律，就是看这一系列数字的“前一项”和“后一项”是不是相等。
要是它们相等，那整个数列就是一个等差数列（别看这里用词可能有点不清楚，但逻辑上是通的）。
要是它们不相等，那它就是一个真正的等比数列。 这个逻辑链条实际上挺随意，彻底没有教科书那种“起初、其次、最终”的严谨划分。我们不如打个比方。假设你要买一套家具。
这套家具的价格是 $a$ 元，你选择了一个打折力度为 $b$ 的折扣，那么你买到的价格是 $ab$ 元。接下来你发现，买这个家具的优惠力度 $b$，和你买另一个东西——比如一个相框的价格 $c$ ——实际上是彻底一样的。
也就是说，$b$ 和 $c$ 是同一个东西。 那这套家具的原价 $a$ 是多少呢？挺好办，就是 $ab$ 除以 $c$。出于 $c$ 和 $b$ 一样，故此这就变成了 $ab$ 除以 $b$，结局就是 $a$。怪的是，你本来买的是 $ab$，目前除以了 $c$，结局却变回了 $a$。
为啥？出于那个 $b$ 被消掉了。 这就是等比定理真正的魅力所在：它把复杂的乘法运算，简化成了好办的除法运算。你不需求去计算那个“公比”到底是多少，你只需求确认那两个因子是否相等，就能瞬间得出结论。 举个例子，假设你有一串数字：$1, 2, 4, 8, dots$。
这显然是个等比数列，出于后一项除那会儿一项一辈子是 2。
要是你问它是否知足等比定理？答案是肯定的。
你看，$2$ 乘以 $4$ 等于 $8$。而 $8$ 除以 $4$ 也等于 $2$。全链条对上了，定理成立。 再换一个例子，假设序列是 $3, 6, 12, 24, dots$。
这里 $3$ 乘以 $4$ 等于 $12$。而 $12$ 除以 $3$ 是 $4$。没难题。
可是，要是序列是 $2, 3, 6, 12$，这里 $2$ 乘以 $3$ 等于 $6$，但 $6$ 除以 $2$ 是 $3$，不等于 $6$。
这时候等比关系断了。 实际上，等比定理的推导过程，本质上就是一场“因子对撞”。你拿着两个数字 $a$ 和 $b$ 去乘，然后你又拿着 $c$ 找进来，让 $c$ 去撞 $b$。
要是撞不破，那就是错的；要是撞进去了，那个被“撞”过的 $b$ 就在两边抵消了一大半。剩下的，就是纯粹的 $a$ 在讲话。 这就解释了大量为啥我们在处理几何图形时，时常会看到“面积比等于相似比的平方”这种感觉。出于面积的运算，本质上就是两个矩形相乘，而相似图形的对应边长比就是常数 $q$（公比）。
那么面积就是 $S_1 cdot S_2$，而 $S_1$ 和 $S_2$ 的长宽比都是 $q$。便相乘的时候，那个 $q$ 就被消掉了，剩下的面积比，就只跟长度比相关了。 这种逻辑上的“消元法”，在数学里贼常见。你不需求揪心那些看不见的变量，出于它们在运算过程中恰好替你搞定了工作。
只要把它们找出来，不跑神，你就知道这个定理肯定是对的。 最终总结的话，等比定理就是告诉你，只要乘法运算中某个因子是重复出现的，你就不用关心它具体等于多少，它会自动从结局里“消亡”。你只需求关切剩下的局部，它们之间的乘法关系依然保持等价。
这听起来有点绕，实际上道理挺好办：就是乘法里的“约分”过程。