![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?8acaa2e)
http://mathworld.wolfram.com/HolditchsTheorem.html
によると、平面閉曲線Cがあり、内側にp+qという長さの線分を、両端点がCに接するようにすべらし、線分の端点からp(他の端点からはq)の点の軌跡をC'とするとき、CとC'で囲まれる部分の面積はpqπ、とのことなのですが、どのようにして証明できるのでしょうか?
No.1ベストアンサー
- 回答日時:
グリーンの定理を用いて比較的簡単に示せるようです。
簡単の為に現れる曲線はすべて滑らかで凸かつ単純閉(すなわち原点を中心に一周して終わり)とします(もっと一般の場合も似たように成り立ちますが初等的に興味のある対象は大体これで十分だと思います)。
さて元の曲線をC、内部の分割点が描く曲線をC'とします。
点(x(t),y(t))∈Cを曲線に沿って動かします。tは0から2π(一周)とします。線分ABを端点がCの上であるように置きAB上の分割点を(x(t),y(t))とします(凸であることからこれは常にCの内部で可能)。まずp+qは十分小さく端点が一周するまで線分ABを置くことが可能であるとします(あまり大きい、例えばCの直径を超えてしまうと線分ABを内部に置くのは不可能)。Cに対する仮定からtに応じてABの角度θ(t)が定まります。これはまた仮定よりtに関して連続、単調増加、θ(2π)=θ(0)+2πとなります(感覚的に分かると思います)。平面上のグリーンの定理からC、C'内部の面積I(C)、I(C')はそれぞれ以下で与えられます:
I(C)=∫_C xdy、I(C')=∫_C' xdy
図を描いてみると明らかですがC'の上の分割点の座標(x(t),y(t))から見たときにAの座標は(x-a cosθ,y-a sinθ)、Bの座標は(x+b cosθ,y+b sinθ)です。これらを使ってI(C)を計算すると
I(C)=∫_C' (x-a cosθ)d(y-a cosθ)
=I(C') - a∫_C' (cosθdy + x d(cosθ)) + πa^2
I(C)=)=∫_C' (x+b cosθ)d(y+b cosθ)
=I(C') + b∫_C' (cosθdy + x d(cosθ)) + πb^2
が得られます。
(最初の式)×b + (二番目の式)×a
を求めて
I(C)-I(C')=πab
が出ます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 球面と接する直線の軌跡が表す領域 4 2023/07/30 12:37
- 数学 数学教えてください!!軌跡、極線、反転 円C:x^2+y^2=1にCの外部の点P(a.b)から引いた 5 2022/07/08 01:55
- C言語・C++・C# ある線が円の範囲に入っているかの計算 1 2022/12/07 16:14
- 数学 第4問 座標平面上に3点 A(1, 1),B(1, 5), C(7, 3) を頂点とするABCがある 2 2022/10/01 14:53
- 数学 1より大きい実数からなる数列{a[n]}がlim[n→∞]a[n]=1をみたしています。 xy平面上 2 2023/06/10 11:47
- 数学 数学の問題について 1 2023/02/13 18:40
- 物理学 電磁気学での質問です。 電荷のない空間ではポテンシャルの極大点, 極小点が存在しないことを証明せよ. 3 2023/05/12 22:39
- 数学 数II 質問 放物線y=3-x²(-√3≦x≦√3)とx軸に平行な直線が異なる2点A,Bで交わるとき 3 2023/08/16 18:17
- 数学 数学 軌跡の問題で2点から等しい距離にある点の軌跡を求めるので三平方の定理を使うのですが、求める点の 4 2023/02/10 21:26
- 数学 『代数幾何についての疑問』 2 2023/05/08 17:44
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
e^2xのマクローリン展開を求め...
-
1+cosθをみると何か変形ができ...
-
eの2πi乗は1になってしまうんで...
-
長方形窓の立体角投射率
-
cos(2/5)πの値は?
-
1/ a + bcosx (a,b>0)の 不定積...
-
不定積分∫dx/√(1-x^2)=arcsin(x...
-
三角関数
-
不定積分です
-
弓形の高さ
-
数3です。 第n項が次の式で表さ...
-
三角関数・微分の問題です
-
加法定理の問題
-
θが0度以上180度以下のとき cos...
-
複素関数で分からない問題があ...
-
-π<x≦π、f(x)=|sinx|+1 である...
-
cos2θ−3cosθ+ 2≧0の不等式を解...
-
(1)θ=36°のとき、cos2θ=−cos3θ...
-
はさみうちの原理
-
1/cosxはなぜ、log で積分して...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
e^2xのマクローリン展開を求め...
-
1+cosθをみると何か変形ができ...
-
eの2πi乗は1になってしまうんで...
-
難しいのでゆっくりよんでくだ...
-
積分
-
不定積分∫dx/√(1-x^2)=arcsin(x...
-
長方形窓の立体角投射率
-
フーリエ級数|cosx|
-
三角関数
-
数学の質問です。 0≦θ<2πのとき...
-
複素数zはz^7=1かつz≠1を満たす...
-
cos(2/5)πの値は?
-
cos2x=cosx ってなにを聞かれ...
-
∮sinθcos^2θを置換積分なしで =...
-
三角関数で、
-
媒介変数表示の2重積分の問題です
-
1/ a + bcosx (a,b>0)の 不定積...
-
Σは二乗されないのですか?
-
(cosθ+isinθ)^2=cos2θ+isin2θ ...
-
高校数学 三角関数
おすすめ情報