検索に移動この記事の主題はウィキペディアにおける独立記事作成の目安を満たしていないおそれがあります。目安に適合することを証明するために、記事の主題についての信頼できる二次資料を求めています。適合することが証明できない場合には、記事は統合されるか、リダイレクトに置き換えられるか、さもなくば削除される可能性があります。theorem)は、1982年に西山豊が考案した不動点の作図に関する、エレガントな不動点の作図法である[1]。正方形ABCDの上に合同な正方形A'B'C'D'が任意に重なっているとき、これらを重ね合わせるための中心は、合同変換における不動点となる。この不動点は図1のように辺ABと辺A'B'の交点をP、辺CDと辺C'D'の交点をQ、辺BCと辺B'C'の交点R、辺DAと辺D'A'の交点をSとするとき、直線PQと直線RSの交点Fが不動点となる。直線PQと直線RSは直交している。ユークリッド幾何学による不動点の作図法では、コンパスと定規を用いるが、西山による方法は定規だけで作図できることに特徴がある。合同な正方形の場合は、不動点の数は4個あり、この4個の不動点は一直線上に並ぶ。合同な円が任意に重なっているとき、これらを重ね合わせるための中心(不動点)は、2つの円の交線上の任意の点となる[2]。ランダム・ドット・パターン[編集]図2.不動点が見える西山の定理が発見されるヒントとなったのは、ランダム・ドット・パターンである[3]。1辺が20センチの正方形内に、約2000個のランダムな点群をプロットする。このパターンを透明なOHPシートに焼き付ける。元のパターンの上に、OHPシートを重ね、OHPシートをわずかに回転させる。一瞬、同心円が浮かび上がってくる。この同心円の中心は唯一、動かなかった点-不動点であり、不動点は2枚の正方形を重ねる回転の中心となっている。夜空で北の空を眺めると、北極星は天体の不動点ともなっている。証明[編集]証明は文献[4]に詳しいが、手順は次のとおりである。L2があるとき、この2直線を重ね合わせるためには、回転の中心を、2直線の交点Pを通り、交角を2等分する線上にもってこなければならない。L2とL4の交点を結ぶ直線上に回転の中心をもってくることである。正方形の4辺を重ね合わせるということは、二組の平行な2直線を同時に重ね合わせることであるから、上記を2回適用すると、それが不動点となる。合同変換における作図法は、相似変換における作図法にそのまま拡張されることが、1989年に岡部恒治と森原則男によって発見され、証明がされた[5]。西山の定理はアフィン変換の不動点にも拡張される[6]。長方形ABCDの上に、縮小された長方形A'B'C'D'が任意に重なっているとき、これらを重ね合わせるための中心は、相似変換における不動点となる。長方形ABCDと長方形A'B'C'D'において対応する辺の交点を求める。辺ABと辺A'B'の交点をP、辺CDと辺C'D'の交点をQ、辺BCと辺B'C'の交点をR、辺DAと辺D'A'の交点をSとする。交点が求まらないときは辺を延長させること。直線PQと直線RSの交点をOとしたとき、これが相似変換の不動点になる。直線PQと直線RSは直交している。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。