| 全文: 一个平面射影命题的多种证法
第六图书馆高等几何平面射影命题代数法益阳师专学报刘淑纯不详1991第六图书馆
7 4
一
个平厨射影命题的多种证法
刘
(数
淑
学
纯
系)
0
1
Ⅲ
l 1
高等几何构证题方法通常有代数法和综台法两种。所谓代数法,就是利用坐标通过
1
代数运算证 命题的方法;所谓综合法,就是在已有的概念和定理的基础上,借助图形
I l
直观进行逻辑推理证明命题的方法。本文分 利用代数法.综台法给出—个乎面射影命
遥的多种证法。。 羔
=
釜 趣蕊
越a汪
。曲
命题:设A、B、c是不共线三点,P是过c的一条定直线i的动点,AP与BC交于 上x,BP与AC交于Y,则x、Y通过一个定点。
证法一:( 代数法) 取定直线L上任意陌点P,P 。设XY
交X,Y于S 。
1、建立坐标系:
职点A、B、C为坐标三角形顶点,P
点为位点,各点的射影坐标为:
A(1·0·0)、B(·1·0)0 C(0·0·1)、P(1·l·1)
义P点与点P,、C共线,故P帕射影坐标
可为P(1·l·)
2、求直线X、Y的线坐标:
X:AP×BC又AP的线坐标为l,
/l 0
’
if\
L 1
: j)
1 0
-
印:AP BC的线坐标为:
f
1 0
f )
拳史于11年4日1日托引 91
http://www.6lib.com第六图书馆
一
个平面射影命题的多种证法
7 5
得x的坐标为:
‘(1-.
即:X(0·1·1。)
·一); I
)
Y=BP×AC,又BP的线坐标为:
(
即:BP(1·0·一1)--o
AC的线坐标为:
(··) l r
叩AC(0…10),
得 的坐标为:
\ 一
1
0
0
0
Ji—) /1l
0 一1
。
鄱{Y(1·0·1)
由 可得XY的线坐标为;
1I
l0
11 0 l、
1 l。1l o’ 0i ‘1l/
印XY(1·1·一1)
3、求直线XY 的线坐标:
由X AP ×BC,得X的坐标为}X( l、)。 0、
由Y :B ×AC,得YP 的坐标为:Y (1、0、a)。
由上可得X 的线坐标为:x Y Y (a,a、一1)。
4、求直线xy与X 的交点S Y :
由s=xy×X 得S的坐标为:s(Y, —l l—a、0),,
卸S(1、一1、0)
上。
显然,点s的坐标为定值,与 无关;且S直线ABlX{=0 在
放XY过AB上一个定点s 。
证法=:(代沙格宠理) 用 职定直线1上任意两点P、P,考察三点形PXy ̄PX Y;
http://www.6lib.com第六图书馆
7 6
直阳师专学报
l9年弟2瓤 0i
对应顶点联线PP、XX、YY 交于一
点c,故对应边交蛭A、s、B三点共线。
如果取定直线l一点P,那么XY交AB上 于点S对于l,上任意点P,直线X 通过 Y
s,故sAB一定点 为上
汪法三:(代一格对偶定理)(如 用
2)
永定直线l任意瓶点PP上、
考察三
点彤AXX Hf;BYY 对应边交点PP ; 、
c共线I故对应顶点联线AB、XY,X Y, 共点 ’
若取窟直线上一点PNXY交AB于S ,,对于IE意点P,直线X 通过S,设S 任 V 为AB上一定点。
证法四:
(全四点形调和性质)完
取定直线I任意点P,并设AB交l点 上于D、XY交AB点S,考察完全四点形CXp于 V,有(AB、DS)=一l,而四点A、B、
D、SA、B、D三点是定点,无论点P在定 中
直线l怎样变动,总有Xy过A、B、D的唯 上
一
的第四调和点S,Xy过AB上的定点S 故。
附;若直线lAB平行,则lAB于无穷远点D,对于完全四点形CXP有{与与交 y (AR,DS=一1,即( )B
‘
S )=一l,易知此时s线段AB的中点。那么 D为
当I行AB时,XY通过线段AB的中点。平 证法五;(视法) 透 取定直线【任意两点P、P,设AB交l上 于点D,XY交AB点S 于。
YCy A夭B(PCP D)
A(PCP()D 天XCX B一
:
所以:yCyA Xcx ,而c点自对应,故:yCyAXcB对应点联线xY, B x 。
X 、AB点。Y共 故S为AB上~定点 ’
取定直线l一点P,XY交AB点s则对于l上于;上任意点P,直线X 过定点s, Y 附 当AB平行定直线l此证仍然成立,只须把证明中的点D的符号改写为D对
http://www.6lib.com第六图书馆
一
个平面射影命题的多种证法
7 了
由上可见,代数法和综合法各有利弊,代数法的优点在于比较客易找到解决问题的 途径,决点是往往比较繁琐。综台法的优点是优美、简洁 缺点是千变万化,难子找到 解题思路。但在综合法中,最基本的是透视法,因为其它定理和挂质都可以看作是遥视
法的应用。因此,可以这样说;掌握了透视法就是掌握了证明射影命题的基本方法。
’
土接帚73兔 ’
九一年三月
证明:这个不等式的证明方法很多,下面利用导数来证明。
设fA,B)( snA+sn+snCiiBi
=sn+sn+sn(+B)iAfBiA
一sicno+n+)半s s(Bj A
=
2n[ s …
…
].
4n妄cA。 旦。 ss sc导 则 AB2sc(导: 令£,) B。A)o(=cs+o
=
f( BA,B)=2cscs( A) oA。B
=
O
.。≠,。年 .soc鲁oc s
cs(+oA
.
0
‘
cs( A)。B
=
0
由可AB吾故ABf,) 大吾/(由去。此知: 。当=时(B达『值v理略)A最
.
sAsB c要/ +i+n≤v§。nn
.
http://www.6lib.com第六图书馆
|