平几求助

jimofc

superacid 发表于 2014-3-21 20:02
你发一个解析几何的解法出来，我就公开道歉，如何？
先做出实事再说话

哪里有规定说一定要发解法
我的方法能不能用，LZ用不用这种方法都是他自己的事，关你P事

以B为原点建立坐标系(B,BC;y)
令BC=a (a>0)
假设AB不垂直AD(BC),那么直线AB的斜率k存在,m≠0且k≠0若DB⊥BC,则AB=AD<sqr(AD^2+BD^2),所以m≠-a
A(m,km)
B(0,0)
C(a,0)
D(a+m,km)
BA: y=kx
CD: y=k(x-a)
BD: y=kmx/(a+m)
F(a+n,kn)
E(b,0)

则
AE: y=km(x-b)/(m-b)
AF: y=(kn-km)(x-m)/(a+n-m)+km

又∵∠EAF=1/2∠BAD
cos^2(∠EAF)=(1+cos(∠BAD))/2
余弦定理
((a+n-m)^2+(kn-km)^2+(b-m)^2+(km)^2-(b-a-n)^2-(kn)^2))/(2*sqr(((a+n-m)^2+(kn-km)^2))*((b-m)^2+(km)^2)))=(1+(m^2+(km)^2+a^2-(a+m)^2-(km)^2)/(2*sqr(m^2+(km)^2)*a))/2
化简得
(-2nm-2am-2kkmn-2bb-2bm+2ab+2bn)/(sqr(((a+n-m)^2+(kn-km)^2))*((b-m)^2+(km)^2)))=1-1/sqr(k^2+1)


AE、BD相交于点G:
y=km(x-b)/(m-b)
y=kmx/(a+m)
得
G(b/(1-(m-b)/(a+m)),kmb/(a-b))

AF、BD相交于点H:
y=(kn-km)(x-m)/(a+n-m)+km
y=kmx/(a+m)
得
H((-m(kn-km)(a+m)/(km(a+n-m))+a+m)/(1-(kn-km)(a+m)/(km(a+n-m))),km(-m(kn-km)(a+m)/(km(a+n-m))+a+m)/((1-(kn-km)(a+m)/(km(a+n-m)))(a+m)))
GF、EH相交于点I:
GF:
(y-kn)/(kmb/(a-b)-kn)=(x-a-n)/(b/(1-(m-b)/(a+m))-a-n)
EH:
y/(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m)/((1-(kn-km)(a+m)/(km(a+n-m)))(a+m)))=(x-b)/((-m(kn-km)(a+m)/(km(a+n-m))+a+m)/(1-(kn-km)(a+m)/(km(a+n-m)))-b)
得
I(([-b/((-m(kn-km)(a+m)/(km(a+n-m))+a+m)/(1-(kn-km)(a+m)/(km(a+n-m)))-b) + ((a+n)(kmb/(a-b)+kn)((a+m)-(kn-km)(a+m)(a+m)/(km(a+n-m)))/(b/(1-(m-b)/(a+m))-a-n)+kn)(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m))] (b/(1-(m-b)/(a+m))-a-n)+kn)(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m))/(kmb/(a-b)((a+m)-(kn-km)(a+m)(a+m)/(km(a+n-m))))/(1-[(b/(1-(m-b)/(a+m))-a-n)+kn)(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m))/((-m(kn-km)(a+m)/(km(a+n-m))+a+m)/(1-(kn-km)(a+m)/(km(a+n-m)))-b)/(kmb/(a-b)((a+m)-(kn-km)(a+m)(a+m)/(km(a+n-m)))]),(kmb/(a-b)-kn)(([-b/((-m(kn-km)(a+m)/(km(a+n-m))+a+m)/(1-(kn-km)(a+m)/(km(a+n-m)))-b) + ((a+n)(kmb/(a-b)+kn)((a+m)-(kn-km)(a+m)(a+m)/(km(a+n-m)))/(b/(1-(m-b)/(a+m))-a-n)+kn)(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m))] (b/(1-(m-b)/(a+m))-a-n)+kn)(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m))/(kmb/(a-b)((a+m)-(kn-km)(a+m)(a+m)/(km(a+n-m))))/(1-[(b/(1-(m-b)/(a+m))-a-n)+kn)(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m))/((-m(kn-km)(a+m)/(km(a+n-m))+a+m)/(1-(kn-km)(a+m)/(km(a+n-m)))-b)/(kmb/(a-b)((a+m)-(kn-km)(a+m)(a+m)/(km(a+n-m)))])-a-n)/(b/(1-(m-b)/(a+m))-a-n)+kn)

∵AI⊥EF
有AI·EF=
(a+n-b)(([-b/((-m(kn-km)(a+m)/(km(a+n-m))+a+m)/(1-(kn-km)(a+m)/(km(a+n-m)))-b) + ((a+n)(kmb/(a-b)+kn)((a+m)-(kn-km)(a+m)(a+m)/(km(a+n-m)))/(b/(1-(m-b)/(a+m))-a-n)+kn)(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m))] (b/(1-(m-b)/(a+m))-a-n)+kn)(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m))/(kmb/(a-b)((a+m)-(kn-km)(a+m)(a+m)/(km(a+n-m))))/(1-[(b/(1-(m-b)/(a+m))-a-n)+kn)(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m))/((-m(kn-km)(a+m)/(km(a+n-m))+a+m)/(1-(kn-km)(a+m)/(km(a+n-m)))-b)/(kmb/(a-b)((a+m)-(kn-km)(a+m)(a+m)/(km(a+n-m)))]))+kn((kmb/(a-b)-kn)(([-b/((-m(kn-km)(a+m)/(km(a+n-m))+a+m)/(1-(kn-km)(a+m)/(km(a+n-m)))-b)+((a+n)(kmb/(a-b)+kn)((a+m)-(kn-km)(a+m)(a+m)/(km(a+n-m)))/(b/(1-(m-b)/(a+m))-a-n)+kn)(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m))] (b/(1-(m-b)/(a+m))-a-n)+kn)(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m))/(kmb/(a-b)((a+m)-(kn-km)(a+m)(a+m)/(km(a+n-m))))/(1-[(b/(1-(m-b)/(a+m))-a-n)+kn)(km(-m(kn-km)(a+m)/(km(a+n-m))+a+m))/((-m(kn-km)(a+m)/(km(a+n-m))+a+m)/(1-(kn-km)(a+m)/(km(a+n-m)))-b)/(kmb/(a-b)((a+m)-(kn-km)(a+m)(a+m)/(km(a+n-m)))])-a-n)/(b/(1-(m-b)/(a+m))-a-n)+kn)
=0


联立两式得

-km(m-n)(a+n-m)/(a+m)^2=0


当且仅当mk=0时等式成立，与假设矛盾
所以AB⊥AD



和你用程序参加最少步周赛一样，自欺欺人罢了

superacid

jimofc 发表于 2014-3-22 22:49
哪里有规定说一定要发解法
我的方法能不能用，LZ用不用这种方法都是他自己的事，关你P事

别跟我说你没用软件，否则道理是一样的

另外请教一下，AE=AF对应的项到哪里去了？
它应该能在-km(m-n)(a+n-m)/(a+m)^2=0体现出来，因为AE=AF始终是AI垂直于EF的一个解

jimofc

superacid 发表于 2014-3-23 23:11
别跟我说你没用软件，否则道理是一样的

另外请教一下，AE=AF对应的项到哪里去了？

明显是没有软件的

superacid

jimofc 发表于 2014-3-24 12:50
明显是没有软件的

算了，我还是直接指出问题吧，你把AI*EF=0算成BI*EF=0了

jimofc

superacid 发表于 2014-3-24 16:14
算了，我还是直接指出问题吧，你把AI*EF=0算成BI*EF=0了

我根本就没算，你怎么指出的问题

阿不思

jimofc 发表于 2014-3-22 22:49
哪里有规定说一定要发解法
我的方法能不能用，LZ用不用这种方法都是他自己的事，关你P事

牛啊！！！！！

superacid

jimofc 发表于 2014-3-24 19:02
我根本就没算，你怎么指出的问题

反正你上面写的AI*EF=0，
下面直接就是EF的横坐标乘I的横坐标+EF的纵坐标乘I的纵坐标=0

你以为我必须自己仔细算一遍才可能指出你的错误吗？

华容道

好久没上魔方吧了，谢谢上面的各位吧友

至尊达哥

jimofc 发表于 2014-3-22 22:49
哪里有规定说一定要发解法
我的方法能不能用，LZ用不用这种方法都是他自己的事，关你P事

牛啊。。。复杂的我看不懂················

刀田一日

已知：锐角三角形AEF，AO⊥EF于O，I是AO上一点，FI延长交AE于G，EI延长交AF于H。在HG的延长线上有一点B，且∠ABG=∠EBG。
求证：AB⊥BE
-------------
貌似可以用这个思路来证明