はじめまして。
私は現在工学部に所属しているものです。
数学を専門にしている方にお聞きしたいことがあります。宜しくお願いします。
一般に三角形には必ず外接円が存在し、また四角形は向かい合った角度の和をπにすれば外接円はえられます。
三角形の外接円半径の値は
(a*b*c)/sqrt{(a+b+c)*(-a+b+c)*(a-b+c)*(a+b-c)}
で求まり、四角形の外接円半径の値は
(1/4)/sqrt[(ac+bd)*(ad+bc)*(ab+cd)/{(s-a)*(s-b)*(s-c)*(s-d)}] s=(1/2)*(a+b+c+d)
で求まります。(以上wikipediaより参照)
次に五角形外接円半径に関して公式があるのかどうか調べましたところ、どうやら存在しないようなので、自力で計算して出せばよかろうと思い、実行してみました。
モデルとして各辺が1:√2:2:2√2:4でできている五角形の外接円半径を求めようとしました。(つまり辺が白銀比でできている五角形です。)
この五角形を、一つの対角線で三角形と四角形に分割します。
三角形の辺の長さ及び比は(1:√2:x)
四角形の辺の長さ及び比は(2:2√2:4:x)
対角線の長さをxとしました。
これらを用いて外接円半径を各々求めた後、等号をだせば、xが求まり、半径も求まるであろうと推測したわけです。
結果を述べますと
外接円半径をrとして
三角形→ r^2=(2*x^2)/{(1+√2+x)*(-1+√2+x)*(1-√2+x)*(1+√2-x)}
四角形→r^2={16√2*(x+2√2)*(x+√2)*(x+4√2)}/{(6+2√2-x)*(6-2√2+x)*(2+2√2+x)*(-2+2√2+x)}
となります。よって等号とって整理すると
(2*x^2)*{(6+2√2-x)*(6-2√2+x)*(2+2√2+x)*(-2+2√2+x)}
={(1+√2+x)*(-1+√2+x)*(1-√2+x)*(1+√2-x)}*{16√2*(x+2√2)*(x+√2)*(x+4√2)}
となります。
この式をMaximaでexpandしたのち、gfactorやallrootsをしたのですが、値が出てこないか、数式が整理されて返ってくるばかりです。複素数の解すらでてきません。
→こんな感じ。allroots: expected a polynomial; found errexp1
-- an error. To debug this try: debugmode(true);
式を見れば分かるように七次方程式が出現してくるのですが、多項式の解の存在についてなにも知らないため、これ以上手が出ない状態となってしまいました。
直観としては、五角形を、一つの対角線を共有させて三角形と四角形に分割するという操作で、絶対的に外接円を持つ五角形が作れるのではないかと思っているのですが、それすらも自信が持てなくなってきました。
まとめますと
・先の等号ははたして解くことができるのか。
・五角形(拡張すれば、それ以上の多角形)には外接円が存在するのか、存在するときはどのような条件か?(但し正多角形は除く)
です。
宜しくお願いします。m(-_-)m
A 回答 (5件)
- 最新から表示
- 回答順に表示
No.5
- 回答日時:
#4です。
自分の回答見直したら、言葉がおかしいですね。
「適当な多角形が与えられた場合」じゃなくて「勝手な多角形が与えられた場合」ですね。
辺の比は、多角形ができるもの(最大辺の長さが、他の辺の和より短い)でさえあれば、どんなものでも構わないはずです。
No.4
- 回答日時:
証明はしませんが、適当な多角形が与えられた場合、辺の長さはそのままで、
各頂点の角度を適当に調整することで、円に内接する多角形は必ず作れるはずです。
円に内接する多角形の図を書きたいだけであれば、例えば、外接円の半径と辺の長さが
決まれば、その辺に対する中心角が求まりますから、各辺に対する中心角をすべて
足したものが2πになるような半径を探せば良いのではないかと思います。
このような方法であれば、半径を求めるついでに各辺に対する中心角も計算できますので、
図を描くには都合がいいのではないかと思います。
下の図はそのような方法で書いたものです。
計算はエクセルでやったので、数値に誤差がどの程度あるかは分かりません。
なお、質問者様の立てた七次方程式をそのまま解いてみてはいませんが、質問に書かれた
考え方で立てた式であるなら、おそらく下のように、辺がクロスする図形も、条件を満たす
解として出てくるはずです。
なお、図には質問者様の描かれた順番に辺が並ぶ場合の例だけを書きましたが、
三角形、四角形の外接円の半径は、辺の長さだけによって決まり、その順序には
関わらないので、辺の順序を入れ替えた図形になる場合もあるかと思います。
ちなみに図中のxの値は、問題の部分の長さを半径rから逆算したものです。
あと、解が存在するということと、その値が具体的に求められるということは別です。
何かの極限という形などでなく、具体的な解の値が必ず求められることが保証されているのは
4次方程式までです。
5次以上の方程式でも、係数の組み合わせによっては解けることももちろんありますが、
一般的には解けません。
近似値ならいくらでも計算できますが。
ありがとうございます!
今vectorworksというソフトを使って作図してみましたところ、五角形がかけました!
ただ、微妙に数値がずれているらしく、若干ずれてしまいた、、、
中心角から半径をもとめていけばいいとのことですが、情けないことに自分はその計算式がいまいち分からない状況です。できましたおしえていただけないでしょうか?
あと、七次方程式には解がないこともあるとのこと、有難うございます。これを解くのはもう諦めましたw
かさねがさね有難うございます。!!
No.3
- 回答日時:
任意のn角形において
外接円が存在する
⇔
各頂点からの距離が等しい点aが存在する。
すなわち頂点をPi(i=1,2,…,n)として
d(a,P1)=…=d(a,Pn)
となるaが存在する。
7次方程式の解は、複素解まで含め、必ず持つ。
ありがとうございます。
七次方程式に解が存在するとのことで、
今度はmaximaでsolve関数を試してみたのですが、
solve((2^(7/2)*x^7+111*x^6+11*2^(9/2)*x^5-360*x^4+2^(15/2)*x^3-167*2^(7/2)*x^3-1312*x^2+7*2^(11/2)*x+256),x);
の出力結果が
[0=2^(7/2)*x^7+111*x^6+11*2^(9/2)*x^5-360*x^4+(2^(15/2)-167*2^(7/2))*x^3-1312*x^2+7*2^(11/2)*x+256]
となってしまい、解を出してくれません。
ちなみに solve(x^7-1,x);
は
[x=%e^((2*%i*%pi)/7),x=%e^((4*%i*%pi)/7),x=%e^((6*%i*%pi)/7),x=%e^(-(6*%i*%pi)/7),x=%e^(-(4*%i*%pi)/7),x=%e^(-(2*%i*%pi)/7),x=1]
と、きちんと解をはじき出してくれます。
なぜ旨く行かないのか、教えていたただけないでしょうか?
No.2
- 回答日時:
数学の専門家ではないのでずれた回答になるかもしれませんが…。
> 直観としては、五角形を、一つの対角線を共有させて三角形と四角形に分割するという操作で、
> 絶対的に外接円を持つ五角形が作れるのではないかと思っているのですが、
> それすらも自信が持てなくなってきました。
四角形には必ず外接円が存在するわけではありません。
よって、五角形を三角形と四角形に分けた際、
その四角形が「外接円を持たない円」であれば、
その五角形に外接円はできません。
仮に四角形が外接円を持っていて、なおかつ
「三角形の外接円」と「四角形の外接円」が一致すれば
(半径の長さが等しく、円の中心の位置が一致すれば)、
その五角形は外接円を持つことになります。
> ・五角形(拡張すれば、それ以上の多角形)には外接円が存在するのか、
> 存在するときはどのような条件か?(但し正多角形は除く)
平面上に3点とれば、その3点を通る円は1つに決まります
(3点が全部一直線上にならんでいなければ)。
なので三角形には必ず1個外接円が存在します。
四角形が外接円を持つための条件は、
四角形を対角線で二つの三角形に分けた時
(分けた三角形をそれぞれ三角形1, 三角形2と名付けます)、
「三角形1の外接円」と「三角形2の外接円」の半径・中心座標が一致する
です。
裏を返せば、この「半径・中心座標が一致した二つの円」が四角形の外接円です。
五角形でも同様のことが言えます。
五角形を三角形3つに分解し、その3つの三角形の外接円が
半径、中心位置共に一致していれば、その五角形は外接円を持ちます
(そしてその「3つの重なった円」が、五角形の外接円です)。
また、最初に円を書いてその円周上に適当に5点をとって直線で結べば、
「外接円のある五角形」となります。
ありがとうございます!
えーと、ということは
四角形と三角形に分割して、それぞれ外接円半径を求めるのではなく、
三角形三つに分割して、外接円半径を求めよ、ということでしょうか。
しかし最初はそれだと変数が二つになってしまいメンドイなと思い、四角形をつくったのです。
やってみます!
併しそれはそうとしても、先の七次方程式に解は本当にないのでしょうか、それが解せないのですが。
円に内接する任意の五角形が作りたいのではなく、
あるきまった比率をもった辺による五角形を作図したいがために、このようなめんどくさいことになっています。
有難うございます!!!
No.1
- 回答日時:
こんばんわ。
>一般に三角形には必ず外接円が存在し、
>また四角形は向かい合った角度の和をπにすれば外接円はえられます。
四角形の外接円は対角線で分割された 2つの三角形の外接円の半径に等しいということですよね。
(2つの三角形の外接円は一致しており、それは四角形の外接円でもある)
五角形であっても「円に内接している」のであれば、対角線で分割された三角形の外接円と同じになるはずです。
そして、対角線の長ささえわかれば(もしくは向かい合う角の大きさがわかれば)、
その三角形の外接円の半径は求められるはずです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 AB=2,BC=3,∠ABC=60°の三角形がある。 点Aから辺BCに垂線を下ろし辺BCとの交点をD 4 2023/02/02 15:55
- 数学 三角形ABCの辺BCを4 : 3に内分する点をTとし、点Tを接点として辺BCに接する円が点Aで直線A 3 2023/02/12 21:03
- 数学 点Oを中心とし、半径が5である円Oがある。この円周上に2点A、B をAB=6となるようにとる。また、 5 2023/08/16 23:32
- 数学 『弧は弦より長し』 8 2022/04/18 10:23
- 数学 数学の質問です。 円に内接する四角形ABCD において, AB=2, BC = 1, CD = 3, 3 2023/04/18 18:28
- 数学 一辺の長さが1の正n角形の外接円の半径が、一辺の長さが1の正n+1角形の内接円の半径より小さくなるの 6 2023/06/25 20:10
- 高校 数学Aの問題で、円に内接するN角形(N>4)の対角線の総数は ア 本である。また、Fの頂点三つからで 1 2023/04/13 17:47
- 数学 中3 円周角の定理の問題です 3 2022/06/29 22:21
- 数学 半径6の円Kを底面とする半球がある。半球の底面に平行な平面が半球と交わっており、交わりの円Lの半径は 6 2022/06/24 06:34
- 数学 四角形の角度のことで聞きたいです。 円に内接する四角形は外角と対角が等しいと学んだ気がするんですが、 5 2022/07/27 05:52
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学Aについて質問です。 1. 正...
-
数Iについてです。 「角A<90°は...
-
正八角形の三個の頂点を結んで...
-
垂心はなぜHで表すのか?
-
スマホでこの画像の4G左側にあ...
-
(x+y)10乗の係数を教えて...
-
正八角形で・・・・
-
エクセルで文書の改訂記号を作...
-
この世に「絶対」なんてない。 ...
-
京都大学で出題された次の問題...
-
2つの三角形のそれぞれの角度が...
-
中学マッチ棒
-
三角形の重心の問題です
-
四角形の重心の求め方の定義名
-
三角形の数学的重心と物理的重...
-
相似から合同を証明できる?
-
五角形の外接円半径を求めたい...
-
合同と=の違い
-
三角錐と四面体
-
三角形ABCの辺BCを4 : 3に内分...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学Aについて質問です。 1. 正...
-
Aに直線3本で三角形7個
-
正八角形の三個の頂点を結んで...
-
正八角形で・・・・
-
京都大学で出題された次の問題...
-
エクセルで文書の改訂記号を作...
-
Wordで三角柱を作成したいので...
-
垂心はなぜHで表すのか?
-
三角形折りの卓上札に両面印刷...
-
スマホでこの画像の4G左側にあ...
-
三角形ABCと三角形DEFの重心は...
-
高校教科書の問題
-
四角形の重心の求め方の定義名
-
正八角形についてです。 3個の...
-
合同と=の違い
-
この世に「絶対」なんてない。 ...
-
ベクトルの重心
-
正七角形と二辺を共有する三角...
-
手の甲の三つの点のような刺青
-
高校の数Aで質問があります。 ...
おすすめ情報