トスジャグリングの投げ方を表す方法にサイトスワップというものがあります。
この記事では次の定理を証明します。
(バニラ)サイトスワップがジャグリング可能であるための必要十分条件は、かつなる任意のに対し、
が成立することである。
サイトスワップとは
サイトスワップはボール(またはその他の道具)を投げて行う周期的なジャグリングの技を説明するために用いられるものです。
サイトスワップがどういうものなのかを知るには参考文献に挙げた日本ジャグリング協会のHPのサイトスワップについてのページが分かりやすいと思います。知らない人はそちらを見てください。
ここにもリンクを貼っておきます。
サイトスワップ‐日本ジャグリング協会
サイトスワップがどういうものか、一応ここでも紹介しておきます。
日本ジャグリング協会のHPではサイトスワップを次のように紹介しています。
サイトスワップ(siteswap)とは、ボールやクラブなどのトスジャグリングにおいて投げ上げる物体の高さを数列で表現したものです。
サイトスワップのより詳しい説明(ルール)として、日本ジャグリング協会のHPには次のように書かれています。
- 数字は、今投げたボールを次に投げるまでの時間間隔を表す
この、ボール(またはその他の道具)を投げる各時間を拍といいます。
この記事では、これらの条件に「各拍に高々個のボールが投げられる」という条件を加えたものを考えます。このようなサイトスワップをバニラサイトスワップといいます。
例えば、拍目にという量で投げられたボールは、拍目に再び投げられます。
より一般に、拍目にという量で投げられたボールは、拍目に再び投げられます。
ただし、のみ例外として該当の拍に投げられるボールがないことを表します。
このように、サイトスワップはボール等を投げる位置の情報を持ちません。
つまり、それぞれのボールを投げる拍の間隔さえ同じであれば、腕を交差させようが背面で投げようが同じサイトスワップとなります。
ジャグリングの状態と状態数
あるスローが行われた直後の状態をつぎのように定義します。
状態
状態は各項がかである数列であり、考えているスローが行われるのを拍目として、そのスローが行われた直後の状態を次の式で定義する。
状態の定義から、任意の状態に対してあるが存在してかつならばが成り立ちます。このとき、と書くことにします。
ここからは、各スローが状態にどのような変化をもたらすのかを見ていきます。
本題に入る前に、以降の話を円滑にするためにサイトスワップについてひとつ定義をしておきます。
サイトスワップとは、第項から第項までが順にである周期の非負整数列である。
では、スローによる状態の変化を見ていきましょう。
状態の定義より、次のようなことが成り立ちます。
状態の変化
ある状態を取ったとき、この状態からスローを行った直後の状態は次の式で与えられる。
どんな状態ならばスローを行うことができるのでしょうか。
例えば、でのとき、より拍目にボールが落ちてくるはずですが、は拍目に投げられるボールが存在しないことを示しています。そのため、このような状況では状態から、スローを行うことはできません。
ではの時はどうでしょうか。今、我々はバニラサイトスワップを考えているので、ひとつの拍で高々つのボールしか投げられません。したがって、である必要があります。
これらのことを一般化すると、サイトスワップがジャグリング可能であるための必要条件としてつぎが得られます。
ジャグリング可能であるための必要条件
サイトスワップがジャグリング可能であるためには
かつなる任意のに対し、
であることが必要。
この条件は、拍でつ以上のボールを投げないという条件を表したものです。
そこで、サイトスワップはジャグリング可能だが、なるあるが存在して、であると仮定します。
を投げる拍を拍目として、拍目よりも充分前の拍からジャグリングしているという仮定もします。(このような仮定はがジャグリング可能であることから可能。)
すると、あるが存在して、です。
これは、拍目と拍目に投げたボールが、拍目まで度も投げられることなく、どちらも拍目に投げられることを意味しています。
これは、拍のうちにつ以上のボールを投げないというバニラサイトスワップの条件に反しているので、背理法により、定理の内容が従います。
つづいて、スローによって状態数がどのように変化するかを見ていきましょう。スローを投げる直前の状態を,投げた直後の状態をとします。すると、状態数の定義とスローによる状態の変化の仕方から、以下の式が成立することがわかります。
ジャグリング可能なサイトスワップであるための必要十分条件
ジャグリング可能の定義
前節でサイトスワップがジャグリング可能であるための必要条件が得られました。そこで、この条件(以下この条件を「条件*」と呼ぶ)を満たすサイトスワップに対し、ジャグリング可能であることを次のように定義します。
サイトスワップがジャグリング可能であるとは、が条件*をみたし、ある初項が存在して、以下の漸化式で定まる数列が非負整数列となることである。
この定義にはジャグリングのパターンが周期的であることが含まれていませんが、ジャグリング可能なサイトスワップによって定まるパターンが周期的であることは以下の定理からわかります。
がジャグリング可能なサイトスワップでが非負整数列なら、は周期数列となる。
まず、が有界であることを示す。
とする。
任意の非負整数に対し、であることを示す。
が非負整数列であることからは明らか。
任意の非負整数に対し、であることを数学的帰納法で示す。
のとき、の定義より明らか。
のとき、だと仮定すると、帰納法の仮定との定義より、
したがって、任意の非負整数に対して、
これを用いてが周期数列であることを示す。
は有界な非負整数列だから、鳩ノ巣原理より、ある非負整数が存在して、である。
ここで、漸化式を繰り返し用いれば任意の非負整数に対して、
が得られる。これはがの周期の一つであることを表している。
定理の証明には直接関係ないが重要なこと
上のジャグリング可能の定義では各サイトスワップに対して状態の遷移の仕方が一意に定まることを要請していません。もし、あるサイトスワップに対して異なる複数の状態の遷移が考えられた(つまり、定義の条件を満たす初項が複数存在する)とすると、サイトスワップと初項セットでないと(投げる位置を無視した)投げ方を表すことはができません。これに関して、以下の定理が成立します。
ジャグリング可能なサイトスワップに対して、が非負整数列となる初項は一意に定まる。
とがどちらも非負整数列であるとする。
より、
でだから、十分大きいで
とはともに整数列だから、も整数。
ところで、だから、
だったから、
定理の証明
いよいよ冒頭の定理を証明します。必要性は既に証明しているので、ここでは十分性のみ証明します。
サイトスワップがジャグリング可能であるためには
条件*を満たせば十分。
天下り的ですが、
のとき
であることを示します。
まずを示しましょう。
かつのとき、ある非負整数が存在してだから、です。
従って、定理の条件より
よって、はの倍数です。また明らかになのでです。
漸化式に代入して計算すると、は次のようななります。
同様に計算すると、帰納的に次の式が得られます。
と全く同様にが導かれます。
従って、です。
ゆえにかつなる任意のに対して
ならばはジャグリング可能となります。
おわりに
この記事ではトスジャグリングの投げ方を表す方法であるサイトスワップの、特にバニラサイトスワップに関する基礎的な定理を状態という概念を用いて証明しました。
最後の証明に出てきたという式はサイトスワップの状態を計算する公式となっています。
実はジャグリング可能なサイトスワップから投げる物体の個数を計算することもできるんですが、これについては気が向けば記事を書こうと思います。
最後まで読んでくださりありがとうございました。