点A$(-\,1,\ 0)$を通る傾き$t$の直線$\ell$と原点を中心とする半径1の円$C$の点Aとは \\[.2zh] \hspace{.5zw}\phantom{(1)}\ \ 異なる共有点Pの座標を求めよ. \\[1zh] \hspace{.5zw}(2)\ \ 円$C$上に有理点($x座標もy座標も有理数$)が無限に多く存在することを示せ. \\ 円周上の有理点とピタゴラス数}}}} \\\\[.5zh] 次を知識としてもっておくと,\ 問題の見通しがよくなることがある. \\[1zh] 一般に,\ $\bm{\textcolor{cyan}{中心が有理点の円周上}には,\ \begin{cases} \textcolor{red}{有理点が無数に存在する} \\[.2zh] \textcolor{red}{有理点が全く存在しない} \end{cases}\hspace{-.5zw}のどちらかである.}$ \\\\\\ (1)\ \ 直線$\ell$の方程式は $y=t(x+1)$ \\[.5zh] \phantom{ (1)}\ \ 円$x^2+y^2=1$と連立すると (2)\ \ $t$が有理数のとき,\ (1)よりP$(x,\ y)$は有理点である. \\[.2zh] \phantom{ (1)}\ \ \textcolor{red}{直線$\ell$の有理数の傾き$t$は無数に存在}し,\ 図より傾きが異なると点Pの座標も異なる. \\[.2zh] \phantom{ (1)}\ \ よって,\ それに対応して,\ \textbf{円$\bm{C}$上の有理点は無限に多く存在する.} \\\ 厳密には数\text{I\hspace{-.1em}I}:図形と方程式の問題だが,\ 未学習でも理解できないものではない. \\[.2zh] とりあえず,\ 図形と方程式で学習する公式を2つ紹介する. \\[.5zh] \maru1\ \ 1点(x_1,\ y_1)を通る傾きmの直線の方程式 y-y_1=m(x-x_1) \\[.2zh] \maru2\ \ 中心(a,\ b),\ 半径rの円の方程式 (x-a)^2+(y-b)^2=r^2 \\[.5zh] 直線については公式を使わずとも,\ y=tx+bとして中学生的に求められる. \\[1zh] 直線と円の方程式を連立することにより,\ 共有点の座標を求めることができる. \\[.2zh] x^2+y^2=1にy=t(x+1)を代入してyを消去すればよい. \\[.2zh] 一見複雑なxの2次方程式となるが,\ うまく因数分解でき,\ 割と容易にxの値が求まる. \\[.2zh] そもそも,\ \bm{点\mathRM{A}自体が直線\,\ell\,と円Cの共有点}である. \\[.2zh] よって,\ 当然x=-\,1を解にもつ,\ つまりはx+1を因数にもつわけである. \\[.2zh] rが有理数のとき,\ x^2+y^2=r^2\,上には明らかな有理点(\pm\,r,\ 0),\ (0,\ \pm\,r)が存在する. \\[.2zh] \bm{有理点が1点でもあれば,\,その点を通る傾きが有理数の直線との交点として無数の有理点が見つかる.} \\[.2zh] よって,\ 円x^2+y^2=r^2\ (r:有理数)上の有理点は無数に存在する. \\[.2zh] rが有理数でない場合は単純ではない. \\[.2zh] 例えば,\ x^2+y^2=(\ruizyoukon2\,)^2\,上には,\ (\pm\,1,\ \pm\,1)など有理点が無数に存在する. \\[.2zh] しかし,\ x^2+y^2=(\ruizyoukon3\,)^2\,上には,\ 有理点が全く存在しない(下で証明). $t$は有理数であるから,\ $\textcolor{magenta}{t=\bunsuu nm\ (n,\ m:互いに素な整数,\ m\neqq0)}$とおくと \\[1zh] よって $(m^2-n^2)^2+(2mn)^2=(m^2+n^2)^2$ \\\\ これは,\ $a^2+b^2=c^2$を満たす整数$a,\ b,\ c$が次のように表せることを意味する. \\[.5zh] \centerline{$\bm{\textcolor{red}{(a,\ b,\ c)=(m^2-n^2,\ 2mn,\ m^2+n^2)}}$} \\[.5zh] こうして,\ 単位円上の有理点から前項で紹介した\textbf{\textcolor{blue}{ピタゴラス数の生成公式}}が導かれる. \\\\ そもそも,\ $a^2+b^2=c^2$を変形すると$\left(\bunsuu ac\right)^2+\left(\bunsuu bc\right)^2=1$となる. \\[.5zh] つまり,\ 以下の[1]と[2]は同じことである. \\[1zh] [1]\ \ $\bm{\textcolor{red}{a^2+b^2=c^2\,の整数解を求める(ピタゴラス数を求める).}}$ \\[1zh] [2]\ \ $\bm{\textcolor{red}{単位円上の有理点\left(\bunsuu ac,\ \bunsuu bc\right)を求める.}}$ a,\ b,\ c,\ dを整数,\ aとb,\ cとdはそれぞれ互いに素,\ b>0,\ d>0$とする. \\[.5zh] \hspace{.5zw}$\bunsuu ab+\bunsuu cd$が整数となるための必要十分条件が$b=d$かつ$a+cがb$の倍数であること \\[.5zh] \hspace{.5zw}を示せ. $\left[\,\textcolor{blue}{\bunsuu ab+\bunsuu cd\,が整数\ \Longrightarrow\ b=d\ かつ\ a+cがbの倍数}\,\right]$ \\[1zh] $N$を整数として,[.2zh] 以下は整数問題ではよくある流れであり,\ 慣れていれば自然に証明できる. \\[1zh] まず,\ 自分で文字で設定して条件を数式で表現する. \\[.2zh] 次に,\ \bm{共通因数をもつものをまとめて両辺を積の形にして,\ 倍数・約数条件を考える.} \\[.2zh] ここで,\ 「\,\bm{aとbが互いに素のとき,\ anがbの倍数ならばnがbの倍数}」を利用する(無断使用可). \\[1zh] あえて\bm{分母を完全にはらわず,\ (分数)=(整数)にして倍数・約数条件を考える}手法も重要である. \\[.2zh] \bunsuu{ad}{b}=dN-c\ において,\ 右辺が整数なので左辺も整数である. \\[.7zh] aとbは互いに素であるから,\ dはbの倍数である. \\[1zh] \Longleftarrow の証明は容易である. \\[1zh] aとb,\ cとdはそれぞれ互いに素であるから,\ \bunsuu ab\,と\,\bunsuu cd\,は既約分数である. \\[.8zh] 本問から,\ \bm{2つの既約分数の和が整数となるとき,\ その2つの分数の分母は等しい}ことがわかる. \\[.2zh] なお,\ 3つ以上の既約分数に対しては成り立たない. $a,\ bを整数とする.\ a^2+b^2\,が3の倍数ならば,\ a,\ bはともに3の倍数であることを$ \\[.2zh] \hspace{.5zw}\phantom{(1)}\ \ 示せ. \\[1zh] \hspace{.5zw}(2)\ \ 円$x^2+y^2=3$上に有理点が存在しないことを示せ. \\ 一般に,\ 整数$n$に対して $n\equiv0のときn^2\equiv0,\ \ n\equiv\pm\,1のときn^2\equiv1\ \pmod3$ \\[1zh] \phantom{ (1)}\ \ \textcolor{cyan}{$a,\ b$の少なくとも1つが3の倍数でないと仮定}すると $\textcolor{red}{a^2+b^2\equiv1,\ 2\pmod3}$ \\[.5zh] \phantom{ (1)}\ \ これは,\ \textcolor{red}{$a^2+b^2\equiv0\pmod3$であることに矛盾}する. \\[.5zh] \phantom{ (1)}\ \ よって,\ $\bm{a,\ bはともに3の倍数である.}$ \\\\ (2)\ \ \textcolor{cyan}{円$x^2+y^2=3$上に有理点$(x,\ y)$が存在すると仮定}する. \\[.2zh] \phantom{ (1)}\ \ 和が整数より,\ $\textcolor{magenta}{x=\bunsuu ac,\ y=\bunsuu bc\ (a,\ b,\ c:整数,\ c\neqq0,\ a,\ bはcと互いに素)}$とおける. \\[.5zh] \phantom{ (1)}\ \ $\left(\bunsuu ac\right)^2+\left(\bunsuu bc\right)^2=3$より $\textcolor{red}{a^2+b^2=3c^2}$ \\[.5zh] \phantom{ (1)}\ \ $a^2+b^2$は3の倍数であるから,\ (1)より$a,\ bはともに3の倍数$である. \\[.2zh] \phantom{ (1)}\ \ よって,\ $a=3k,\ b=3l\ (k,\ l:整数)$とおける. \\[.2zh] \phantom{ (1)}\ \ $(3k)^2+(3l)^2=3c^2$\ より $3(k^2+l^2)=c^2$ \\[.2zh] \phantom{ (1)}\ \ ゆえに,\ $c^2$は3の倍数である.\ さらに,\ 3は素数であるから,\ $c$は3の倍数である. \\[.2zh] \phantom{ (1)}\ \ これは,\ \textcolor{red}{$a,\ b$が$c$と互いに素であることに矛盾}する. \\[1zh] \centerline{$\therefore\ \ \bm{円x^2+y^2=3上に有理点は存在しない.}$} 有理点が無限に多く存在することの証明は,\ 図形的に考えると簡潔に済んだ. \\[.2zh] 有理点が存在しないことの証明は,\ 整数問題として数式的に考えて行う.\\[1zh] (1)\ \ まず,\ 一般に\bm{\begin{cases} nは3の倍数 & \Longleftrightarrow\ n^2\,は3の倍数 \\[.2zh] nは3の倍数でない & \Longleftrightarrow\ n^2\,は3で割ると1余る数 \end{cases}}であることを示す. \\\\[-.3zh] \phantom{(1)}\ \ これは,\ 合同式を用いると簡潔に示せるのであった. \\[1zh] \phantom{(1)}\ \ 本題を\bm{背理法}(結論の否定を仮定して矛盾を示す)で証明する. \\[.2zh] \phantom{(1)}\ \ a,\ bの少なくとも1つが3の倍数でないとき,\ (a^2,\,b^2)\equiv(1,\,0),\ (0,\,1),\ (1,\,1)\pmod3である. \\[.2zh] \phantom{(1)}\ \ ここから,\ \bm{両辺の余りの不一致という矛盾}が導かれる. \\[1zh] (2)\ \ \bm{背理法}を用いて証明する.\ このとき,\ 有理数を文字で設定することになる \\[.2zh] \phantom{(1)}\ \ 有理数とは,\ \bm{\bunsuu{(整数)}{(0でない整数)}}\,で表せる数のことである. \\[.8zh] \phantom{(1)}\ \ \bm{既約分数(分子と分母は互いに素)}で設定すると,\ 約分の可能性など余計な考慮をせずに済む. \\[.2zh] \phantom{(1)}\ \ 特に背理法を利用する場合,\ \bm{互いに素という設定と矛盾が生じる}ことが多い. \\[.2zh] \phantom{(1)}\ \ 前問を考慮すると,\ x=\bunsuu ab,\ y=\bunsuu cd\,とせずとも\bm{3文字で設定できる}のがポイントである. \\[.8zh] \phantom{(1)}\ \ 実際には,\ 和が整数のとき分母が等しくなることを記述試験で無断使用してよいかは微妙である. \\[1zh] \phantom{(1)}\ \ 分母をはらうと整数問題に帰着し,\ (1)を利用すると自然な流れで矛盾を示すことができる. \\[.2zh] \phantom{(1)}\ \ x^2+y^2=3上の有理点を求めることは,\ a^2+b^2=3c^2\,の整数解を求めることと同じなのである. \\[.2zh] \phantom{(1)}\ \ 「\,\bm{n^2\,が\dot{素}\dot{数}\,pの倍数ならばnがpの倍数}」は無断使用してよいが,\ pが素数であることは断る. \\[.2zh] \phantom{(1)}\ \ pが素数でない場合,\ 「\,n^2\,が4の倍数ならばnが4の倍数」などは成り立たない(n=2).
