胡永建 周 蓓

(北京師范大學數(shù)學科學學院 100875)

《普通高中數(shù)學課程標準(2017年版2020年修訂)》將平面與空間等距變換列為普通高中數(shù)學選修課程A類課程“空間向量與代數(shù)”專題的教學內(nèi)容. 通過該內(nèi)容的學習，使學生了解平面與空間變換的定義，理解平面與空間等距變換，掌握常見平面與空間等距變換及其矩陣表示[1]．平面和空間等距變換對于高中數(shù)學教師來說，幾乎都是全新的教學內(nèi)容．本文首先介紹有關映射和變換的基本概念[2,3]，然后介紹平面等距變換的定義、性質(zhì)和矩陣表示，最后通過例子介紹平面等距變換的矩陣表示的應用．希望本文的介紹對高中數(shù)學教師理解和講授這部分內(nèi)容有參考價值.

1 映射與變換

設σ為從集合X到Y(jié)的映射，如果存在從集合Y到X的映射τ，使得τσ=idX，στ=idY，則稱σ為可逆映射．此時，τ稱為σ的一個逆映射．事實上，如果σ是可逆映射，則它的逆映射是唯一的．我們將σ的逆映射記作σ-1.可以證明，σ為可逆映射當且僅當σ為雙射．并且，如果σ，τ為可逆映射，則σ-1,τσ也是可逆映射.

集合X到自身的一個映射稱為X的一個變換．所以，恒等映射也稱為恒等變換. 設σ為集合X的一個變換，x∈X．如果σ(x)=x，則稱x為σ的一個不動點．顯然，X中的每一個元素都是恒等變換idX的不動點.

2 平面等距變換及其性質(zhì)

下面介紹平面等距變換的一些基本性質(zhì).

如果在性質(zhì)1中限定t∈[0，1],那么線段AB在σ下的象為線段A′B′.因此，平面等距變換將線段變成與之等長的線段，進而將直線變成直線，將三角形和平行四邊形分別變成與之全等的三角形和平行四邊形．一般地，平面等距變換將每個平面圖形變?yōu)榇笮『托螤钆c之完全一樣的圖形.

性質(zhì)2平面等距變換的乘積還是平面等距變換.

證明設σ，τ為平面等距變換．對平面內(nèi)任意兩點P,Q，令P′=τ(P)，Q′=τ(Q)，P″=σ(P′),Q″=σ(Q′),則P″=στ(P)，Q″=στ(Q)．由于σ，τ均為平面等距變換，故PQ=P′Q′，P′Q′=P″Q″，從而PQ=P″Q″．故στ是平面等距變換.

由性質(zhì)2知，平面等距變換關于變換的乘積運算是封閉的.

性質(zhì)3平面等距變換是可逆變換，且其逆變換也是平面等距變換.

上式表明，P′與P″重合，即P′為點P在σ之下的象．故σ又是滿射．綜上所述，σ是雙射，從而是可逆變換，即σ-1存在．另外，對平面內(nèi)任意兩點S，T，令S′=σ-1(S)，T′=σ-1(T)，則S=σ(S′),T=σ(T′)．由于σ為等距變換，故ST=S′T′．因此，σ-1也是平面等距變換.

3 平面等距變換的矩陣表示

建立平面直角坐標系后，平面上的點P(x，y)與R2中的向量a=(x，y)T一一對應．于是，我們可以用R2表示平面，用列向量a=(x，y)T表示平面上的點P(x，y)．此時，每個平面變換均可唯一地表示成R2的變換的形式．并且，如果a，b∈R2分別表示平面上的點P,Q，則線段PQ的長恰好等于向量a-b的長度，即

這樣一來，我們可以用代數(shù)方法研究平面等距變換.

首先，我們給出平面等距變換的一個分解．

引理1如果φ為平面等距變換，那么φ=τσ，其中τ是以v=φ(0)為平移向量的平移變換，σ是以0為不動點的平面等距變換．

證明設τ是以v=φ(0)為平移向量的平移變換，則τ為可逆變換．令σ=τ-1φ，則σ也是平面等距變換，且滿足φ=τσ.由于τ(0)=v，故σ(0)=τ-1φ(0)=τ-1(v)=0．所以，σ是以0為不動點的平面等距變換.

引理1表明，每一個平面等距變換總可以分解為一個平移變換和一個以0為不動點的平面等距變換的乘積．下面，我們研究引理1中平面等距變換σ的性質(zhì).

引理2如果σ是以0為不動點的平面等距變換，那么σ保持向量的內(nèi)積不變，即：對任意a，b∈R2，σ(a)·σ(b)=a·b.

證明由于σ為平面等距變換，故對任意a，b∈R2，都有|σ(a)-σ(b)|=|a-b|．選取b=0，可得|σ(a)|=|a|．于是，

|σ(a)-σ(b)|=|a-b|

?(σ(a)-σ(b))·(σ(a)-σ(b))

=(a-b)·(a-b)

?|σ(a)|2+|σ(b)|2—2σ(a)·σ(b)

=|a|2+|b|2-2a·b

?σ(a)·σ(b)=a·b.

故結(jié)論成立．

設σ為R2的一個變換．如果σ滿足

(1)對任意a，b∈R2，

σ(a+b)=σ(a)+σ(b)；

(2)對任意k∈R，a∈R2，σ(ka)=kσ(a)，

則稱σ為R2的一個線性變換．

引理3如果σ是以0為不動點的平面等距變換，那么σ是線性變換．

證明由引理2知，對任意a，b∈R2，

|σ(a+b)-σ(a)-σ(b)|2

=(σ(a+b)-σ(a)-σ(b))·(σ(a+b)

-σ(a)-σ(b))

=(a+b)·(a+b)-2(a+b)·a-2(a+b)·b+2a·b+a·a+b·b

=-(a+b)·(a+b)+2a·b+a·a

+b·b

=0.

故σ(a+b)=σ(a)+σ(b)．

另一方面，對任意k∈R，a∈R2，

|σ(ka)-kσ(a)|

=(σ(ka)-kσ(a))·(σ(ka)-kσ(a))

=(ka)·(ka)-2k(ka)·a+k2a·a=0．

故σ(ka)=kσ(a)．綜上所述，σ是一個線性變換.

接下來，我們推導平面等距變換的矩陣表示.

ψ(a)=τσ(a)=σ(a)+v=xσ(e1)+yσ(e2)+v．

如果記ψ(a)=(x′，y′)T，則上式可以寫成矩陣乘積的形式：

(1)

或者

(2)

反過來，設平面變換ψ由(1)或(2)給出．容易檢驗，對任意a，b∈R2，|ψ(a)-ψ(b)|=|a-b|．故ψ為平面等距變換.

因此，建立平面直角坐標系后，每一個平面等距變換均可唯一地表示成(1)或(2)的形式．我們稱(1)和(2)為平面等距變換的矩陣表示．其中(1)式表示的平面等距變換ψ稱為第Ⅰ型平面等距變換，(2)式表示的等距變換ψ稱為第Ⅱ型平面等距變換．如果某個第Ⅰ型平面等距變換ψ有不動點P(x0，y0)，那么(1)式可改寫為

(3)

此時，ψ為繞點P(x0，y0)逆時針旋轉(zhuǎn)角θ的旋轉(zhuǎn)變換．類似地，如果某個第Ⅱ型平面等距變換ψ有不動點P(x0，y0)，那么(2)式可改寫為

此時，ψ為關于過點P(x0，y0)的直線sinθ(x-x0)-(1+cosθ)(y-y0)=0的反射變換．

特別地，當平移向量v=(0，0)T時，由(1)表示的第Ⅰ型平面等距變換ψ為繞原點逆時針旋轉(zhuǎn)角θ的旋轉(zhuǎn)變換；由(2)表示的第Ⅱ型平面等距變換ψ為關于過原點的直線xsinθ-y(1+cosθ)=0的反射變換．

4 應用舉例

應用平面等距變換的矩陣表示，我們可以證明有關平面等距變換的一些有趣性質(zhì).

例1證明：第Ⅰ型平面等距變換為平移變換或旋轉(zhuǎn)變換，第Ⅱ型平面等距變換為直線反射變換或平移變換與直線反射變換的乘積.

證明設ψ為第Ⅰ型平面等距變換，(1)為ψ的矩陣表示．當θ=2kπ(k∈Z)時，(1)式變?yōu)?/p>

(4)

此時，ψ為平移變換．當θ≠2kπ(k∈Z)時，二元一次方程組

有唯一解(x0，y0)T．容易檢驗，P(x0，y0)為ψ的不動點．此時，ψ為繞點P(x0，y0)逆時針旋轉(zhuǎn)角θ的旋轉(zhuǎn)變換.

再設ψ為第Ⅱ型平面等距變換，(2)為ψ的矩陣表示．當ψ有不動點P(x0，y0)時，由上一節(jié)最后的分析知，ψ為關于直線sinθ(x-x0)-(1+cosθ)(y-y0)=0的反射變換．當ψ沒有不動點時，ψ是以v=(s，t)T為平移向量的平移變換與關于直線xsinθ-y(1+cosθ)=0的反射變換的乘積.

從例1的結(jié)果可以看出，每個平面等距變換要么是平移變換、旋轉(zhuǎn)變換、直線反射變換之一，要么是平移變換與直線反射變換的乘積．所以，我們稱平移變換、旋轉(zhuǎn)變換、直線反射變換是三種基本的平面等距變換.

例2證明：每個平移變換和旋轉(zhuǎn)變換總可表示為兩個直線反射變換的乘積.

其中θ=2φ-π．容易檢驗，σ，τ均有不動點且στ的矩陣表示為(4)．因此，σ，τ為直線反射變換且ψ=στ.

再設ψ是繞點P(x0，y0)逆時針旋轉(zhuǎn)角θ的旋轉(zhuǎn)變換．則ψ的矩陣表示具有(3)的形式. 選取平面等距變換σ，τ，其矩陣表示分別為

則σ，τ分別為以P(x0，y0)為不動點的直線反射變換．容易檢驗，στ的矩陣表示恰好與ψ的矩陣表示相同．故ψ=στ．這表明，旋轉(zhuǎn)變換ψ可以表示為兩個直線反射變換的乘積．

從例1和例2可以看出，每個平面等距變換總可以表示為不超過3個直線反射變換的乘積．

例3設σ，τ分別為關于直線l1，l2的反射變換．證明：如果l1，l2平行，則στ為平移變換；如果l1，l2相交，則στ為繞交點的旋轉(zhuǎn)變換.

證明當l1，l2平行時，建立平面直角坐標系，使得l1，l2的方程分別為y=a與y=0，則σ，τ的矩陣表示分別為

則στ的矩陣表示為(x′，y′)T=(x，y)T+(0，2a)T．故στ為以v=(0，2a)T為平移向量的平移變換.

當l1，l2相交時，以交點為原點，并以l2為橫軸建立平面直角坐標系，那么σ，τ的矩陣表示分別具有下面的形式：

其中θ≠2kπ(k∈Z)．容易檢驗，στ的矩陣表示為

故στ為繞原點逆時針旋轉(zhuǎn)角θ的旋轉(zhuǎn)變換.

此外，利用平面等距變換的矩陣表示，我們也可以證明平面等距變換是可逆變換，以及有公共不動點的平面旋轉(zhuǎn)變換與直線反射變換的乘積為直線反射變換.