魔方吧·中文魔方俱乐部

 找回密码
 注册
搜索
热搜: 魔方
楼主: 华容道

平几求助 [复制链接]

Rank: 4

积分
1336
帖子
1030
精华
11
UID
96089
WCA ID
2010JIMO01
兴趣爱好
破解

亚洲纪录(AsR) 六年元老

发表于 2014-3-22 22:49:04 |显示全部楼层
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



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

使用道具 举报

Rank: 7Rank: 7Rank: 7

积分
2520
帖子
3072
精华
7
UID
62890
性别

中国纪录 八年元老

发表于 2014-3-23 23:11:21 |显示全部楼层
本帖最后由 superacid 于 2014-3-24 00:26 编辑
jimofc 发表于 2014-3-22 22:49
哪里有规定说一定要发解法
我的方法能不能用,LZ用不用这种方法都是他自己的事,关你P事


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

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

使用道具 举报

Rank: 4

积分
1336
帖子
1030
精华
11
UID
96089
WCA ID
2010JIMO01
兴趣爱好
破解

亚洲纪录(AsR) 六年元老

发表于 2014-3-24 12:50:40 |显示全部楼层
superacid 发表于 2014-3-23 23:11
别跟我说你没用软件,否则道理是一样的

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

明显是没有软件的

使用道具 举报

Rank: 7Rank: 7Rank: 7

积分
2520
帖子
3072
精华
7
UID
62890
性别

中国纪录 八年元老

发表于 2014-3-24 16:14:23 |显示全部楼层
jimofc 发表于 2014-3-24 12:50
明显是没有软件的

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

使用道具 举报

Rank: 4

积分
1336
帖子
1030
精华
11
UID
96089
WCA ID
2010JIMO01
兴趣爱好
破解

亚洲纪录(AsR) 六年元老

发表于 2014-3-24 19:02:55 |显示全部楼层
superacid 发表于 2014-3-24 16:14
算了,我还是直接指出问题吧,你把AI*EF=0算成BI*EF=0了

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

使用道具 举报

Rank: 3Rank: 3

积分
936
帖子
909
精华
0
UID
1330584
性别
居住地
金华市
兴趣爱好
速度

两年元老 四年元老

发表于 2014-3-24 19:43:49 |显示全部楼层
jimofc 发表于 2014-3-22 22:49
哪里有规定说一定要发解法
我的方法能不能用,LZ用不用这种方法都是他自己的事,关你P事

牛啊!!!!!

使用道具 举报

Rank: 7Rank: 7Rank: 7

积分
2520
帖子
3072
精华
7
UID
62890
性别

中国纪录 八年元老

发表于 2014-3-24 20:59:01 |显示全部楼层
jimofc 发表于 2014-3-24 19:02
我根本就没算,你怎么指出的问题

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

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

使用道具 举报

红魔

华容道游戏爱好者

Rank: 4

积分
1699
帖子
1069
精华
3
UID
76004
性别

智力游戏设计大师 六年元老

发表于 2014-7-3 19:11:03 |显示全部楼层
好久没上魔方吧了,谢谢上面的各位吧友

使用道具 举报

Rank: 5Rank: 5

积分
3114
帖子
1761
精华
5
UID
1330033
性别
兴趣爱好
破解
DIY
巧环
其它

魔方破解达人 两年元老 四年元老

发表于 2014-7-23 09:47:58 |显示全部楼层
jimofc 发表于 2014-3-22 22:49
哪里有规定说一定要发解法
我的方法能不能用,LZ用不用这种方法都是他自己的事,关你P事

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

使用道具 举报

Rank: 2

积分
419
帖子
155
精华
0
UID
13084
性别

六年元老

发表于 2014-7-23 20:26:50 |显示全部楼层
已知:锐角三角形AEF,AO⊥EF于O,I是AO上一点,FI延长交AE于G,EI延长交AF于H。在HG的延长线上有一点B,且∠ABG=∠EBG。
求证:AB⊥BE
-------------
貌似可以用这个思路来证明

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

Archiver|手机版|魔方吧·中文魔方俱乐部

GMT+8, 2020-10-23 07:10

Powered by Discuz! X2

© 2001-2011 Comsenz Inc.

回顶部