- ベストアンサー
にゃんこ先生の自作問題、n点が同一直線上にある条件
にゃんこ先生といいます。 2次元以上の空間に、異なるn点があったとします。 {1,2,3,…,n} と名前をつけます。 もし、 {1,2,3}が同一直線上にあり、 {2,3,4}が同一直線上にあり、 {3,4,5}が同一直線上にあり、 …、 {n-2,n-1,n}が同一直線上にある ことがわかれば、n点全部が同一直線上にあることがわかります。 そのように3点の組が同一直線上にあるという条件を書き出して、 n点全部が同一直線上にあることと同値にするには、 本質的に上記の場合以外にあるのでしょうか? (本質的に同じとは、点の名前を適当に付け替えれば上記の条件と同じになるという意味です。) また、何種類くらいの方法があるのでしょうか? さらに、同一平面上などと発展させていけば、なにか面白いことでもあるでしょうか?
- みんなの回答 (4)
- 専門家の回答
質問者が選んだベストアンサー
その他の回答 (3)
- stomachman
- ベストアンサー率57% (1014/1775)
- echoes_x86
- ベストアンサー率65% (21/32)
- rabbit_cat
- ベストアンサー率40% (829/2062)
関連するQ&A
- パズル的難問、平面上の異なるn直線でできる交点数
にゃんこ先生といいます。 平面上に異なる2直線があったとします。 「=」型のとき、交点数は0個。 「×」型のとき、交点数は1個。 平面上に異なる3直線があったとします。(同一点で交わっていてもすべて平行でもかまいません。) 「≡」型のとき、交点数は0個。 「*」型のとき、交点数は1個。 「キ」型のとき、交点数は2個。 「△」型のとき、交点数は3個。 平面上に異なる4直線があったとします。(同一点で交わっていてもすべて平行でもかまいません。) 交点数は、0個、1個、3個、4個、5個、6個の場合があります。交点数が2個の場合はありません。 このように考えていくと、平面上の異なるn直線でできる交点数の可能性はどうなるのでしょうか? 0個や1個やn(n-1)/2個の可能性があるのはすぐに分かります。 いろいろ検索したのですが、参考となるサイトがまったく出てきませんでしたので、参考サイトを教えていただく形でもかまいません。 直線を増やしていったときのハッセ図を見てみたいです。 なお今回と趣旨は異なりますが、「平面にn本の直線をどの2本も平行でなく、また、どの3本も1点で交わらないように引いたときにできる三角形の領域の総数」の話題は見たことがあります。
- ベストアンサー
- 数学・算数
- n次元空間での直線・平面・立体....の式
ベクトルについて勉強していて疑問に思ったことがあるので質問します。 n次空間で、点(x1,x2,x3,....xn)=xo↑の位置ベクトルを通り、方向がa↑=(a1,a2,a3....an)の直線の式は、tを媒介変数として、 v↑=a↑t+xo↑で表すことができます。 2次元だったら、 v1=a1•t+x1 v2=a2•t+x2 より、 (v1-x1)/a1=(v2-x2)/a2=t v1をx、v2をy、x1をa、x2をb、a2/a1をm と書き直すと見慣れた直線の式 y-b=m(x-a)になりますね。 3次元では、 (v1-x1)/a1=(v2-x2)/a2=(v3-x3)/a3=t となります。 これは、 (a,b,c)を通り、ベクトル方向が(l,m,n) である直線の式 (x-a)/l=(y-b)/m=(x-c)/n と同じ形です。 ということは、n次元の直線の式は、 (v1-x1)/a1=(v2-x2)/a2=(v3-x3)/a3=....(vn-xn)/an=t ですよね。 直線の式は、n次元に拡張できました。 次に平面の式を考えます。 3次元空間内における平面(2次元)とは、ある1つの直線に直交した面です。 その平面上の定点を(x1,x2,x3)=xo↑とします。 任意の位置ベクトルを(v1,v2,v3)=v↑として、ある1つの直線の方向ベクトルを (a1,a2,a3)=a↑とします。 平面上の任意のベクトルとa↑は、直交するので、 内積=0 すなわち、〈v↑-xo↑・a↑〉=0がなりますね。 成分で書くと、 a1(v1-x1)+a2(v2-x2)+a3(v3-x3)=0 ですね。 a↑に独立なベクトルは、3次元空間上に2本取れます。 すなわち、これは「面(2次元)」ですね。 a1をa、a2をb、a3をc、v1をx、v2をy、v3をzに書き直すと、 これは、平面の式 ax+by+cz=d になります。 このように、3次元空間では、2次元の面と1次元の直線が考えることができました。 そこで、これを4次元に拡張してみました。 4次元空間では、直線は、 (v1-x1)/a1=(v2-x2)/a2=(v3-x3)/a3=(v4-x4)/a4=t ですね。 この直線と直交する線は、3本あります。 〈v↑-xo↑・a↑〉=0 なので、成分で表すと、 a1(v1-x1)+a2(v2-x2)+a3(v3-x3)+a4(v4-x4)=0....(1) ですね。 ここで、質問ですが、(1)の式は、独立した3つのベクトルを含むので、「立体(3次元)」と言ってもいいのでしょうか? もし、その認識が正しかったら、 4次元空間上での立体(3次元)の式は、xyzuを変数として、 一般にax+by+cz+du=e という式で表すことができるという認識は正しいですか? 4次元空間での直線(1次元空間)の式は、先に示したように (v1-x1)/a1=(v2-x2)/a2=(v3-x3)/a3=(v4-x4)/a4 ですね。 3次元空間だったら、2次元空間の面と1次元空間の直線を式で書くことができました。 4次元空間だったら、3次元空間の立体と1次元空間の直線は、式として与えらると考えると、 4次元空間上での「面(2次元)」の式は、存在するのですか? n次元に拡張したら、 a1x1+a2x2+a3x3+.......anxn=kという式は、 は、(n-1)次元空間を表す式であると言っていいのでしょうか? また、その時、 (n-2)次元空間を表す式 (n-3)次元空間を表す式....は考えることができるのでしょうか? 多分、専門書などを解読すれば答えは見つかるかもしれませんが、自分でこのような疑問を思ったので投稿しました。
- ベストアンサー
- 数学・算数
- にゃんこ先生の自作問題、複素数係数の2次方程式が実数解をもつ条件は?
にゃんこ先生といいます。 実数係数の2次方程式が実数解をもつ条件は、判別式が0以上です。 複素数係数の1次方程式ax+b=0が実数解をもつ条件は、複素平面で、a,b,0が同一直線上にあることです。 では、複素数係数の2次方程式が実数解をもつ条件はにゃんでしょうか? ずっと考えているのですが、よくわかりません。
- 締切済み
- 数学・算数
- n角形の重心を求めるアルゴリズム
平面2次元のn角形の頂点のデータがあります。n点の座標ですから(x,y)がn個並んでいます。そのような図形の図心(重心)の座標を計算するアルゴリズムがないでしょうか。最終的にはプログラムとして離散的な処理をするため、1%ぐらいの誤差は許容範囲です。n角形と言ってもせいぜいn=3,4,5,6程度です。 欲を言うと、3次元も考えており、平面に含まれることが分かっているn個の点(3次元空間内)を平面の2次元空間に変換して重心を求め、それを3次元空間に引き戻せば3次元での重心となります。そのためにも2次元での重心の座標を求めるアルゴリズムが必要なのです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 1次元射影直線問題について
以下の問題を証明したいのですが…イマイチどう説明して解答すればいいのかわかりません…。 平面R^2上の原点を通る直線全体を1次元射影直線RP^1とよんだ。R^2上の直線全体に対し、lとl'が平行(l//l')のとき、同値とし、lと同値な直線たちをまとめて[l]と書く。このような元[l]の集合をR^2/~とおく。このときRP^1とR^2/~は一対一対応にあることを示せ。 という問題です。 当たり前のような気もしますが、この問題はなにかキーとなるポイントがあるのでしょうか? 『R^2上の直線全体に対し、lとl'が平行のとき、同値とし』とあるので、lとl'が一対一対応している。よって、これらの集合を表したRP^1とR^2/~も一対一対応である。といった説明でいいのでしょうか?(方向性が全く違っていましたらすみません…) ヒントでも構いませんのでよろしくお願いします。
- ベストアンサー
- 数学・算数
- 数学の問題です。難しいと思います。
同一直線上にない3点があるとき、この3点を頂点とする平行四辺形は3つできますよね。 それでは、同一n-2次元空間上にないn点があるとき、このn点を頂点とするn-1次元平行立体はいくつ出来ますか?
- ベストアンサー
- 数学・算数
- 4次元空間で点と直線・平面の距離の公式の一般化を考えたい
4次元空間と書いたのは、一般化と単に記述の簡単さが目的です。 さらに記述の簡単さのために、4次元空間の中の点(p,q,r,s)と、n次元ベクトル空間との距離を考えたいと思います。 4次元空間の中の点(p,q,r,s)と、(a[1],a[2],a[3],a[4])で張られる1次元ベクトル空間(原点を通る直線)との距離の公式はどう書けるのでしょうか? 4次元空間の中の点(p,q,r,s)と、(a[1],a[2],a[3],a[4]),(b[1],b[2],b[3],b[4])で張られる2次元ベクトル空間との距離の公式はどう書けるのでしょうか? 4次元空間の中の点(p,q,r,s)と、(a[1],a[2],a[3],a[4]),(b[1],b[2],b[3],b[4]),(c[1],c[2],c[3],c[4])で張られる3次元ベクトル空間との距離の公式はどう書けるのでしょうか? また、垂線の足の座標はどうなるのでしょうか? n次元ベクトル空間上の点をいくつかのパラメータを用いて表し、距離の2乗を偏微分したものが0ということから公式を導こうとしたのですが、うまくいきません。 どうかきれいに計算できた方は教えてくださいませ。
- 締切済み
- 数学・算数
- 平面による空間の分割の問題です
空間をどの2つの交わりも直線で、どの3つの交わりは1点で、どの4つをとっても共有点が無いようなn個の平面を分割するときの、領域の数の問題ですが、 空間において、k番目の平面を作ったとき、k-1個の平面で分割された空間の個数が増えるというのは、理解できるのですが、 なぜ、平面の領域の個数の(n^2+n+2)/2を利用して、((k-1)^2-(k-1)+2)/2個増えると出来るのでしょうか。(なお、n=k-1を代入しているのは分かります) 何卒お願い致します。
- 締切済み
- 数学・算数
- 平面による空間の分割の問題です(質問し直します)
大学への数学「マスター・オブ場合の数」の中の研究問題です。 空間をどの2つの交わりも直線で、どの3つの交わりは1点で、どの4つをとっても共有点が 無いようなn個の平面を分割するときの、領域の数の問題ですが、 まず、平面をn本の直線で、どの2本も1点で交わるが、どの3本も1点では交わらないように 分割するときの、領域の個数は(n^2+n+2)/2-(1)です。 また、空間において、k-1枚の平面で作られた領域がf(k-1)個に分割されていたとして、 これにk枚目の平面を題意のようにおいた時、k枚目の平面上の、他の平面との交線で分け られた1つ1つの領域は、それまですでにあった空間領域の1つを2つに分ける‘面’であるの で、k枚目の平面によって、空間領域は、((k-1)^2+(k-1)+2)/2個増える。 よって、1+∑[n、K=1]((k-1)^2+(k-1)+2)/2=(n^3+5n+6)とあります。 ようするに、k枚目の平面を入れると、f(k-1)個の領域が増えるとなっていますが、 分からないのは、f(k-1)=((k-1)^2+(k-1)+2)/2-(2)ということなので、 平面の領域の個数(n^2+n+2)/2にn=k-1を代入すると、(2)になりますが、 例えば、添付画像の3(=k-1と考えて)本の領域には7個の領域がありますが、 4(=kと考えて)本目の直線を引くと、7個の領域が増えると言った内容の説明があります。 空間の領域の個数を求める問題であるのに、なぜ、平面での増えた領域の数が空間の領域 の数が対応するのかが理解出来ません。 Tacosan様、先ほどは失礼いたしました、改めて質問させて頂きます。 何卒宜しくお願い致します。
- ベストアンサー
- 数学・算数
お礼
ありがとうございます。 3点の組が同一直線上にあるという条件を書き出して、 n点全部が同一直線上にあることと同値にするには、 任意の3点の組に対して、別のある3点の組が存在し、それらの点集合としての共通部分が2点以上あればよいということがわかりました。 でも、そもそも同一直線上にあるという意味は、上記のこと自体を定義とするか、斉次座標として行列を作ったときのrankを2であることを定義とするかなのですね。 何種類くらいの方法があるのかを考えることくらいしかおもしろいことはなさそうです。何種類かを考えること自体も、それほど興味深くはなさそうです。 3次関数上に、9点{1,2,…,9}があるとき、 {1,2,3},{4,5,6},{1,4,7},{2,5,8},{3,6,9}がそれぞれ一直線上にあれば、{7,8,9}も一直線上にある。 調べてみれば、これは参考サイトのパスカルの定理の拡張の、3次曲線が3次関数や3直線になった場合に対応しているようですね。 http://www.geocities.jp/ikuro_kotaro/koramu/715_p4.htm