2017-04-17

パズルと不定方程式〜平面編〜

みなさんこんにちは。新年度いかがお過ごしでしょうか。年度が変わったときによく使う言葉に「新生活」というのがありますが、私にとっての新生活はまさにこのブログを始めた生活です。

最初の内容として書こうと思った記事はいくつかあるのですが、私が4月から入会したパズル懇話会の例会がちょうど一昨日あったので、今日はそこで発表したパズルを数学的に解説します。

f:id:K-Miura:20170417225752j:plain

こちらがその「台形パズル」です。最小単位を $1$ としたときのピースの寸法は

f:id:K-Miura:20170417153405j:plain

こうなっています。ルートが登場するととたんに数学感が出ます(笑)

図のように、相似比 $1:\sqrt2$ の二つの長方形を同じ形で切り分けてできた6枚のピースで、一つの長方形を作るのが目的です。

ところで、平面のパズルと聞いたとき、もしかすると多くの方はジグソーパズルを思い浮かべるかもしれませんね。ジグソーパズルも形としては長方形を作るのが目的なので台形パズルと似ています。でも、この台形パズルのような「シルエットパズル」と呼ばれるタイプのパズルは、ジグソーパズルとは解き味が全然違うのです。

ジグソーパズルは、たとえば四隅のパーツを見つけた後、その隣に何がくるかは絵やピースの形から判断できます。四隅を決めて、辺のピースをつないでいき、中を埋める。少し言葉は悪いですが、そうやって時間の問題でジグソーパズルは完成します。

一方のシルエットパズルは、目的が「長方形を作る」だったとしても、まずどれを隅に置くべきかわからない。そして隅のピースを決めたとしても、その隣に何をどの向きで置くべきかわからない。場合の数が膨大で、試行錯誤だけでは解けないことが多いと思います。

そんなときに使うのが代数です。

たとえば、この台形パズルを解こうとして、図のようにまず一番大きなピースを左下の隅に置いたとします。

f:id:K-Miura:20170417230338j:plain

この次に、今置いたピースの相似形のピースを右隣に、このように置くと…

f:id:K-Miura:20170417225234j:plain

実はこれ、この時点で「詰み」なのです。パズルに慣れている方はもうお気づきでしょうか？

なぜこれではダメなのか。順を追って説明します。

まず、この6ピースを全て使って図形を作るということは、面積は必ず $24$ になります。

f:id:K-Miura:20170417230919j:plain

今は長方形を作りたいので、縦と横の長さをそれぞれ $x,y$ とおくと

$xy=24$

です。縦の長さは横の長さ以下、すなわち $x\leqq y$ としておきましょう。

ここで問題となるのが、 $x$ や $y$ としてどんな数を考えるかということ。もし整数だけを考えるのなら $24$ の約数を考えればよく、「 $\mathbb{Z}$ 上での因数分解」をすることになりますが、今は違います。

そう、 $\sqrt2$ がいるのです。

$\sqrt2$ の整数倍の長さの辺を使えるので、今は「 $\mathbb{Z} \left[\sqrt2 \right]$ 上での因数分解」を考えるべきなのです。

まさに代数学。パズルを理詰めで考えようとしたときに数学が出てくるととても楽しいですね(個人の見解)。

さて、 $\mathbb{Z} \left[\sqrt2 \right]$ 上での因数分解をするために、改めて

$x=a+b\sqrt2\,\,,\,\,y=c+d\sqrt2\,\,\,(a,b,c,d \in \mathbb{Z})$

とおいて、方程式

$(a+b\sqrt2)(c+d\sqrt2)=24$

を考えます。しかし困ったことに、 $\mathbb{Z}$ 上での因数分解と違って、この方程式には無数の解があるのです（ペル方程式に関する知識を用いて証明できます）。

それらの無数の解について議論するほうが数学的には有意義かもしれませんが、今はパズルに専念しましょう。何をするのかというと…

$a,b,c,d\,はすべて非負整数$

として考えます。今回の6つのピースには確かに $\sqrt2$ が登場しますが、辺の長さを足し合わせて作れる長さは、「非負整数と $\sqrt2$ の非負整数倍との和」に限られます。 $-1$ や $-\sqrt2$ は作れないのです。

改めて問題を書くと、

$(a+b\sqrt2)(c+d\sqrt2)=24\,\,\,(a,b,c,d\,は非負整数)$

変形すると

$(ac+2bd)+(ad+bc)\sqrt2=24\,\,\,(a,b,c,d\,は非負整数)$

このようになります。もしここで $ad+bc\neq 0$ だとすると $\sqrt2$ の無理性に反するので

$ad+bc=0$

です( $1$ と $\sqrt2$ は $\mathbb{Q}$ 上一次独立と言っても良い)。

「 $a,b,c,d \, は非負整数$ 」という条件が効いてきます。結局

$ad=bc=0$

となります。

$a=b=0\,$ のときは $\,x=0\,$ 、 $\,c=d=0$ のときは $\,y=0\,$ となり不適ですので、あり得るのは

$a=c=0\,\,\,$ (このとき $\,x=b\sqrt2\,,\,y=d\sqrt2\,,\,bd=12\,$ )
$b=d=0\,\,\,$ (このとき $\,x=a\,,\,y=c\,,\,ac=24\,$ )

の2パターンですね。

これでようやく、前述の置き方がダメな理由を説明できます。すなわち、

長方形の一辺の長さとして $1$ と $\sqrt2$ の両方が登場するはずがない

のです。6ピース全部を考えると、

f:id:K-Miura:20170417153416j:plain

この図の赤の辺と青の辺を並べてはいけないことになります。

f:id:K-Miura:20170417225245j:plain

なお、一番大きなピースはどの向きで置いても幅が $2\sqrt2$ 以上なので、最終的に以下の4通りまで絞れます。

$(x,y)=(2\sqrt2,6\sqrt2)\,,\,(3,8)\,,\,(4,6)\,,\,(3\sqrt2,4\sqrt2)$

この中で二つ、実際に長方形を作れる比率が存在します。

みなさんぜひ、厚紙などで作って遊んでみてください。また私は火曜日のみらいけん数学デーに毎回このパズルを持って行っているので、そのときに声をかけていただけると中の人が喜びます。

数学を使ってパズルを考えるのは本当に面白いです。実は一昨日私が発表したパズルはもう一つあるので、それについてもいずれ記事にしたいと思っています。

それでは今日はこの辺で。みなさん新生活を楽しんでください！

2017-04-12

ブログを始めたp個の理由(p=2)

初めまして、みうらです。代数とパズルと素数大富豪が好きな院生です。

もっとも、この最初の記事を見てくださっている方の多くは、数学のイベントでお会いしたことのある数学仲間かもしれませんね。

私は今日初めてブログを書いているのですが、ブログを始めた理由は主に二つ。今回は私がブログを始めたきっかけと、今後書いていきたいと思っていることについて、簡単に記しておこうと思います。

2016年10月5日。私の学生生活に転換点があるとしたら間違いなくこの日です。

MATH POWERという数学のイベントで、素数大富豪大会が行われたこと。その決勝戦で私の出した1021が素数だったこと。これがすべての始まりでした。

私は素数の力を借りて、数学のイベントを楽しむ機会を得ました。そして今日までの半年間で、こうやってブログを書こうと思うまでになりました。界隈のみなさんには本当に感謝しています。

さて、私がブログを書こうと思った理由ですが、簡単に言うと

考えることが好きだから
数学を楽しみたいから

の二つになるでしょうか。

まず、考えることが好きなのは、私が数学を専門として学んでいるからなのかもしれません。数学という学問には考えたくなるテーマが本当にたくさんあります。そして、数学的な背景を持つパズルを考えたり作ったりするのも大変面白い。常に何かを考えていたい私にとって、数学やパズルはとてもありがたい対象になっているのです。

でも、数学そのものを考えることだけでなく、一見数学とは関係の少なそうなことを数学的に考えるのも非常に楽しいです。数学の世界とは違う世界（パラレルワールド？）の出来事だとか、数学とは反対側（パラ）の存在だと思っていたことを、数学的に考えることができたとき。そのエキサイティングさも数学の醍醐味だと思っています。そういう経緯でブログの名前を「ますぱら」にしました。マスハラじゃないよ。

もう一つの理由「数学を楽しみたい」については、まだちょっとふわっとした感覚です。

この半年間で知り合うことのできた数学界隈の多くの方はブログを書いており、数学の話題でもそうでなくても、日常のいろいろなことを面白くしようというエネルギーにあふれています。私も今回ブログを持つことを通じて、自ら日常を面白くしたい。数学的に楽しめる空間を作りたい。そう考えています。自分だけではなく界隈の方と一緒に楽しむ数学を生み出す基盤にしたいという意味で、数学を楽しむブログを書いていきたいです。

最初だからか、どうしても文章が堅苦しくなってしまいました。でも文章ばかりの記事は今日くらいでしょう。

このブログではこれから、代数（特に素数とか）の話、パズルの話、素数大富豪の話などを書いていく予定です。まだ不確定要素も多いですが、少しずつ軌道に乗せていきたいと思います。

素数が被ってる？大事なことなのでp回言っただけですよ。

それでは、今日の記事はこれくらいにします。内容的には次回が1つ目の記事といったところでしょうか。そすうるとこれは0番目の記事ですね。0は自然数派の方の気持ちがわかったかもしれません。

誤字ってる？大事なことなのでp+1回言っただけですよ。