三角形の個数を順番に答えるスレ。

n本の直線で作られる三角形の数が最大になるときの
三角形の個数をf(n)とする.
f(0)から順に答えよ。

f(0)=0
f(1)=1

＞２
間違えた
f(1)=0
f(2)=0

f(0)=0

f(-1)=0

f(1/2)=i

f(-1)=-1, f(1/2)=1/16

（補足）nは自然数である。

>>8
ζが泣いてるぞ。

f(n)=1+n(n+1)/2

じゃないの？
厨なレスならごめんなさい。リア厨だから。

>>10
違う

だけどリア厨でこの問題を考えようとする姿勢は立派だ。

f(n)=π/n

>>10
それは分かれる領域の個数。三角形だとそれより少ない。

>>13
nが大きくなれば三角形の方が多いのでは？

>>14
矛盾してるだろ

f(0)=f(1)=f(2)=0
f(3)=1
さて、一服してくる。

f(4)=3ってこと？

ｆ（5）＝8か？

f(3)=1
f(4)=3
f(5)=7
かな？
階差数列っぽいけどf(6)が求まらないと階差が等差か等比かわからんな。
f(6)考えるのめんどくせぇ・・・（ﾟДﾟ)

論外

>>18-19
f(5)=7,8ってどうやるの？
漏れどうがんばっても5つしかできんのだが・・・

三角形の内部を他の直線が通っているような三角形も
カウントしている人がいたりしてな

ってーか、これ、個人で数えなきゃ和姦ねーじゃん。
前の人の数字ヒントになんねーし。

>>1よ、どっちだい？>>8の解釈か？>>22の解釈か？

>>19 >>21 >>8の解釈の解釈でOKなら、正三角形の点ABCで３本と、点Bから辺ACと点Cから辺ABで計５本。
三角形内部での交点をO、辺AB上の交点をD、辺AC上の交点Eをとして、
ABC ABE BCE ACD CDB BDO BCO CEO で８コ

>>1よ、どっちだい？>>8の解釈か？>>22の解釈か？

訂正

>>1よ、どっちだい？>>18の解釈か？>>22の解釈か？

>>24
疑問が１こだからクエスチョンマークは１つにするべき。
>>1よ、どっちだい？>>18の解釈か？>>22の解釈か？
↓
>>1よ、どっちだい、>>18の解釈か、>>22の解釈か？

>>22の解釈の方が簡単そうなのでそれで考えてみる
f(5)=10だよ。最大の領域数に分けるのと同じ案配で作図すると
1つの領域からなる三角形が3個、
2つの領域からなる三角形が4個、
3つの領域からなる三角形が2個、
4つの領域からなる三角形が1個できる。

お次一般化
直線K、直線Lによってできる交点を点(K,L)と書くことにすると、
交点は全部でn(n-1)個できる。
※(K,L)=(L,K)のような重複（２重複）には目をつぶっている。

基点を点(K,L)としてここから三角形を作りたい場合、
(K,L)→(L,M)→(M,K)となるもうひとつの直線Mの選び方は
(K,L)に対して、(n-2)通りある。(∵K,Lを除くから)
よってできる三角形は重複混ぜて
n(n-1) * (n-2)個。
１つの三角形について基点は３通りあるので、これは３重複している。
３でわってn(n-1)(n-2)/3、
さらに(K,L)=(L,K)重複を考えて２で割り、
f(n)=n(n-1)(n-2)/6。

ん。つまりΣ(k-2)^2ってことか。

つーかこれnC3だわ。こりゃはずかし
>>27消したい、消したい。
消えろ〜、消えろ〜

f(n)=n(n-1)(n-2)/6。
ん。つまりΣ(k-2)^2ってことか

ネタですか？

>>1よ、→どっちだい？→>>8の解釈か？→>>22の解釈か？ →0

↓　　　　　　　　　　　　　　↑　　　　　　↓

>>1よ、→どっちだい？→>>18の解釈か？→>>22の解釈か？ →0

>>30
ややこしいわ！

>>27 3つの領域からなる三角形が2個

理解できん。俺が、「最大の領域数に分けるのと同じ案配で作図」を理解できていないのか、

>>22のように同じ領域が何回もカウントされるようにする、
ようは「田」という漢字に四角形が9つあるとカウントするようなやり方
だとしたら問題は簡単すぎる。


直線３つ選んで出来る三角形の個数は最大で1つ。
だからnC3個より多く三角形は出来ない。
また１つの点を３つの直線が通らないようにして
どの２つの直線も平行になるようにすればnC3個出来る。

…って>>27は言ってるんだよな？まぁいいや。

次に「田」という漢字に四角形が４つしか入ってないというやり方だが、
この場合はある程度範囲が絞り込めてた気がする。
確か岩波新書の数理パズルって漢字の名前の本の中にあった…って探すくらいなら考えた方が早いか

　　　　たくさん直線が交わればたくさん三角形ができんねんなぁ…

いまだもって、>>27が理解出来ない。

>>27 3つの領域からなる三角形が2個

直線５本で、「最大の領域数に分けるのと同じ案配で作図」の図形ってどんな形なんだ。
>>24の図形しか描けない、、

>>35
へいおまち
http://bekkan.omosiro.com/img-box/img20020402201802.jpg

交点が交わらないようにしたらどんなんでも10個になるよ。
だって5C3=10だもん。

>>36
うう、こうやるのか。感動したってより、脱力感のほうが大きい。

ありがと。

１です。ごめんなさい。引っ越しのせいでここしばらく
インターネット使えませんでした。
　重複して数える場合の解答は皆さんのおっしゃるとおりです。

しかし、私が考えたいのは、三角形を重複して考えない方法です。
つまり、nを自然数として
f(1)=f(2)=0,f(3)=1,f(4)=2,f(5)=5
さて、ここからがやっかいです。
f(6)は７以上、f(7)は9以上ということはわかっています。
みなさん教えて下さい。ちなみにf(10)=15ではないかと考えています。

規則性は分からないけど，f(7)で１０個作れたよ．
答え出るまでに考えてみたいな．

あ・・・f(7)で１１個作れた

f(7)>=11ですか。ためしてみます。
法則
1.ｆ(n)>=f(m) n>m　n,mは自然数
2.f(n) + f(m) < f(n+m) +1 　n>m　n,mは自然数

f(7)=10はできますが、f(7)=11は難しいですね
f(9)=15できました。
ひとふでがきで、頂点が５つの星型をかくとf(5)=5になりますよね。
この形は効率がよいようです。
この形に２本追加するとｆ（７）=10、さらに２本でｆ（9）=15
ができました。どちらも、部分的に星形ができています。
ｆ（10）=15も間違えですね。

関係ないけど
http://210.166.236.187/~n01064-1/2nen/star/
の問題１の図形がｆ（５）=5の解答ですね。
イスラエルの国旗みたいな形で一つ線が少ないもの
ｆ（10）=20かな。

久々にあがってる・・・
ちなみに僕は進展なしで(--;;;

おかえり。>>1
んー実はこれずっと考えてるんだよな
数学的に解けないかなぁ…
とりあえず直線を曲線に拡張してるんだけど。
同じ線と２回以上交わらないという条件で。

ちなみに，f(7)=11の作り方は，
☆と×を上下に十分離して描く．後は線を延長．
３６度，４５度などをきちんと描かないと変わってしまうので注意，

後は無理矢理，f(8)=14，f(9)=17まで確認，

f(10)≧24
http://bekkan.omosiro.com/img-box/img20020414055811.gif
整理すると
f(1)=0, f(2)=0, f(3)=1, f(4)=2, f(5)=5, f(6)=6,
f(7)≧11, f(8)≧14, f(9)≧17, f(10)≧24
かな。

f(10)が急に増えたな・・・こりゃf(8)，f(9)も怪しいよ

>とりあえず直線を曲線に拡張してるんだけど。
>同じ線と２回以上交わらないという条件で。
fは変わらないと思う。

>47
F(10)=20 は、きれいですね。真中に★も出てくるし，
一筆書きでできています。
＞49
曲線にしても，同じ線と２回以上交わらないという条件で
３つの曲線に囲まれる領域の個数と考えれば同値になるのでしょうかね。
証明できるといいのですが。

なかなか、すすまないっすね。
ｆ(n)の上限を決める関数でもわかれば、やりがいがでてくるのですがね。

f(8)，f(9)がわかれば予想も立てれる可能性があるけど・・・
たぶん上に書いたの間違ってるし
f(10)はなんとなく合ってるような気もするんだけど

あまり、役に立たないけれど
f(n+1)<＝2f(n)っていえませんか？すでに有る三角形を
全て２つの三角形に分ける以上には三角形の個数は増えないということ。
でも、線を足すことで、三角形でなかったものが三角形になることもあるし…
ｆ(n)<2＾ｎ　もいえそう。大きすぎるか。

>>541
??
「分割数」と関連。検索してみるべし。

誤麦スマソ

＞５４　ありがとう。勉強してみます。
ちなみにＦ（１５）＝３０っていうのは少なすぎ?

分割数をインターネットで探したけれど
私には、難しすぎました。
わかりやすい、解説ページがあれば圧せーてください。

>27をヒントにしたら，
f(n)<n(n-1)(n-2)/6ですね。
f(n)はもちろん重複して数えないほうですよ。
田なら、9こではなく4こと数える方法です。

三角形でない領域の数だけ考えても明らかにf(n)<(n+1)n/2+1

>59
うーん。解説望む

>>60
n本の直線で平面は(n^2+n+2)/2個に分かれる（帰納法の典型）

>61
ありがとうございます。悩みましたがわかりました。
n本の線によって平面が分割される最大の数をg(n)とすると、
n本の線によって平面が一番多く分割されるためには、すべての直線が
一回ずつ交わる場合でg(n+1)=g(n)+n+1が成り立つわけですね！！

今回の三角形の場合を考えると平面の変わりに巨大な三角形を分割すると考えて
f(n)=<g(n-3)
f(n)<(n-2)(n-3)/2+1
となるわけですね。だんだん絞れてきたカナ？

このスレまだあったね。
ちょっと暇だからコンピュータでｎ＝１０くらいまで数えさせてみるかな。
保管age。

ていうか、みんな考えてるの？

私は考えていますよ。
コンピューターに数えさせるプログラミング教えてください。
＞63

>>64
残念ながら誰も・・・

保管age。

保管age。

新未解決問題に登録決定

1=0こ
2=0こ
3=1こ
4=3こ
5=6こ

つまり、n=> {1+（nー2）}×(n-2)÷2では？

ｆ（ｎ）≦ｎ（ｎ−２）／３。

>>75
ｆ（ｎ）≦４ｎ（ｎ−２）／９。

good thread

お。懐かしいスレ。
>>1
やってみようと思ってたんだけど
まずモデルの記述方法が難しいんだよね。
直線を引くいくつものパターンをどうやってデータ化するか、
考えられる直線の引き方をどうやって全パターンだしてくるか、とか。

だからといって数学的な証明の方も難しいな...

nage

うんこ

nＣ3＝n(n-1)(n-2)/6じゃねえの？

>>83
nＣ3＝n(n-1)(n-2)/6は正しいよ。
だけどf(n)≠nＣ3

ああ、中に線が入ってる三角形は数えないのか。

>>63
それぞれの直線に「向き」を考え、
他のn-1本の直線がどういう順番でその直線に交わってくるか(同じ点で交わる場合も同順として考える)
をすべての直線についてデータ化すればいいと思う

>>86のようにすれば、
「L_x,L_y,L_zの３本の直線が三角形をなしているか」も

L_xにL_y、L_zが同じ点で交わっていなくて、かつL_y,L_zとの交点の間には別の直線との交点はない
L_y,L_zに憑いても同様

ていう条件になるし
うーん、後は、あるデータが与えられたとして、
それが本当に図形として成り立つか、だよなぁ・・・

>>86
なんだけどね。
いま直線がある直線を横切ったとするよね。
すると次に横切れる直線っていうのは限られてくるんだ。
そこの制限のメカニズムとかが難しい…。
三角形をなすなさないの前にね。

>>86
でもとりあえずこれでひとつデータ構造は定義できたかな。
Lxの横切る直線を順に
Lx : Li1,Li2,Li3…
と書いて
L1:L3,L5,L2,L6…
L2:L4,L5,L1,L3…
L3:L1,L2,L6…
…
みたいに表現すると。
あとはこのデータから三角形をなす条件を決めると一応求められるが…
やっぱり不可能図形がたくさんでてきてしまうな

うちにある本にf(8)=15、f(9)=21の例が載ってるYO

これ無限次元にまで拡張すると面白そう・・・・

ふふ、ゲロはいたりしてね

f(6)=7
　☆
＿＿＿
こうして
あとは星の線を延長すると７個出来るＹＯ

公理１
L_xにL_y,L_zが同じ点で交わってくる時、
L_yにはL_x,L_zが同じ点で交わり、
L_zにはL_x,L_yが同じ点で交わる。
てな感じで公理を決めていけば

名スレの予感

f(1)=0, f(2)=0, f(3)=1, f(4)=2, f(5)=5, f(6)=7,
f(7)≧11, f(8)≧15, f(9)≧21, f(10)≧24
か？いまんとこ

>>47再ウｐきぼんぬ

>>86-89はどうなたの？

>>96
俺のだが失ったすまぬ。
☆　☆
　☆
＿＿＿＿
みたいな感じで、２つの☆が１つの頂点と２つの直線を共有している形だったはず。

問題を整理。
1)数学的なアプローチ
第一に漸化式が立てられるのか？はたして部分和的な考えで解けるのか
できれば分かってる最大になる図を眺めてみたい。
2)帰納的なアプローチ
f(8)くらいまでを何が何でも求めてそこから一般式or漸化式を推測
（なんかボーデの天体系軌道半径の法則みたいだな…）
プログラムで求められそうだが、データ構造が定義しにくい。（誰か提案してくれ）
>>89は３直線以上の頂点の共有が表現できない

http://rosso.1717.info/upload/data/tri.gif
f(1)〜f(7)図。

f(7)≧13
更新しちまった…鬱だ

f(7)の図はf(7)じゃなくてf(8)だった>>99
全くの間違いね。すまそ
100ゲドー

いつのまにか100ゲドーされてしまった。

うちの本に載ってたf(8)≧15とf(9)≧21の図。
http://rosso.1717.info/upload/data/sankaku_8and9.gif

良スレ

n本の直線で三角形を作る時,一つの直線は、最大ｎ-2個の三角形の一辺となる。

この事実は利用できないか？
例えば,ｆ（ｎ）＜ｆ（ｎ-1）+（ｎ-2）みたいなことが言えればいいのだが。。

test

お久しぶりです。
最近考えたのは、もし、三角形の個数を考えるのではなく、
四角形という問題なら、とても簡単になるということです。
五角形、六角形となるとまた、難しい感じがしますが。

なるほど、ではまず四角形で考えて、法則を見つけ、
それを元に三角形の場合を考える事にしてはどうかね

>>108
四角形の場合は、直線の本数が奇数と偶数本で分けて考えます。

>>109>>109>>109>>109>>109>>109>>109>>109
詳しく解説きぼん！

四角形の個数をg(n)とすると
g(1)=g(2)=g(3)=0,g(4)=1は明らか。
g(2k)の場合。最大になるのはｋｘｋの碁盤を作ったとき。
よってg(2k)=(k-1)^2
同様に考えて
g(2k+1)=k(k-1)
でも、三角形の個数は。。。？
三角形の個数をf(n)とすると
f(n)≧g(n)は言えるかな？

>>111
６≦ｇ（６）だから間違い。

f(k)の図はf(k-1)の図を含む――つまり貪欲法でこの問題が解けるかを
誰か証明してくれ。

>112
>>６≦ｇ（６）だから間違い。
良く分かりません
ｆ（６）＝7（発言92.95参照）
ｇ（6）＝ｇ（2*3）＝（3-1）＾2＝4
よってｆ（６）＞ｇ（６）
じゃないの？
ｆ（ｎ）は三角形の最大の個数、ｇ（ｎ）は四角形の最大の個数として

>>114
ｘ＝０，ｘ＝１，ｙ＝０，ｙ＝１，ｘ＋ｙ＝３で３≦ｇ（５）。
ｘ＝０，ｘ＝１，ｙ＝０，ｙ＝１，ｘ＋ｙ＝３，ｘ＋ｙ＝４で６≦ｇ（６）。

１１４ vs １１５
どちらが正解？番号で答えてください。
１．１１４が正解
２．１１５が正解
３．どちらもお馬鹿さん

age

答えようとすれば答えられますが、問題の説明がいい加減すぎます。
もしこのまま、答えようとすると4本で∞になります。
というのも、横も縦も長さが決められてなくて。
さらに、どういう三角形でもいいのなら少し形を変形するだけで違う三角形になります。
それを１つ１つやるとするとすぐに∞になります。
むしろ、3本でも無限大にできます。
だから、この問題には説明が足りなさ過ぎるのです。
もうちょっと、説明してくれないとスーパーコンピュータでさえも解ききれません。
以上証明終わり
結果：解なし

>>118
>答えようとすれば答えられますが、問題の説明がいい加減すぎます。
とおっしゃる割には貴方の書き込みも随分いい加減な気がしますが。

>>118
ちゃんと過去記事を読んでいるのだろうか？
もし、読んでのいけんなら、詳しい解説希望します。

age

>>118
＞さらに、どういう三角形でもいいのなら少し形を変形するだけで違う三角形になります。
三角形の種類の数(合同による同値関係)と勘違いしてるのでは？

正三角形つなげて考えていくのはどうでしょう？
意味わかんなかったらすんません・・・

・平行線を含む図形
・３つ以上の直線が同じ共有点を持つ図形
これらの図形は三角形の最大数を与えないと仮定する。


ある直線Lkの片方の無限遠点から反対側の無限遠点の方向に見ていって、
出くわす交点に関して、
それを作るもうひとつの直線の名前を並べていってできる直線集合の直積
cross(Lk)=(l0,l1,…,ln-2)
を考える。
これを全ての直線に関して集めれば、図形を表せる。

星型＝
cross(L0)=(L4,L2,L3,L1)
cross(L1)=(L2,L4,L3,L0)
cross(L2)=(L1,L4,L0,L3)
cross(L3)=(L4,L1,L0,L2)
cross(L4)=(L3,L1,L2,L0)

このとき、
cross(La)内でLbとLcが隣にある
cross(Lb)内でLcとLaが隣にある
cross(Lc)内でLaとLbが隣にある
を満たすとき、
La,Lb,Lcは直線を横切らせない三角形をなす。

あと不可能図形の完全な枝刈法だけわかれば全解検索できるのだが。

不可能図形の一例
・∃x(cross(x)がxを含む)
・∃x∀y(cross(x)がyを２つ以上含む)

これだけでいいのか？？
なんか不可能図形ができたら教えてちょ。

cross(L0)=(L1,L3,L2)
cross(L1)=(L2,L3,L0)
cross(L2)=(L0,L3,L1)
cross(L3)=(L0,L1,L2)
見たいなのも不可能じゃん？

数学板ぽくなってきた

cross(x)=(L1,L2,..,Ln)=(Ln,...,L2,L1)
この表示は逆にしても同じことだよね。
これで>>126を言い直すと
cross(L0)=(L1,L3,L2)
cross(L1)=(L0,L3,L2)
cross(L3)=(L2,L1,L0)
この時cross(L2)=(L3,x,y)とおけば必ずx=L1,y=L0でなければならない。

こっちの方が分かり易くない？

>>126
確かに不可能だね。
法則を見つけるのは難しいかも…。

ということで考え直し。
１本１本足していくやり方で全パターン検索する方法を考案。
かつ、「直線」ではなく分けられる「領域」中心に考える。

n=2のとき、
平面は４つの領域に分けられている。
領域Aと隣り合う領域を反時計回りに順番に並べたものをnext(A)と定義する。

例えば、n=2のばってんの図形は
next(A0)=∞,A2,A1
next(A1)=∞,A0,A3
next(A2)=∞,A3,A0
next(A3)=∞,A1,A2
と表せる。(∞は無限遠を表す)

ここで新しい３本目の線を書き加えることを考える。
これはある点Pが領域∞から他の領域を通って再度∞に戻るときの軌跡と考えてよい。
ひとまずPの動きには、
・隣り合った領域（つまり、Aにいるときはnext(A)）にしか動けない
・同じ直線は２回以上横切らない
という制限があるとする．

さて、Pが∞→A1→A2→…Ak-1→Ak→Ak+1→…→An→∞という経路を辿ったとしよう。
すると新しい図形はどう表せるか？
Ak-1→Ak→Ak+1の部分を考える．
Akは２つに分割されるので、新しい領域をAka,Akbとする．
next(Ak)=Ak-1,B1,B2,…,Bn,Ak+1,C1,C2,…Cm
は
next(Aka)=Ak-1,B1,B2…,Bn,Ak+1,Akb
next(Akb)=Ak+1,C1,C2…,Cm,Ak-1,Aka
という情報に置換される。
これでPの動きから新しい図形が生成でき、
Pの動きをバックトラックで全部検索すれば、
全てのn=k図形があればそこからn=k+1の図形が全て網羅できるので，
ある程度までならシミュレーションで求められそう。
もちろん，next(A)が無限大を含まず要素が3になる領域が三角形。
こりゃprologで実装できそうだな。

スレの議題とこのシステムの扱う問題の性質の違いを最後におさらい。
○スレ議題
・新しく引く線は直線
・Pが交点を通る場合がある
・平行な２線がある場合がある
○システム
・新しく引く線は曲線
・Pは交点を通らない
・平行な２線がある場合がある
○この前のcross()によるの記述
・新しく引く線は曲線
・Pは交点を通らない
・平行な２線はない

ちなみに僕は
・新しく引く線は曲線
・Pが交点を通らない
・平行な２線はない
という条件でも３角形の最大数は変わらないと仮定して考えています。
一番目の仮定は最大数を増やしてしまいそうですが…。

>>128
ごめん。先に用意してたの書いちゃった。
並行していきましょ。
crossの書き方はなんか不完全だね。

＞この時cross(L2)=(L3,x,y)とおけば必ずx=L1,y=L0でなければならない。
この法則がどういう規則ででてくるのか解析するのが難しい。

>>132
今一度cross表示について考えてみた結果をちょっと。
cross表示の性質。()は一応参照番号という事で。
(133_1)cross表示は逆にしても同じ状態を表す。
n=3の時∀Liに対して|cross(Li)|=2
これと(133_1)よりn=3の場合が本質的には１通りしかないことが分かる。
(但し３個以上の直線が１点で交わらないことを仮定している)

次に、上の仮定を置くとn=4の場合も１通りしかない。
次レスに証明を書きたいのでちょっと準備を。
・LiとLjの交点をPijと表すことにする。
(133_2)[1]cross(L1)でL2,L3が隣り合い、かつcross(L2)でL1,L3が隣り合っている。
この時cross(L3)でL1,L2は隣り合っている。
[2]cross(L1)でL2,L3の間にL4があり、かつcross(L2)でL1,L3の間にL4があれば
cross(L3)でL1,L2は隣り合っている。
∵�儕12P23P31と直線L4の交わりを考えると
L4は�儕12P23P31の３辺のうち０辺または２辺と交わるため。

n=4の場合が１通りしかないことの証明。
その１通りの具体的な表示は、
cross(L1)=(L2,L3,L4), cross(L2)=(L1,L3,L4),
cross(L3)=(L4,L1,L2), cross(L4)=(L3,L1,L2)
∵まず直線を１個選んでL1としcross(L1)=(L2,L3,L4)と定める。
(1)cross(L2)=(L1,L3,L4)の場合
cross(L3)=(L2,x,y)とおく。
これが出来ない場合はL1とL2のラベルを入れ替えればよい。
この時L1,L2,L3に(>>133_2)を適用してx=L1,y=L4が言える。
後はL1,L2,L4の組とL1,L3,L4の組に(>>133_2)を適用すると
cross(L4)上でL1とL2、L1とL3が隣り合う事が言えるから
cross(L4)=(L3,L1,L2)が言える。
(2)cross(L2)=(L1,L4,L3)の場合
(>>133_2)(L1,L2,L3)よりcross(L3)上でL1とL2の間にL4がなければならない。
よってcross(L3)=(L1,L4,L2)
同様にcross(L4)=(L1,L3,L2)が言える。
L1→L4→L3→L1とラベルを付け替えれば上の表示と同じになる。
Q.E.D

あと直感的なものだけど２つほど。
その前に次のようにcut表示を導入する。
領域Aと言った時はその周も含むものとして考えて
cut(A)={Li;A∩Li≠Φでかつ「線分」A∩Liの長さ>0}
この時、
・cut(A1)=cut(A2)=...=cut(An),|cut(A1)|≧3ならば
A1,...,Anのなかで閉じた(無限遠を含まない)ものは高々１個しかない。
・cut(Ai)=cut(Aj),|cut(Ai)|≧5ならばAi=Aj
・cut(Ai)=cut(Aj),|cut(Ai)|=2ならばAi=Aj

ageついでにちょっと。
>>134
L1を取るときはL2=(L1,x,y)となるL2が存在するように取る、
としないと厳密性に欠けるね。
>>135
cut(A)ってのは要はAの辺になってるLiの集合のことね。
曖昧にならない定義の仕方がこれしか思いつかなかったんで。
分かりにくかったかなあ。
あと新しい予想を一つ。
・cut(A1)=cut(A2), |cut(A1)|=3 or 4, A1は閉じた領域とするとA1∩A2≠Φ
>>135の３つも合わせて、一緒に考えてくれる人募集中。
ただこの方向性がどこまで三角形の個数を数えるのに使えるか、は別問題だな…。

>>129-130のシステムは分かりやすいけど
同じ直線を横切らないことを調べるのが面倒じゃない？
隣に行くときに横切る直線の情報も保持して
next[L1](A1)=A2のようなことが出来ればいいのかも。
そうすれば全ての直線を１回ずつ横切るルートが
割と簡単に検索出来そうだが…。
あと式の上ではcut(A1)not∋L1の時next[L1](A1)=0とかすればよさげ。

揚げ

>>130
で、結果はまだですか？

f(1)=0 f(2)=0 f(3)=1 f(4)=2 f(5)=5 f(6)=7 f(7)=11 f(8)=15 f(9)=21 f(10)=25　f(11)=31 f(12)=37 f(13)=47 ・・・・・

ﾌゥﾌゥ　ﾂｶﾚﾀ
計算も楽なものちゃうょ(ｱｾ

>>140
f(10)以降の図が見たいナリ。

>>141

普通にf(10)以降を描いてもイイんやｹﾄﾞ、一つ一つ描くと非常に時間がかかってヤヤコシイので図は勘弁してﾁｮｰﾀﾞｲ。

三角形をｎ本で最大個数を作るということに関して、
http://web2.incl.ne.jp/yaoki/asankak2.htm
ご参考にどうぞ。
ここでは２直線のみが交わった交点でやってるけど、決して２直線のみが交わった交点で作る三角形の最大個数＝純粋に最大個数を作るものではないということを念頭に置いておいてﾁｮｰﾀﾞｲヽ(*ﾟ∇ﾟ*)ﾉ
でも原理的にはどっちもさほど違いはなんﾀﾞｶﾞ
ここではちょっと示せないｹﾄﾞ

>>142
ありがとー。
また今度ゆっくり読んで感想書くね。

age

http://science.2ch.net/test/read.cgi/math/1036328487/

そっちへ誘導してどうする。

>>145
ｄａｔ落ち。

age

>142
同じことを考えている人って結構いるんですね

三角形の最大数を与えるf(n)図形に平行な２直線が必ず含まれるようなnは存在するか？

保守

（＾＾）

一般の位置にあるn本の直線でできる三角形の
「最小数」がn-2である事を示せ。

ほしゅったらあげろ！

>>1

（＾＾）

勃起

（＾＾）

　　 ∧＿∧
　　（　　＾＾ ）＜ ぬるぽ（＾＾）

ゴールデンウィーク
誰かこのテーマで卒論書かないかな。

そうだ、英語のページをあたるのを忘れてた。
こんなのどう？問題違う？
http://www.ecst.csuchico.edu/~kend/potw/archive/990730sol.html

>>164
だんだんアカデミックになってきましたね。

計算機でガーッと求めるための話

・文字列を並び替えることを考える
条件
(A)最終的に逆順になるようにする 01234→43210
(B)隣あった文字のみ交換することができる 01234→[10]234など
(C)各文字に対して、他のどの文字ともただ１回ずつ交換するとする

このような並び替えの順序は
このスレッドで言われる「図形」を表す
（ただし線が直線であるという保証はないが）

例
f(5)=5(星型)
(1,0)(3,2)(3,0)(2,0)(3,1)(4,0)(4,2)(4,1)(4,3)(2,1)
状態遷移図
01234
[10][32]4
1[30]24
13[20]4
[31]2[40]
31[42]0
3[41]20
[43][21]0

つまりひとつの文字が直線に当たるわけね

直線数nに対して交換対(x,y)はn(n-1)/2個あるので、
(n(n-1)/2)!パターンの交換対列を調べ、
そのうち条件(A),(B)を満たしているものを抽出して（(C)は自明）
それらの三角形の個数を出せばよい

ただn=5のときすでに(n(n-1)/2)!=10!=360万パターンもあるしすぐ崩壊するな
とりあえずやってみる

age

>>166
スマソわからん。
もうちょっと詳しく説明希望。

多分こんな話じゃなかろうか。

xy座標を入れて考える。
n本の直線のどれもx軸に平行でないようにする。
0からn-1まで直線に番号をつける。

直線y=tと
最初に引かれたn本の直線との交点を考えて
そのx座標の小さい方から番号を並べる。
tを-∞から+∞まで動かすと、
ちょうど交点の前後で隣り合う数が入れ替わる。

>>170
>n本の直線のどれもx軸に平行でないようにする。
全部x軸に垂直な場合とかも？？？？？

と反射レスをしてしまったが、
「直線の並べてある平面に「n本の直線のどれもx軸に平行でないように座標を入れる」
ということか

　　∧||∧
　（　 ⌒ ヽ
　　∪　　ﾉ
　　　Ｕ Ｕ

>>170
そうそう。そんな感じ。
ただ、どの２直線も平行でなく、
どの３直線も同一交点で交わらないっていう仮定の下の話だけど。

これで>>166の３つの条件をクリアするものを数え上げるとこんな感じ。
n=3のとき1，4のとき5，n=5のとき168，n=6のとき480480，n=7のとき141892608
（対象性を考えて、はじめの交換対は(1,0)に固定したときだけど）

図形で考えるとまだまだ重複あり。(n=4のとき1つだし，n=5のときはたぶん3つ)
これ，数学的に図形の数はいくつになるかだせないかな？

あと条件AとCは同値だよね。動かしてからわかった。

n=4の例

(0,1)(0,2)(0,3)(1,2)(1,3)(2,3)-----a
0__ ______________ _________ __3
1__X____ _________X____ ____X__2
2_______X____ _________X_______1
3____________X_________________0

(0,1)(0,2)(0,3)(2,3)(1,3)(1,2)------b
(0,1)(0,2)(1,2)(0,3)(1,3)(2,3)------c
(0,1)(2,3)(0,3)(0,2)(1,3)(1,2)------d
(0,1)(2,3)(0,3)(1,3)(0,2)(1,2)------e

aとbは明らかに同じだよね
図形的には全部同じなんだけど

aとc

因みに今の議論で参考になるかどうかは分からないが
全ての本数（奇数本、偶数本を含め）が全て、
どの３直線も同一交点で交わらないとは限らないょ。
でも１６６さんのように、最初にどの３直線も同一交点で交わらない場合を考えてそこから導き出していこうとしてるなら、着目点は非常にいい所をついてると思われ。

もう少し言い加えるなら
確かにｎ本で三角形を最大個数作るのであれば形としては今議論されている、どの３直線も同一交点で交わらないという条件で作ったｎ本での三角形の個数が最大なんやけど
なぜ全てどの３直線も同一交点で交わらないという条件で上手くいかないのか。ここが最大個数を作っていく上でかなり引っ掛かるポイントだとは思う。
そして、ｎ本の本数が奇数本・そして偶数本の場合では三角形（最大個数）の作られ方が違ってくるということ
そしてそこに、交差する本数の問題も絡んでくるというこも大切なポイントの一つだと思われ。

大して参考にならんだら流しておいてちょだい（ｗ

結局のところ
f(線数)=三角形の最大数(探索図形数)
f(2)=1(1)
f(3)=1(1)
f(4)=2(5)
f(5)=5(168)
f(6)=7(480480)
f(7)=11(141892608)
f(8)=無理
でした。
n=8以上ってあってるんでしょうかねぇ。
ものすごい数のパターンがありますよ
あってるんだったら人間はすごいなぁ

ここで思ったんですが、
人間は貪欲法でしか解いてないのでは？つまり、
・f(k-1)を与える図形に１本線を足したもののみがf(k)を与える図形と成りうる
という仮定の下でこの問題を解いているだけなのではないかということです。
>>176もそういう話ですよね。
f(8)=15くらいかな，とか言ってますけどそんなに簡単にわかるものなんでしょうか。

人は結構たくさんの直感的な仮定を勝手に付け足して解いてますね。
みなさんはどうでしょうか。
f(8)を考えるときにf(5)の星型図形から逸脱したような図形にまで思考を広げていますか？

とりあえず今日はf(7)=11が計算機で体系的に求められたということで
ageて安眠したいと思います

ただ３直線も同一交点で交わらず２直線が平行でないと仮定した下での話ですけどね…（ニヤリ

　　 川o・-・）ノ　＜先生！こんなのがありました！
http://www.muryou.gasuki.com/hankaku/hankaku07.html
http://muryou.gasuki.com/zenkaku/index.html
http://www.muryou.gasuki.com/hankaku/hankaku08.html
http://muryou.gasuki.com/hankaku/hankaku10.html
http://www.muryou.gasuki.com/hankaku/hankaku01.html
http://muryou.gasuki.com/hankaku/hankaku03.html
http://www.muryou.gasuki.com/hankaku/hankaku02.html
http://muryou.gasuki.com/hankaku/hankaku09.html
http://www.muryou.gasuki.com/hankaku/hankaku06.html
http://muryou.gasuki.com/hankaku/hankaku04.html
http://muryou.gasuki.com/zenkaku/index.html
http://www.muryou.gasuki.com/hankaku/hankaku05.html

私たちがやりのこしていること：
1) f(k)を与える図形に１本足すことでf(k+1)が得られるかどうかの真偽判定
2) どの３直線も同一交点で交わらない図形が最大数を与えるかどうかの真偽判定
3) どの２直線も平行でない図形が最大数を与えるかどうかの真偽判定
4) 直線数nでの真の図形数を求める(興味本位＋人間はどのくらいテキトーなのかの計測)

難しさの度合いは4<<<<<<1<<<<<<<<<<<<<<<<<2≒3ではないかと
ちなみに探索アルゴリズムはjavaで実装してます。cでなくてスマソ

3)は、平行な2直線を十分遠くで交わらせても、崩れる3角形が存在しないので真。

>>181
ちょっとすぐには分からないんだけど
三直線が一点で交わっている部分を含み、かつ
並行な二直線を含む場合は大丈夫？

とりあえず2)ならば3)はよさそうだけど。

＞f(k-1)を与える図形に１本線を足したもののみがf(k)を与える図形と成りうる
という仮定の下でこの問題を解いているだけ

この部分は間違い。少なくとも142等で言ってるのはこういうことではないょ。
f(k-1)を与える図形に１本線を足したもののみがf(k)を与える図形と成りうるという仮定では、最大数が本当にできているかどうかの判定が困難になる可能性もある罠。

本来最大ということを決定するためには、１交点で4本以上の直線が交わった場合なぜ最大個数にならないかということ
そして176でも書いたように３直線も同一交点で交わらないという条件でどうして最大個数にならいか
を考察しなければ純粋に最大であるということは言えないと思ふ。
因みにもっと厳密にやるならもっと多くの条件を考察しなければならない罠。

上記に続いて書き加えておくなら、３直線も同一交点で交わらないという条件のみならf(8)=14になる罠。
して、３直線も同一交点で交れるという条件を考慮してやっとf(8)=15となることが可能になる。
これは勿論三角形の作られ方によるものやけど
そうなるポイントというのは184、176に書いたような内容が大きく含まれていた和名。

果たしてこれが参考になるかどうか。

>>166氏のにちょっと手を加えてみた。

直線に番号をつけず、交わっているのが左から何本目かを示す。
例えば
>(1,0)(3,2)(3,0)(2,0)(3,1)(4,0)(4,2)(4,1)(4,3)(2,1)
>01234
>[10][32]4
>1[30]24
>13[20]4
>[31]2[40]
>31[42]0
>3[41]20
>[43][21]0
の星型なら
(01)(23)(12)(23)(01)(34)(23)(12)(23)(01)
という風になる。

一般にn本の場合、S_nの隣り合う互換n-1個を使った
n(n-1)/2個以下の積を考えることになる。
三本以上が一点で交わる場合も考えるなら
隣り合うとは限らない互換の積になる。

この表現が優れているのかどうか分からないけど
群論の話にもっていけるかもと思ったので書いてみますた。

>>185
＞f(k-1)を与える図形に１本線を足したもののみがf(k)を与える図形と成りうる
この話はちょっと別の話なので置いておきます。スマソ

＞３直線も同一交点で交れるという条件を考慮してやっとf(8)=15となることが可能になる。
えー。それまじですか。
f(8)=15の図形誰かちょっと見せてもらえませんか。
>>102あたりにUPされていたんでしょうけど。これ３直線の交点を持つんですか？
でも15個の三角形を持ちつつ３直線で交わらない８直線からなる図形は
有り得ないっていうことは証明されてませんよね？
あると思いますよ。ちょっと作ってみよう。

>>186
うんうん。群論になるね。
Π[i=0tok](n+i,k-i)のみを置換積に加えられる置換として扱うことによって
３直線以上の頂点もサポートできて、
01234→43210みたいに逆順にならなくてもいいなら、平行な２直線の存在も許せる。
ただ、同じ２直線が２度以上交わらないっていう制限はどう記述する？
この判定難しいよ

>>187
果たして証明と言えるかどうかはよく分からんけど
なぜ15個の三角形を持ちつつ３直線で交わらない８直線からなる図形が存在しないかということは一通り説明できたりする輪名。

それは、それぞれの交点のでき方に大きく関係してくるんやけど
その肝心の８直線での三角形１５個の図というのがないからなんとも・・。
ただf(8)=15のように３直線も同一交点で交れるという条件を考慮して
個数が増えていくパターンはf(8)の場合に限らずf(12)、f(14)、(f(15))、f(16)・・・・etc
がある。

１９０（σ｀・ω・´）σｹﾞｯｼ！

>>189
たしかに実際やってみると、だんだん三角形の数が増えていって、
いったんできた三角形を壊さずに増やしたくなってきて、
交点を通りたくなるなぁ

いまf(8)=15図を考えてます。コンピュタといっしょに
コンピュータは３直線交点なしで探索しとります。２人とも軟膏
とりあえずプログラムうぷ
http://rosso.1717.info/upload/data/CountTriangles.lzh
java CountTrianglesでヘルプ

>>189
わかりました。８直線で分けられる最大領域数は8*(8-1)/2=２８個。
隣り合う２領域を１グループとすると図形は最大１４グループに分けられる。
よって、１５個の三角形が存在するということは、
どれか１組は隣り合う三角形が存在する。
三角形が隣り合うと３直線の交点が生じる。
よって必ずf(8)=15を与える図形は３直線の交点を含む。

>>192
おみごと！
応援してるよ。

で、f(8)=15ってほんとにあるのか・・ゼェゼェ

>>192
おめでとう！
お疲れ

>>194
因みに15個は実在したりするんだﾜﾅ（ｗ。
図が描けないからちょっと悔しいけど・・。
参考にならないかもしれんけど、その８直線で１５個の図では
３直線が同一交点で交わる個所は２個所あるのだ（自明と言われればそこまでなのだが）。

f(8)≧14までは簡単なのに（泣）
http://rosso.1717.info/upload/data/f8_14.gif
今夜はおやすみなはと☆

>>188
>>186方式でb_1*...*b_mと書けたとき
a_k=b_1*...*b_(k-1)*b_k*b_(k-1)*...*b_1
（つまりb_kの左側に現れる置換で共役を取る）
とおくとa_1*...*a_mが対応する>>166方式の表記に
なるのではないかと思うのだけど・・・
少なくとも具体的に計算するのには使えなさそうだ。

ロゴがいいです
http://homepage3.nifty.com/coco-nut/

http://homepage.mac.com/hitomi18/

>>197に追加
i<jに対してa_i=a_jは
a_(i+1)*...*a_j*a_(j-1)*...*a_i=1
と同値。
しかしこれを一つ一つ確かめるのは非効率的か・・・

>>192だめだ。
n直線から生成される領域数はn(n+1)/2+1で8*9/2+1=37だわ。n(n-1)/2は頂点数。
しかも全部の領域を隣り合う２領域でグループ化できる保証はどこにもないし

ぐだぐだです
でも隣り合う三角形無しで１５個の三角形をf(8)の図形に詰めるのは困難っていう
筋はあってると思う

http://yahooo.s2.x-beat.com/linkvp/linkvp.html

ごめんごめん。>>188は
Π[i=0tok](n+i,k-i)
じゃなくって
Π[i=0tok](n+i,n+k-i)　（0<=n<直線数,k=同時交点数-1）
だった。
>>166のって(x,y)ってかくと互換とややこしいね。[x,y]って書くことにする？

>>166はアーベル群，
>>186は対称群？
>>166は交換する直線が隣り合うかどうかの判定が難しく、
>>186は以前に交わったかどうかの判定が難しい

>>166方式の例で三角形の抽出を考える。
図形が[1,0][3,2][3,0][2,0][3,1][4,0][4,2][4,1][4,3][2,1]とする。

まず[1,0]をみて、[1,0]より後で1か0を含むものは[3,0]。
[3,0]より後で1か3を含むものは[3,1]。
ここで頂点[1,0],[0,3],[3,1]は三角形をなす。

同じように[3,2]から考えると、
[3,2],[3,0],[2,0]＝３角形
[3,0],[2,0],[3,1],[4,2],[4,1]＝５角形
…
こうやって図形の中の全てのｎ角形が抽出される。
置換の数がｎ角形のｎを表すことになる。

これから３直線以上交点を許すように拡張できて、
たとえば[3,2],[3,0],[2,0]の三角形を縮退して[0,2,3]とする。
[3,0],[2,0],[3,1],[4,2],[4,1]→[0,2,3],[3,1],[4,2],[4,1]＝４角形
４直線以上交点の場合は難しい…

>>184
＞１交点で4本以上の直線が交わった場合なぜ最大個数にならないか
ならないんですか？うーんどうしてだろう…

200越え、オメ(´∀｀)！


>>200

でもこの問題を群論に持っていこうとする構えはとてもいいと思ふ。
個人的にもこの問題を深く考えていけば、位相幾何等の分野にも適応していけそうな気はするので。
因みに三角形の個数が最大であることを考察するために使用したのは、平面に敷き詰めた三角群だったﾜﾅ。

>>201

前回の方法を捨てることはないと思うょ。
確かに前回は交点の個数から考えていたけど
実際三角形を作っていく（最大個の）にあたって、考察しなければならない重要ポイントの一つはその交点でもあるので。
三角形の最大個数を考えていくなら、前回の方法を基に考えていったほうが良い気はする。
して、肝心のn直線から生成される領域数やけど、これは(n‐2)(n‐1)/2という式でも出てくると思う。

n直線から生成される領域数は結構簡単に求まったりするけど
その中の決まった図形（今回の場合三角形が最大という）を抽出していく方法となると一気に難易度がアップする罠。
因みに、今回のように三角形の最大数を求める方法が分かってくれば
ｎ角形はｎ本で最大幾つできるか、等応用の幅も広がってくるということが面白いところかもな。

>>204

＞１交点で4本以上の直線が交わった場合は最大個数にならない
という部分を考察するにあたって、参考になるかどうかは分からんけど
>>176の
＞どの３直線も同一交点で交わらないという条件で作ったｎ本での三角形の個数が最大なんやけど
なぜ全てどの３直線も同一交点で交わらないという条件で上手くいかないのか。

この部分を考察して、かつその連続性を考慮することによって
どうして４直線以上が１交点で交わっては、三角形の個数が最大にならないかということが分かる気がする和名。

グラフ理論の初歩なのでみんな気付いてるかもしれないけど。

適当なZ上の行列Mをとると
三角形の数=tr(M^3)
となることがわかりますた。
でも行列のサイズが巨大なうえ、与えられた行列が平面図形として
実現可能かどうかの判定条件が難しそう。

訂正

三角形の数=tr(M^3)/6

重複を見落としてた。

>>207
全然わかりましぇん…
解説してくれろん
tr()って対角要素の和なんだよね
Mをどんな行列と置くのかがわかりましぇん

>>209
直線の交点がm個あるとして、
それに1からmまで番号付けする。
そしてiとjが間に他の点を挟まずに線分でつながっているときa_ij=1
それ以外のときa_ij=0としてM=(a_ij)と置けばこれが求める行列。
一般にM^kのij成分はk本の線分を通ってiからjへ至る経路の数になる。

「隣接行列」で検索するといいかも。

泣けるぜ
http://rosso.1717.info/upload/data/f8_14b.gif

━―━―━―━―━―━―━―━―━[JR山崎駅（＾＾）]━―━―━―━―━―━―━―━―━―

━―━―━―━―━―━―━―━―━[JR山崎駅（＾＾）]━―━―━―━―━―━―━―━―━―

　　　 　∧＿∧
ﾋﾟｭ.ｰ　(　　＾＾ ） ＜これからも僕を応援して下さいね（＾＾）。
　　＝〔~∪￣￣〕
　　＝ ◎――◎ 　　　　　　　　　　　　　　　　　　　　　山崎渉

17

だんだんついていけません
てーまは簡単なのに

３直線で三角形２個を作ることが不可能なことを証明せよ。
４直線で三角形３個を作ることが不可能なことを証明せよ。
５直線で三角形６個を作ることが不可能なことを証明せよ。

過去ログ読めない217は放置で。

失礼な。俺は始めからいるぞ？
三角形の生成が不可能なことを証明することで
最大数が求まるんじゃないかと思って書いたんだが
とくに小さいケースから考えて

8本で15個できました
http://up.isp.2ch.net/up/5ca1d98cc512.jpg

ちなみに水平に近い右上がりの線を除くと
7本で11個になってます。
つまり貪欲法で出来てます。

●●●マスコミの 「盗聴／盗撮」 は許されるの？その７Ａ●●● http://natto.2ch.net/mass/kako/1004/10049/1004950940.html

125：　 ：03/06/29 08:22
615 名前： 文責：名無しさん 投稿日： 01/12/29 21:36 ID:UPTFCLuM
自作自演組織その１

マスコミには番組を作るためのネタが尽きた場合に、
金をもらって「自作自演を請け負って」ニュースや番組のネタを提供をする
サクラの様な（公安警察のサクラとは違う）組織があるのではないでしょうか？
自作自演がばれない様にするためにマスコミ関係者とは直接には関係ない
「自作自演を請け負う組織」が存在するのではないかと思われます。

ここに書かれている盗聴に伴う集団ストーカー的な嫌がらせなどは
マスコミとつるんだ、さくら部隊が請け負っているのではないでしょうか？。
「自作自演請け負い組織」はネタを自作自演する意外にも、
マスコミ業界批判者を叩いたり、同じ業界人の犯罪行為の口封じのため
に動員されることもあるのではないでしょうか？

某テレビ局の記者が珊瑚に傷をつけてそれを番組のネタにした自作自演が
行われましたが、実はこういった行為は氷山の一角で
「組織的」日常的に行われているのではないかと疑ってしまいます。
マスコミ業界の腐敗はわれわれの想像をはるかに超えていると思います。
多分、自作自演組織の存在を知っているのはマスコミ業界の一部の人間だけでしょう。
大半のマスコミ人は知らないのではないのでしょうか？

因みにf(n)≦[n(n-2)/3]の式が出てきていたので
そのことに関して言及しておくと、[n(n-2)/3]の式の値と一致する本数は
2^n+1(n=1,2,3,4･･･)本の場合と、3*2^ｍ+1(m=0,1,2,3,4･･･)
となる。
これもまた考えていく上で参考になれば。

因みに、ｎ本で三角形を最大個作る問題を考えたとき
これを一つの式で表すのはなかなか至難の業だと思われ。
もしかするとそれは不可能なのかもしれないが。

>>222
>[n(n-2)/3]の式の値と一致する本数は
>2^n+1(n=1,2,3,4･･･)本の場合と、3*2^ｍ+1(m=0,1,2,3,4･･･)

それは必要十分ですか？ぱっと見、そうとは思えないんだけど。

三本以上の直線が一点で交わる場合でも[n(n-2)/3]でおさえられるんでした？
確かにできそうな気はするんだけど

>>223
この問題（三角形を純粋に最大個数作っていく問題）を考える上では
必要十分条件かも（この式よりその概念が）。
でも他の考え方（？）も考慮すれば、一概にそうだと決定することはできないかも。

そもそも、この[n(n-2)/3]という式での値（三角形数）は
実はｎ本で作られる最大交点を数える式と方法は非常に似ている（原理的には同じ）
ことに注目する。
これは一部の一般解やけど、
他にもたくさんの本数でできる三角形数を考察していくと
きっともっとたくさんの式が発見されると思われ。
でもそれを一つの式でまとめられるかどうかは不明。

>>224
抑えられると思われ。
特に最大交点数を考察し、それと三角形の個数（最大）の関係を考えた場合に。

>>220
ぎょめん、>>220かそれみた人もっかい見して・・・

再up
http://up.isp.2ch.net/up/e1ec6f3bdb35.jpg

>>227
激しくありがと〜！
たしかに8linesで15trianglesでした
３線交点が２つあるなぁ・・・

#2ch直りんに変わった？

psにしてみました

%!PS-Adobe-3.0
%%15 triangles with 8 lines
/tgifdict 51 dict def
tgifdict begin
/TGMAX { exch dup 3 1 roll exch dup 3 1 roll gt { pop } { exch pop } ifelse } def
/TGMIN { exch dup 3 1 roll exch dup 3 1 roll lt { pop } { exch pop } ifelse } def
/TGSW { stringwidth pop } def /TGSM { tgiforigctm setmatrix } def /TGRM { savematrix setmatrix } def
/bd { bind def } bind def /GS { gsave } bd /GR { grestore } bd /NP { newpath } bd
/L { lineto } bd /M { moveto } bd /S { stroke } bd
/TR { translate } bd /SC { scale } bd /MU { mul } bd
/DI { div } bd /DU { dup } bd /NE { neg } bd
/SG { setgray } bd /W { setlinewidth } bd /SM { setmiterlimit } bd
end
tgifdict begin
/tgifsavedpage save def
1 SM 1 W 0 SG 72 0 MU 72 11 MU TR 72 128 DI 100.000 MU 100 DI DU NE SC GS
/tgiforigctm matrix currentmatrix def 0 SG GS NP 183 458 M 621 458 L TGSM 1
W S GR 0 SG GS NP 89 577 M 628 428 L TGSM 1 W S GR 0 SG GS NP 183 454 M 756 748
L TGSM 1 W S GR 0 SG GS NP 88 577 M 703 236 L TGSM 1 W S GR 0 SG GS NP 475 847
M 275 163 L TGSM 1 W S GR 0 SG GS NP 472 844 M 741 132 L TGSM 1 W S GR 0 SG GS
NP 339 533 M 741 133 L TGSM 1 W S GR 0 SG GS NP 755 748 M 275 163 L TGSM 1 W S GR
GR tgifsavedpage restore
end
showpage

%!PS-Adobe-3.0
%%15 triangles with 8 lines
51 dict begin
1 setmiterlimit 1 setlinewidth 72 0 mul 72 11 mul translate
72 128 div 100.000 mul 100 div dup neg scale gsave newpath
183 458 moveto 621 458 lineto stroke
89 577 moveto 628 428 lineto stroke
183 454 moveto 756 748 lineto stroke
88 577 moveto 703 236 lineto stroke
475 847 moveto 275 163 lineto stroke
472 844 moveto 741 132 lineto stroke
339 533 moveto 741 133 lineto stroke
755 748 moveto 275 163 lineto stroke
grestore save restore end showpage

　__∧＿∧_
　|（　　＾＾ ）|　＜寝るぽ（＾＾）
　|＼⌒⌒⌒＼
　＼ |⌒⌒⌒~|　　　　　　　　　山崎渉
　　 ~￣￣￣￣

15

　　　 (⌒V⌒)
　　　│ ＾ ＾ │＜これからも僕を応援して下さいね（＾＾）。
　　⊂|　　　　|つ
　　　（＿）（＿）　　　　　　　　　　　　　　　　　　　　　　山崎パン

>>217
なるほど。
いい発想ですね。
最近あまりじっくり考える時間がとれずに
後半はついていけていません。
じっくり考えてももともとついていけないという
話もありますが。。。

3直線で2個できないのは証明できるし
4直線で3個も証明できると思うけど
後が続きそうに無い・・・

もう後が無い

一般項出したヤツは神

7

7

1876πｒ３条

２×１１＾２。

ほっしゅ

そんなもんかねえー

13

19

092

7

795

28

なかなか。
★印がポイントだと思うのですが。

328

二年一分。

ほしゅったらageろ！

hage

f(0)=f(1)=f(2)=0
nが3以上の整数のとき、
f(n)<=(n-2)(n-1)n(n+1)(n^2-n-4)/48
(∵交点は高々n(n-1)/2個で、そのうちから、三個を選ぶ方法はn(n-1)/2*(n(n-1)/2-1)*(n(n-1)/2-2)/6)

234

234

611

409

390

386

384

282

364

728

127

422

三角形の個数は
3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333

710

475

419

438

417

165

146

759

393

767

193

496

995

864

目指せ！電車男！！
卒論のテーマにどうぞ

280

761

2

　〜〜〜終了〜〜〜

491

864

475

そんなもんかねえー

795

tri

153

402

245

650

三年。

age

925

321

160

501

73

肯定の肯定（正×正）＝肯定（＋）
肯定の否定（正×負）＝否定（−）
否定の肯定（負×正）＝否定（−）
否定の否定（負×負）＝肯定（＋）

755

　.┌━┐　 　 ┌━┐
　　　　　 ┃┌╋──╋┐┃
　　　　　 └╋┘　 　 └╋┘
　　　　　 　 ┃　・ 　 ・　 ┃ 　 　　 　 ┌━━┐
　　　　●━╋┐　 　 ┌╂━━━━╂┐　 ┃
　　　　└━┷┴━━╂┘　 　 　 　 └╋━┘
同じｽﾚにはｺﾋﾟﾍﾟ　┌╋┐ 　　 　 　 ┌╋┐
できるけど、違う　 ┃└╋╋━━╋╋┘┃
ｽﾚにはｺﾋﾟﾍﾟでき　┃　 ┃┃ 　　 ┃┃　 ┃
ない不思議ｺﾋﾟﾍﾟ　┃　 ┃┃ 　　 ┃┃　 ┃
　　　　　　　　　　　└━┘┘　　　└└━┘

7

age

まだあったのね。今週は連休続きだしじっくり考えてみるか。
ここまでの成果のまとめをキボンヌ。

>>308
ピタゴラスイッチ？

f(1)=f(2)=0
f(3)=1
f(4)=2
f(5)=5
f(6)=7
f(7)=11
f(8)=15

というところか。
あとは計算機上にのせようとするとデータの表現が難しい、と。

>>225 の人が何か知ってそうなんだけどあまり詳しくは語ってくれなかったようだ。

今のところわかっている公式は？
f(n)＋f(m)>=f(n+m) n,m>0の自然数
f(n)< 1/6 x n(n-1)(n-2) n>3の自然数
もっと厳しい式はないかな。

有界な線分の数は n(n-2) だから、どの三直線も点を共有しないとすれば
どの二つの三角形も辺を共有しないから [n(n-2)/3] 以下となる。
>>222-225 で同じ評価が一般に成り立つという話が出ているが詳細は不明。

連休２回目。上げ！

306

403

989

538

820

470

976

四年一時間。

age

kingの弟子

talk:>>329 私を呼んでないか？

まだ考え中です。

962

547

976

分からないことってまだまだあるんだなあ。

245

790

721

まだまだ考え中

241

.┌━┐　 　 ┌━┐
　　　　　 ┃┌╋──╋┐┃
　　　　　 └╋┘　 　 └╋┘
　　　　　 　 ┃　・ 　 ・　 ┃ 　 　　 　 ┌━━┐
　　　　●━╋┐　 　 ┌╂━━━━╂┐　 ┃
　　　　└━┷┴━━╂┘　 　 　 　 └╋━┘
同じｽﾚにはｺﾋﾟﾍﾟ　┌╋┐ 　　 　 　 ┌╋┐
できるけど、違う　 ┃└╋╋━━╋╋┘┃
ｽﾚにはｺﾋﾟﾍﾟでき　┃　 ┃┃ 　　 ┃┃　 ┃
ない不思議ｺﾋﾟﾍﾟ　┃　 ┃┃ 　　 ┃┃　 ┃
　　　　　　　　　　　└━┘┘　　　└└━┘

五年三日十三時間。

2002年の>>129です。お久しぶり。
５年も生きながら残ってるとはすごいですね。当時４大生だし。
（っていうかこの数字書き込みで延々保守してるひとって誰なの？）
後半たくさん書いてる>>166も自分のような気がするんだけど、もうあんまり記憶がない。
>>201で自説の間違いに気付いてぐだぐだになってるとことか笑った。
ぜんぜんだめじゃん。
でも単純なトポロジーに落として計算機でがっと詰めようという方針は
なかなかまっとうだな

2002年の>>129です。お久しぶり。
５年も生きながら残ってるとはすごいですね。当時４大生だし。
（っていうかこの数字書き込みで延々保守してるひとって誰なの？）
後半たくさん書いてる>>166も自分のような気がするんだけど、もうあんまり記憶がない。
>>201で自説の間違いに気付いてぐだぐだになってるとことか笑った。
ぜんぜんだめじゃん。
でも単純なトポロジーに落として計算機でがっと詰めようという方針は
なかなかまっとうだな

多重スマソ

age

525