homogeneous(齐次性)

homogeneous(齐次性)

世界上没有完全相同的两片树叶
—————Leibniz

一、概述

homogeneous在几何上是图形的相似关系，如相似三角形；在代数上是公式的相似关系，如线性方程组和多项式的齐次性；在向量分析上是近似代替思想，如微分的定义，即用线性量代替其他的非线性量；在数值分析上是泰勒多项式插值法，即用多项式在一定程度上代替某一函数。

homogeneous这个词在数学中翻译为齐次性，他描述数学对象在特定变换下，保持某种不变性或规律性。在多项式或函数中具体表现为某种相似关系，即表现为表达式中各项指数相同。

二、齐次性的代数表达

我们来看一下最简单的多项式，如下所示。
$$x$$
多项式只有一项，变量也只有一个，指数为$1$。现在我们进行一种变换，将变量$x$变换$k$倍，即$(x)\to (kx)$。对变量进行变换之后的多项式如式（2）所示。
$$kx$$
我们用$P_1$表示多项式（1），用$P_2$表示多项式（2），经过比较我们很容易得到$P_2=k{P}_1$,也就是说两个多项式之间只相差了一个常数因子$k$，其余部分相同。

现在我们观察一个稍微复杂的多项式，我们称之为多项式（3），用$P_3$表示。如式（3）所示。
$$x^2+y^2$$
与多项式（1）相比，我们增加了一个变量$y$，并且把各项指数增加到了$2$。现在我们进行类似的变换，将所有变量变换$k$倍，即$(x,y)\to (kx,ky)$。变换后多项式如式（4）所示。
$$(kx{)}^2+(ky{)}^2=k^2(x^2+y^2)$$
我们将多项式$P_3$与$P_4$比较，也能够得出与前面相同的性质，即两式之间只相差了一个常数因子，而其他部分保持不变。

现在我们进一步观察一个更一般的多项式。
$$x_1^n+x_2^n+x_3^n+...+x_m^n$$
与上文变换相似，我们将所有变量扩大$k$倍，即$(x_1,x_2,x_3,...,x_m)\to (k{x}_1,k{x}_2,k{x}_3,...,k{x}_m)$。变换后多项式如式（6）所示。
$$(k{x}_1{)}^n+(k{x}_2{)}^n+(k{x}_3{)}^n+...+(k{x}_m{)}^n=k^n(x_1^n+x_2^n+x_3^n+...+x_m^n)$$
观察到现在，我们就能够对齐次性有了一个相对清晰的认识了，即多项式的变量整体变换$k$倍后，多项式仍保留有原多项式的结构的性质。用代数式可表达如下。
$$P(k{x}_1,k{x}_2,k{x}_3,...,k{x}_m)=k^{n}P(x_1,x_2,x_3,...,x_m)$$
在函数中的齐次性习惯表达为式（8）。
$$f(k{x}_1,k{x}_2,k{x}_3,...,k{x}_m)=k^{n}f(x_1,x_2,x_3,...,x_m)$$
当变量只有一个($m=1$)，变量指数$n=1$时，表达式可写作如下形式，即我们常见的齐次性的表达方式。
$$f(kx)=kf(x)$$

三、如何理解齐次性

简单来说，齐次性就是一种结构相似性。所谓相似就是某对象经过变换之后存在相似量。下面我们用一个例子来进行说明何谓结构相似性，即齐次性。

例：

在三角形中已知两条边$a=b=k$（$k$为变量），为构建等腰$\Delta abc$我们还需要给出三角形的第三条边$c$ 。其中$c$边的构建有以下两种方式：

1. $c^2=a^2+b^2+2abcos（\pi -2\alpha ）$ ($\alpha$为常数，为构建$c$边所选取的某角度)
2. $c^2=a^2+b^2+1$

求$bc$边角度变化。

解：

根据余弦定理可知 $cos\theta =\frac{b^2+c^2-a^2}{2bc}$，代入条件一可得
$$cos\theta =\frac{b^2+(a^2+b^2+2abcos(\pi -2\alpha )-a^2}{2bc}$$
$$=\frac{2b^2+2abcos(2\alpha )}{2bc}=\frac{b}{c}+\frac{a}{c}cos(2\alpha )=\frac{k}{c}(1+2cos\theta )2co{s}^2\alpha$$
$$=\frac{k}{\sqrt{a^2+b^2+2abcos（\pi -2\alpha ）}}2co{s}^2\alpha =\frac{k}{\sqrt{k^2(1+1+2cos（2\alpha ）}}2co{s}^2\alpha$$
$$=\frac{k}{\sqrt{2k^{2}2co{s}^2\alpha }}2co{s}^2\alpha =cos\alpha$$
即$\theta =\alpha$，所求角度即为所设置角度。

代入条件2可得
$$cos\theta =\frac{b^2+(a^2+b^2+1)-a^2}{2bc}=\frac{2b^2+1}{2bc}$$
$$=\frac{2k^2+1}{2k\sqrt{2k^2+1}}=\frac{(2k^2+1{)}^{\frac{1}{2}}}{2k}$$
故$\theta =arccos(=\frac{(2k^2+1{)}^{\frac{1}{2}}}{2k})$，其中

定义域： { k ∈ R : k ≤ − 1 2   o r   k ≥ 1 2 } \{k\in R:k\leq-\frac{1}{\sqrt{2}}\ or \ k\ge\frac{1}{\sqrt{2}}\} {k∈R:k≤−2 ​1​ or k≥2 ​1​}；

值域为： { θ ∈ R : 13 5 ∘ ≤ θ ≤ 18 0 ∘   o r   0 ∘ ≤ θ ≥ 4 5 ∘ \{\theta\in R:135^{\circ}\leq\theta\leq180^{\circ}\ or \ 0^{\circ}\leq\theta\ge45^{\circ} {θ∈R:135∘≤θ≤180∘ or 0∘≤θ≥45∘。

方式一中，等式右边构建$c$边所使用的多项式为齐次的，而方式二中等式右边的多项式为非齐次的。经过计算我们可以得知，通过方式一构建的三角形其角度不会随$k$的变化而变化，二方式二则相反。这里的角度不变性，就是齐次性在具体实例中的体现。