已经有账户了?<一个href="//www.parkandroid.com/account/login/?next=/wiki/euclidean-geometry-homothety/" class="ax-click" data-ax-id="clicked_signup_modal_login" data-ax-type="link">日志在这里。
维诺德克利须那神,<一个href="//www.parkandroid.com/profile/wen-g3ojes/" class="btn-profile mini-profile" data-id="4yUzn5t252bgg3SPAF3IYpog6cxfwDuP" rel="nofollow">文茨,<一个href="//www.parkandroid.com/profile/lucas-6eb5rx/" class="btn-profile mini-profile" data-id="is9b98eSIsHIdNX58rIFRq6wFgEICkAg" rel="nofollow">卢卡斯Viana里斯,
做出了贡献
有几种表达同一性的方式。在这些不同的表示形式之间切换会带来不同的好处,并且可以大大简化问题,稍后将观察到这一点。
1)几何解释
同质性只是<一个href="//www.parkandroid.com/wiki/expansion/" class="wiki_link" title="扩张" target="_blank">扩张或<一个href="//www.parkandroid.com/wiki/contraction/" class="wiki_link" title="收缩" target="_blank">收缩. 适用于这些情况的事实在这里也适用。下面是一些例子
-
H(一个,2)应用于三角形
一个BC:
-
H(T,21)应用于圆
Γ,在那里
T是圆周上的一点:
-
H(P,−1)应用于直线
XY,在那里
P不躺在
XY:
2)欧几里德几何(简化)
- 在同质中心是原点的情况下,由
k这才是重点
(x,y)来
(kx,ky).这是最简单的情况,通常使计算非常直接。
- 在这种情况下,一致性的中心就是点
(一个,b),扩展
k这才是重点
(x,y)来
(k(x−一个)+一个,k(y−b)+b).这个表达式稍微复杂一些,这就是为什么设置
(一个,b)=(0,0)通常更有帮助。
3)复数
在阿根平面上,如果齐次中心用复数表示
p,然后由
k会带来复数吗
z来
z′=p+k(z−p).
4)向量
如上所述,如果齐次中心是由向量表示的
P
,然后展开
k会带来矢量
一个
来
一个′
=P
+kP一个
.
5)抽象识别
如果熟悉了同伦的应用,我们可以确定一个同伦变换并应用结果。
点击“证明”按钮可以查看结果的证明。
的点
O,X,和
X′形成一条直线。
这是直接从几何解释得出的。
□
直线的斜率在同态下保持不变。因此,平行线被保留下来。
我们将使用简化的欧几里得几何方法,我们让中心是原点。
假设有这些点
一个=(x一个,y一个)和
B=(xb,yb).
然后,
一个′=(kx一个,ky一个)和
B′=(kxb,kyb).
我们可以验证斜率是相等的:
(的斜率一个B)=xb−x一个yb−y一个=k(xb−x一个)k(yb−y一个)=kxb−kx一个kyb−ky一个=(的斜率一个′B′).□
注意:一般情况可以很容易地用向量或复数来证明,以保持数学简单。
推论:由于保留了一条直线的斜率,如果两条直线是平行的,那么它们的图像与原始的直线是平行的,因此图像是平行的。
角度被保留了,这意味着
∠一个BC=∠一个′B′C′.
由于直线的斜率被保留(2),两者之间的夹角
一个B和
BC等于夹角吗
一个′B′和
B′C′.
□
每一个同伦性都有一个逆:
H(O,k)−1=H(O,k1).
这是直接从几何解释得出的。
□
长度之比满足
∣∣一个′B′∣∣=k∣一个B∣.
我们将使用简化的欧几里得几何方法,我们让中心是原点。
假设有这些点
一个=(x一个,y一个)和
B=(xb,yb).
然后,
一个′=(kx一个,ky一个)和
B′=(kxb,kyb).
因此,距离服从
∣∣一个′B′∣∣=(kx一个−kxb)2+(ky一个−kyb)2
=∣k∣(x一个−xb)2+(y一个−yb)2
=∣k∣×∣一个B∣.□
注意:利用有向长度的解释,我们有
∣∣一个′B′∣∣=k∣一个B∣.
图像与原始物体相似。
因为角被保留(3),长度的比值是一个常数
k(5)、图像相似。
□
面积的比值满足
[一个′B′C′]=k2[一个BC].
因为图像是相似的,长度比是
k,面积比为
k2.
□
注意:利用有向面积的解释,我们有
[一个′B′C′]=k2[一个BC].特别是,方向被保留了下来。
H(O,1)是身份转换。
这是直接从几何解释得出的。
□
H(O,−1)是通过中心的反射,还是
180∘绕中心旋转。
这是直接从几何解释得出的。
□
H(O,k=1)有1个不动点。
我们将使用复数解释。假设
z是一个固定点,意思是
z=z′=k(z−一个)+一个.然后我们有
(k−1)(z−一个)=0.自
k=1,
z=一个是唯一不动的点。
□
在下列条件下保持不变的一组线
H(P,k=1)线是穿过中心的吗
P.
我们将使用具有同伦性的矢量解释
H(一个,k).假设这条线
l=T
+t年代
是保存了下来。由于斜率不变,这意味着点
T
必须映射到这条直线上,所以存在一些
t这样
一个
+k一个T
=T
+t年代
⇒(k−1)一个T
=t年代
.因此,
一个T
平行于
l,这意味着
一个谎话连篇。
相反地,给定任何一条通过同形中心的线,如果从几何解释来看,这条线是保留的。
□
同伦性是由任意2个点映射到的位置唯一定义的。
几何解释:假设这些点
一个,B映射到
一个′,B′.然后,自中心
O位于两个
一个一个′和
BB′,这可以由线的交点确定。然后,计算比例因子
k可以由
∣O一个∣∣∣O一个′∣∣.
复数解释:假设复数
z1,z2映射到
z1′,z2′.然后,我们需要找到一个复数
p还有一个实数
k这样
{z1′=p+k(z1−p)z2′=p+k(z2−p).如果方程组没有解,那么方程组就不存在一致性。
如果这个方程组有唯一解,那么它就唯一地定义了同伦性。
如果这个系统有无限多个解,那么这一定是唯一的恒等式。
□
注意:我们可以解这个方程组得到
p=z1′+z2−z1−z2′z1′z2−z1z2′和
k=z2−z1z2′−z1′.
任意2个(非同余)圆有2个同质中心。正比例因子对应于直接同位,而负比例因子对应于间接的同位.
我们知道圆心必须相互映射,因此比例因子必须满足
∣k∣=r1r2. 同心的中心位于包含这些圆的线上。对于负比率,同一中心将位于两个中心之间的线段上。对于正比例,同一中心将位于两个中心之间的线段之外。
□
如果
k1k2=1,然后
H(O1,k1)∘H(O2,k2)是一个类似。
我们将使用复数解释:
H(z1,k1)∘H(z2,k2)(z)=H(z1,k1)(z2+k2(z−z2))=z1+k1((z2+k2(z−z2))−z1.为了使它成为一个同类,我们必须找到
H(z3.,k3.)(z)=z1+k1(z2+k2(z−z2))−z1.
将系数
z,我们获得
k3.=k1k2.
使常数项相等,我们得到
(1−k1k2)z3.=z1+k1z2−k1k2z2−k1z1.自
k1k2=1,我们可以设置
z3.=1−k1k2z1+k1z2−k1k2z2−k1z1.
□
注意:如果我们使用几何解释,那么这个(和下面的)结果将不会立即明显。
如果
k1k2=1,然后
H(O1,k1)∘H(O2,k2)是一个翻译。
我们将使用复数解释。自
k1k2=1,上一个表达式是这样的
(常数)+z.因此,这是对复数的平移
z1+k1z2−k1k2z2−k1z1.
□
一般来说,它不一定是真的
H(O1,k1)∘H(O2,k2)=H(O2,k2)∘H(O1,k1).只有当
O1=O2,或者同质性是恒等式。
我们将使用复数解释:
H(O1,k1)∘H(O2,k2)(z)H(O2,k2)∘H(O1,k1)=z1+k1z2−k1k2z2−k1z1+k1k2z=z2+k2z1−k2k1z1−k2z2+k1k2z.的系数
z等于
k1k2.比较常数项,当且仅当相等(经过某种简化后)
(z1−z2)(k1−1)(k2−1)=0.这对应于1)两个同态中心是相同的,2)第一个同态是恒等式,3)第二个同态是恒等式,
□
如果3个非全等的点集是成对的同调,那么同调的(直接)中心是共线的。
假设同伦是
H(O我,k我)为
我=1,2,3..
由(12)可知
H(O1,k1)∘H(O2,k2)=H(O3.,k3.).
线路
O1O2下是不变的
H(O2,k2),又在
H(O1,k1),因此它在
H(O3.,k3.).
由(11)可知
O3.岌岌可危
O1O2.
因此这三个点共线。
□
提示:找一个不变行。
考虑两个不相交、不全等的圆。
证明外切线相交于外齐次中心。
证明内切线相交于内齐次中心。
设外切线相交于
O.
让外切线接触圆
Γ一个,ΓB在某些点上
一个,B分别。
考虑外部的一致性
H(O,r一个rb)应用于点
一个.
它必须映射到网络上的某个点
ΓB.
考虑点的外切线
一个.通过(11),因为这条线通过
O,它在映射下是不变的。因此,它映射到的唯一可能点是
B.因此,由(1),点
O,一个,B躺在一条直线上。
□
注意:该问题的内部版本使用了类似的参数。
圈
Γ1和
Γ2在切向
T.划清界限
T切割圆
一个和
B,分别。
显示切线在
一个与点处的切线平行
B.
让中心
Γ1是
P和中心
Γ2是
问.因为
T是两个圆之间的同质中心,
一个T:
BT=
r1:
r2=
一个P:
B问=
PT:
T问.因此,
∠P一个T=
∠TB问.因为半径和切线的夹角都是90度,这条线的夹角
一个B与两者的切线重合
Γ1和
Γ2等于简单的减角。通过截线性质,我们可以得到
一个和
B是平行的。
□
用直尺和圆规,在三角形中
一个BC在哪里
∠C一个B和
∠CB一个是锐利的,刻一个边沿在上面的正方形
一个B.
建设广场
一个BP问这样
P问是建在一边的吗
一个B相反的点
C.让
D成为
CP相交
一个B,让
E成为
C问相交
一个B.然后,构造矩形
DEFG镌刻在三角形
一个BC.因为三角形
CFG和
C一个B具有相同方向、点的相似性
一个和
B可以通过申请获得
H(C,一个BFG)点
F和
G分别。同样,因为三角形
CDE和
CP问具有相同方向、点的相似性
P和
问可以通过应用同样的同伦性得到,
H(C,一个BFG),至理名言
D和
E分别注意到
FG=
DE和
一个B=
P问.因为矩形
FGDE和正方形是同伦的吗
一个BP问,
FGDE是正方形,就做完了。
□
任意两个非全等三角形,其对边相互平行且方向相似,都可以用同质性映射。
提示:首先证明这些三角形是相似的。然后猜同性恋的中心。
推论:[质心]画中值
一个D,BE,CF三角形的
一个BC,点
D,E,F躺在相反的一边。
证明三角形的中值在
G.
表明,
一个G:GD=2:1.
考虑3个不相等的圆。
证明当且仅当比例因子满足时(可能是间接的)同质中心共线
k一个b×kbc×kc一个=1.
推论:[Monge定理]给定3个非全等、非重叠的圆,两条外切线的3个交点是共线的。
圆内
Γ,画和弦
一个B.圆
Γ1从内部切线
Γ在
T,并且与
一个B在
C.让
D是圆弧的中点
一个B不包含
T.
表明,
TCD是一条直线。
呼叫中心
Γ
P的半径
Γ
r2中心,中心
Γ1
问的半径
Γ1
r1.自
D弧的中点是多少
一个B,点的切线
D平行于
一个B.同时,很明显,同性恋
H(T,r2r1)地图上圈
Γ圈
Γ1.因此,
T,
问,
P它们是共线的。自从
问C和
PD垂直于平行线,
问C和
PD是平行的。使用线
TP横向,
∠T问C=
∠TPD.同时,
T问:
TP=
问C:
PD=
r1:
r2.通过SAS相似性,三角形
T问C类似于三角形
TPD.自
T,
P,
问共线和
∠CT问=
∠DTP,
T,
C,
D一定也是共线的。
□
围成一个大圈
Γ,画两个小圆
Γ一个和
ΓB它们在内部相切
Γ在某些点上
一个和
B,分别地画一条直线的外切线
Γ一个和
ΓB与这些圆圈相交
C和
D,分别。
表明,
一个C和
BD在周长上相交
Γ,我们将用
P.
表明,
一个BCD是环四边形吗
PC×P一个=PD×PB.事实上,
P哪三个圆的根心是?
让
O成为…的中心
Γ,
R成为…的中心
Γ一个,
问成为…的中心
ΓB.自
Γ一个从内部切线
Γ,
O,
R,
一个它们是共线的。构造一条到的切线
Γ这与
CD.让切点是
T.由于构造的切线和
CD是平行的,
∠一个RC=
∠一个OT.而且,很明显
一个R:
一个O=
RC:
OT,因为
一个R=
RC和
一个O=
OT.因此,通过SAS相似性,
△一个RC类似于
△一个OT.因此,
∠一个CR=
∠一个TO,接下来就是
一个,
C,
T由截线性质共线。我们可以用类似的方法证明
B,
D,
T共线,因此
一个C和
BD在周长上相交
Γ,
T是
P.事后诸葛亮:另一种表达方式
△一个RC类似于
△一个OT就是通过同性恋。
□
给定2个不重叠的圆,让
一个B与…相切
一个在
Γ一个和
B在
ΓB.让
O成为同一性的间接中心。绘制直径
一个C和
BD.
表明,
COD是一条直线。
让
P成为…的中心
Γ一个和
问成为…的中心
ΓB.如果
r1为的半径
Γ一个和
r2为的半径
ΓB,则两个圆之间点的所有同伦变换之比为
r1:
r2.自
O是同性性的中心,
PO:
问O=
CO:
DO=
r1:
r2=
CP:
D问.因此,
COP类似于
DO问.因此,
∠COP=
∠DO问.因此,
COD是一条直线。
□
考虑一个有直径的半圆
一个B.圆与周长内在相切为
T与直径相接
C.
计算
∠BTC.
叫中点
一个B,也是半圆的中心,
O.称为内部切线圆的中心
P.让我们称其为
∠TBO
x.我们知道
∠TO一个=2x,这
∠BTO=∠TBO=x.自
∠BCO是正确的,
∠CBO=90−2x. 因为较小的圆在点处与较大的半圆内切
T,
T,
P,
O它们是共线的。因此
∠TPC=180−90+2x=90+2x.因为三角形
TPC是等腰三角形,
∠PTC=45−x.最后,
∠BTC=∠BTO+∠PTC=45度。
□
围成一个大圈
Γ,画两个小圆
Γ一个和
ΓB它们在内部相切
Γ在某些点上
一个和
B.设同质性的直接中心
Γ一个和
ΓB是
C.
表明,
一个BC是一条直线。
注意:同质性的间接中心在这条线上吗?
让中心
Γ是
O中心,中心
Γ一个是
P的中心
ΓB是
问.为了不失一般性,让
ΓB接近点
C比
Γ一个.画线
CB直到相交
Γ一个第一次。我们称之为交点
J.自
C是同一性的直接中心,
∠CB问=∠CJP. 自圈
Γ一个和
ΓB与内部相切
Γ,分
O,
P,
一个,点
O,
问,
B它们是共线的。根据横截性质,
OB
(它包含
问)平行于
PJ.因此,
∠一个OB=∠一个PJ.因此,通过SAS相似性,三角形
一个PJ类似于三角形
一个OB.因此,
∠一个JP=∠一个BO=180−∠CBO.自
∠CJP=∠CBO,
∠一个JP+∠CJP=180,因此ray
CB包含
一个.
□
一个BCD是一个四边形。线通过
一个平行于
CD满足
BD在
E,和线路通过
D平行于
一个B满足
一个C在
F. 证明
EF平行于
BC.
提示:让映射的同性
B一个来
DF是
H1,以及映射的同同性
CD来
一个E是
H2. 显示
H1∘H2(BC)=EF.
设四边形对角线的交点为
G.然后,三角形
GDF和
GB一个是相似的,直线连接对应的点,所以存在一个同伦性
H1映射
F来
一个和
B来
D.同样的,通过三角形的相似性
一个EG和
GDC,我们可以找到一个同性恋
H2映射
一个来
C和
D来
E.这就引出了同性恋
H1∘H2地图
C来
F和
B来
E.由于直线的同伦变换最终与原始直线平行,
EF平行于
BC.
□
两个圆外相切于
一个.它们的公共外切线相交于
X,而圆是同质的
H(X,k).取一个点
B在圆周上,而不是在直线上
一个X.
计算
∠B一个B′.
让我们称圆心为更接近
X
P,另一个圆的圆心
问.为了不失一般性,让点
B在圆上更接近
X,
B′在另一个圆上。首先,我们知道这一点
X,
P,
一个和
问共线。同伦变换的性质告诉我们
B′问平行于
BP. 设置
∠B′B一个=x和
∠一个BP=y.因为三角形
PB一个是等腰
∠BP一个=180−2y.因此,根据截线性质,
∠B′问一个=2y.因为三角形
B′问一个是等腰
∠问B′一个=90−y.自
∠B′BP=x+y,通过截线性质,
∠BB′问=180−x−y,因此
∠一个B′B=90−x通过简单的角度减法。我们现在知道了三角形中的两个角
BB′一个,我们很容易就能找到
∠B一个B′90度的措施。
□
围成一个大圈
Γ,有3个圆
Γ一个,ΓB,ΓC内部相切的点
一个,B,C分别在哪里
一个,B,C按这个顺序躺在圆周上。假设
Γ一个,ΓB外切和正切是相等的吗
ℓ一个B和
Γ2,Γ3.外切和正切是相等的吗
ℓBC.
表明,
ℓ一个B和
ℓBC相交于
Γ当且仅当
Γ一个,ΓB,ΓC共享一个公共的外切线。
在三角形
一个BC,使内圆与
一个C在
D.让
DE为圆周的直径。让
BE相交
一个C在
F.
表明,
一个F=CD.
(IMO 1978)等腰三角形
一个BC,
一个B=一个C.圆与的外圆在内部相切
一个BC,也向两边
一个B和
一个C在
P和
问,分别。
显示线段的中点
P问这是我们的中心
一个BC.
3.
π
23.
4
取决于长度
一个B
在一个直径为4的大圆中,我们画两个内部相切的圆
一个和
B.然后我们画出共性内切
CD.如果
一个C与大圆相交于
E和
BD与大圆相交于
F,距离是多少?
EF?
引用:欧几里得几何-同伦性。灿烂网.检索从…起<一个href="//www.parkandroid.com/wiki/euclidean-geometry-homothety/">//www.parkandroid.com/wiki/euclidean-geometry-homothety/