4

“領域”の通過領域(GeoGebra?!)

199
0

この記事の目標

この記事は,数学Ⅱ(及び体系数学4)の「図形と方程式」で頻繁に出題される〈直線の通過領域〉を更に発展させて,〈領域と通過領域〉についての問題を紹介することで,この手の問題をさらに理解しよう!という目標です。一部,数Ⅲの知識を要します。

また,GeoGebraとMathlogを組み合わせられるかの実験も兼ねています。

問題

座標平面において,O(0,0)を中心とする半径1の円Cがあり,その内部に点A(a,0)(0<a<1) を取る。C上の 2PQPAQ=90を満たしながら動くとき,以下の問に答えなさい。

⑴ ba=OAbp=OPbq=OQとおくとき,bpbqba(bp+bq) の値をaを用いて表しなさい。
 
⑵ 線分OAの中点をMとする。線分 PQの中点Rは,PQの位置によらずMを中心とするある定円上にあることを示し,その円の半径をaを用いて表しなさい。
 
⑶ ⑵の円の内部の領域(境界線上は除く)をDとし,C上に定点A0(1,0)をとる。Aが線分OA0上(両端は除く)を動くとき,Dが通過する範囲の面積を求めなさい。

問題の状況(一例) 問題の状況(一例)

問題の状況を画像としてみました。(TEXの背景を透過処理しているため,なにかしらの不具合があるかもしれません。その場合はコメントしていただけると助かります!)

以下解答を与えます。まず先に手を動かして考えてみることを推奨します。なにも考えないで答えを見ると,相当効率が落ちると思うので。。。
目標解答時間は25分ぐらいかなあと。

考え方やお気持ちなどを述べながら解答を書いていきます。

⑴の解答

やはりPAQ=90が与えられているので,〈内積は0〉を利用するのが一般的と思います。逆にそれ以外の答案があったら教えてほしいです。

PAQ=90より,(bpba)(bqba)=0である。これを変形すれば,bpbqba(bp+bq)+|ba|2=0
である。|ba|=aだったので,bpbqba(bp+bq)=a2a2

⑵の解答

せっかくベクトルで考えるように誘導がありますので,問題文をベクトルで言い換えることを試みます。すると,|MR|が一定であることを示せばよいことに気づきます。

|MR|が一定であることを示せばよい。OM=ba2,OR=bp+bq2であるので,
|MR|2=|OROM|2=(bp+bq)22(bp+bq)ba+|ba|24=|bp|2+|bq|2+|ba|2+2(bpbqba(bp+bq))4ここで,|bp|=|bq|=1|ba|=a および⑴の結果を代入することで,
|MR|2=1+1+a22a24=2a24
0<a<1より,|MR|=2a22=(一定)
よって,点Rは,Mを中心とする半径2a22の円周上にある。

⑶の解答

ここまでは普通のベクトルの問題なので,それほど難しくはなかったはずです。⑶が本番です。

とりあえず,問題の状況をGeoGebraに描画しました。URLをクリックした先では,aの半径とPをマウスで動かすことが出来ます。
https://www.geogebra.org/m/dqdzer2g

画像ではこんな感じ 画像ではこんな感じ

このDは⑵から,(xa2)2+y2<2a24という不等式を得ます。つまり,0<a<1の範囲でこの不等式を満たすようなaが存在するための,点(x,y)の条件を求めれば良いわけです。

⑵より,領域Dの内部及び境界線上の点(x,y)は次の条件を満たす。(xa2)2+y2<2a24これを変形すると,(ax)2+2y2+x21<0となる。この不等式を満たし,かつ0<a<1を満たすようなaが存在する(x,y)の条件を求める。
f(a)=(ax)2+2y2+x21とする。(0a1

さて,このf(a)は,xyを固定して考えれば,aaに関する2次関数だと思うことが出来ます。
ですから,「0<a<1のときに,f(a)<0を満たすようなaが存在するための条件」を考えればよいです。
言い換えれば,0a1のときに,f(a)の最小値が0より小さければよい」ことに気づきます。つまり,2次関数の最小値を考えればよく,頂点のx座標によって場合分けをしていかなければなりません。それを念頭に,解答の続きを見ていきましょう。

① x<0のときは,f(0)<0を満たすことが必要十分である。つまり,2y2+2x21<0x2+y2<(12)2

② 0x1のときは,f(x)<0を満たすことが必要十分。つまり,x2+2y2<1

③ 1<xのときは,f(1)<0を満たすことが必要十分だが,f(1)=(x1)2+2y2+(x21)0  より,1<xのときにはf(a)<0となるaは,0<a<1の範囲では存在しない。

①②③より,求める領域を図示すると以下のようになる。ただし境界線上は含まない。
卵みたい! 卵みたい!
この領域の内部の面積をSをすると,
S=(半径1の円の半分の面積)+2011x22dx=π2+2011x2dx=π2+2π4=π4(2+1)π4(2+1)

おわりに

ここまで閲覧いただきありがとうございます。

この問題について

この問題は,河合塾が主催する〔東工大直前トライアル〕の問題を一部改変して作成しました。確かに,論理的な思考力が必要なので,大学入試に出てもおかしくないレベルだと思います。

この記事の元ネタ

https://marukunalufd0123.hatenablog.com/entry/2019/05/09/021109
1年以上前に上記の記事を書き,それをMathlogにて再編集しました。

類題を解きたい!

領域の通過領域に関する復習問題を出しておきます。これに解答することで,雰囲気をつかんでくれると嬉しいです。

復習用の類題
(xa)2+y2a14(#)について,a14aを満たしながら動く時の,(#)の通過領域を求めて図示しなさい。

正解はy2xの部分です。答えを目指して変形してみてください。

GeoGebraとMathlog

本当はGeoGebraをこの記事に埋め込むことで,より直観的に分かりやすい記事が出来たのではないかと思うのですが,どうやらこのページでは
iframeがサポートされていないのか,残念ながら埋め込むことが出来ませんでした。今後もしもGeoGebraが埋め込めるようになれば,温めている幾何の話を書いてみようと思っています。

画像の投稿

今回用いた画像は,png形式で保存したものを用いました。ただ,Mathlogはすべての画像をjpg形式に直して貼り付けているようです。そのためかなり粗い画像となってしまっていますね。(それか,単に僕がPCの全画面で見ているからなのでしょうか)思わずデカッ!て突っ込みたくなりますね。11月14日追記:記事における画像の最大サイズが可変に改良されました。jpgの画像自体は,横500ピクセルで統一されているのかと推察します。

11月14日追記:現在のところですと,jpg形式またはpng形式の画像を読み込める?→読み込んだら一律で横500pxのjpg画像に変換する→それの見た目サイズを変化させている,ということを内部で行っていると推察します。そのため,画像がやや粗く見えるのは仕様です。

TeX2imgのお誘い

https://tex2img.tech/

TeX2imgは,入力したTeXソースコードをTeXでコンパイルして,様々な形式の画像で出力するアプリケーションです。例えばこの記事の1枚目と3枚目の画像や,僕のプロフィール画像「ぱ」はTeX2imgで作成しました。
めちゃくちゃ便利ですので,ぜひ一度使ってみてください!

おまけ「ぱ」

このプロフィール画像の「ぱ」のフォントは何を使ったでしょうか?コメント欄で解答をお待ちしております。

投稿日:2020118
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

ぱるち
ぱるち
141
26415
数学屋さんをしています。代数,数論系に興味があり,今は楕円曲線と戯れています。Mathlogは現実逃避用という噂もあります。@f_d00123

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. この記事の目標
  2. ⑴の解答
  3. ⑵の解答
  4. ⑶の解答
  5. おわりに
  6. この問題について
  7. 類題を解きたい!
  8. GeoGebraとMathlog
  9. 画像の投稿