これ証明してみそ

このエントリーをはてなブックマークに追加
1以下、名無しにかわりましてVIPがお送りします
正三角形ABC
正三角形DEFがある

ADの中点をG
BEの中点をH
CFの中点をIとすると
GHIも正三角形になることを示せ
2以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 19:14:45.75 ID:ifT+R1+m0
俺が保証する
3エルティー ◆ElTiXXMIXI :2010/03/09(火) 19:14:58.67 ID:gw/2T1XB0 BE:1600471679-DIA(200002) 株優プチ(news4vip)

バルキスの定理
4以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 19:15:42.20 ID:7bjoraYa0
>>1
顔写真と手数料三百円ね
5以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 19:15:59.99 ID:bobi5/ta0
ならないような気がする
6えすじい ◆AC/DC78UDA :2010/03/09(火) 19:16:28.68 ID:dfCEu4D60 BE:3585405997-2BP(234)

ワカンネっけど台形じゃね?
7以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 19:17:23.71 ID:TkpB/QfE0
三角形はどんな位置にあってもいいの?
8以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 19:17:25.84 ID:7hqWKmi90
同じ平面上じゃないよな?
9以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 19:19:18.69 ID:IF7KpOIv0
よく問題集にありそうな問題だな
10以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 19:19:56.71 ID:rdp3IdBW0
ならないって証明ならできる A=D、B=Eなら三角形にすらならない
11以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 19:20:50.55 ID:GXUADisJ0
12以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 19:23:38.34 ID:bobi5/ta0
やっぱりならない
  A  D
B      E
  C  F
こういう位置の時それぞれ中点を結んでも直線になる
13以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 19:38:19.38 ID:b/n09HVi0
>>1は図を用意すべきだったな。
14以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 19:39:36.89 ID:JoRVFqpVP
繝輔ぃ繧、繝ォ縺瑚ヲ九▽縺九j縺セ縺帙s縲
15以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 19:45:35.22 ID:pTm32RNR0
ベクトル使えばできそう

面倒だからやらないけど
16以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 20:06:30.56 ID:Esbq7MzV0
出来もしないことを出来ると証明しろとか無理いいすぎ
17以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 20:16:06.65 ID:AZ3ob4enP
>>5-8
作図してみろよ

>>10
A=D、B=Eなら、
ABC≡DEF≡GHI
で明らかに正三角形

>>12
それは正三角形ABCと正三角形DFEの場合だろう
18以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 20:34:24.57 ID:b/n09HVi0
とりあえず図を描いた。
証明はよろしく。

ttp://vippic.mine.nu/up/img/vp3269.jpg
19以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 20:49:44.97 ID:Esbq7MzV0
  A  D
B      F
  C  E
20以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:00:49.43 ID:zHPgVG5Z0
この二つの正三角形ってどんな位置関係であってもいいの?
たとえば、ゼルダの伝説のマーク?のような
三角形の中に三角形が入ってるようなやつでもいいのか?
21以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:11:57.09 ID:b/n09HVi0
こーゆー図形の証明系の問題さ、
イラレとかで正確な図を描くと、よくわかるねぇ。

http://vippic.mine.nu/up/img/vp3273.png
右上が>>19な。
22以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:14:08.44 ID:a8n+G37e0
A(ax,ay)
B(bx,by
C(cx,cy)
D(dx,dy)
E(ex,ey)
F(fx,fy)としたとき
△ABCが正三角形である条件は
√((ax-bx)^2+(ay-by)^2)=√((bx-cx)^2+(by-cy)^2)√((cx-ax)^2+(cy-ay)^2)
△DEFが正三角形である条件は
√((dx-ex)^2+(dy-ey)^2)=√((ex-fx)^2+(ey-fy)^2)√((fx-dx)^2+(fy-dy)^2)





めんどくさい
後誰か頼む
23以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:16:39.98 ID:a8n+G37e0
A(ax,ay)
B(bx,by)
C(cx,cy)
D(dx,dy)
E(ex,ey)
F(fx,fy)としたとき
△ABCが正三角形である条件は
√((ax-bx)^2+(ay-by)^2)=√((bx-cx)^2+(by-cy)^2)=√((cx-ax)^2+(cy-ay)^2)
△DEFが正三角形である条件は
√((dx-ex)^2+(dy-ey)^2)=√((ex-fx)^2+(ey-fy)^2)=√((fx-dx)^2+(fy-dy)^2)



ゴメン
いろいろ抜けてた
24以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:20:49.47 ID:b/n09HVi0
>>20
こういう事が言いたいのか?
http://vippic.mine.nu/up/img/vp3276.png
25以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:21:35.33 ID:AZ3ob4enP
>>20
もちろん
http://vippic.mine.nu/up/img/vp3275.bmp

>>21
ABC≡DEFじゃなくてもいい

>>22
補助線だけで解けそうだけど
26以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:23:57.03 ID:zHPgVG5Z0
>>24
そうです、その右側の図のDをBとCの間にすれば、
三角形が内側に三重になるような気がしたんだが
27以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:27:22.79 ID:rdp3IdBW0
裏返しは駄目なわけね それなら>>23のBとDに右側って条件つければなんとかなるんじゃない
28以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:31:47.92 ID:b/n09HVi0
>>26
こうだな
http://vippic.mine.nu/up/img/vp3279.png
自分で作っといてなんだけど、でっていうw
29以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:38:54.67 ID:zHPgVG5Z0
>>28
サンクス、この3つの三角形が相似になるかなと思って
30以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:41:21.22 ID:q2O9mQR10
3x
31以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:43:19.16 ID:zSYMRqTeO
三角形が完全に重なっていたら成立しない。
はいQED
32以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 21:52:22.16 ID:pnM12Z450
33以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 22:03:05.44 ID:pnM12Z450
よし、行けそうだ。少々難しいが、我慢してくれよ
34以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 22:05:33.37 ID:pnM12Z450
書いてたけど絵があった方がいいな・・・これは画像うpした方がよさそう・・・
35以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 22:25:37.75 ID:pnM12Z450
ho
36以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 22:41:05.98 ID:pnM12Z450
今ので消しちまった・・・略解で勘弁

方針は、AからBCに下ろした垂線の足をHとして、AH,BHの二本のベクトルと同じ向きの垂直な二本の単位ベクトルk,hで考える。
直線BCに対するEFのなす角を反時計回りにθとして、
△DEFの一辺の長さをaとして、e,fをd,h,kで表す(小文字はvector(AX)=xみたいに略記した形で)

h=(1,0),k=(0,1)として、回転行列を使ってベクトルの大きさを計算
AD,BE,CFの中点をそれぞれP,Q,Rとすると、
PQ=QR=RP=√(a^2+2acosθ+1)
となり示される。

上で指摘された、三角形が潰れて線分になるのも実は、
「a=1,cosθ=-1」つまり、「△DEFは△ABCと一辺の長さが同じで、180度回転した形」の場合として含まれている
37以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 22:44:11.30 ID:pnM12Z450
やべえ 大ボラ噴いちまった・・・


線分となる場合は含意されていない。
回転してもAとD、BとE、CとFが重ならない場合を考え忘れていた・・・その場合が線分になるんだ

うえのような解法で行けるだろうか・・・

これは宿題としておこう。もう逃げよう。さらばだ|彡サッ
38以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 22:56:29.96 ID:a8n+G37e0
じゃあ俺が続きやる

A(ax,ay)
B(bx,by)
C(cx,cy)
D(dx,dy)
E(ex,ey)
F(fx,fy)としたとき
△ABCが正三角形である条件は
√((ax-bx)^2+(ay-by)^2)=√((bx-cx)^2+(by-cy)^2)=√((cx-ax)^2+(cy-ay)^2)
△DEFが正三角形である条件は
√((dx-ex)^2+(dy-ey)^2)=√((ex-fx)^2+(ey-fy)^2)=√((fx-dx)^2+(fy-dy)^2)

ここで新たに出来る三角形を△GHIとして
G(gx,gy)
H(hx,Hy)
I(ix,iy)としたとき
△GHIが正三角形である条件は
√((gx-hx)^2+(gy-hy)^2)=√((hx-ix)^2+(hy-iy)^2)=√((ix-gx)^2+(iy-gy)^2)

39以下、名無しにかわりましてVIPがお送りします:2010/03/09(火) 23:00:26.92 ID:a8n+G37e0
GはAとDの中点なので
gx=(ax+dx)/2、gy=(ay+dy)/2
同様に
hx=(bx+ex)/2、hy=(by+ey)/2
ix=(cx+fx)/2、iy=(cy+fy)/2

これを
△GHIが正三角形である条件は
√((gx-hx)^2+(gy-hy)^2)=√((hx-ix)^2+(hy-iy)^2)=√((ix-gx)^2+(iy-gy)^2)
に代入すると…
40以下、名無しにかわりましてVIPがお送りします
めんどくさっ






ってなる