西山の定理

西山の定理（にしやまのていり、）は、1982年に西山豊が考案した不動点の作図に関する、エレガントな不動点の作図法である。
ランダム・ドット・パターン.
西山の定理が発見されるヒントとなったのは、ランダム・ドット・パターンである。
証明.
証明は文献に詳しいが、手順は次のとおりである。
相似変換への拡張.
合同変換における作図法は、相似変換における作図法にそのまま拡張されることが、1989年に岡部恒治と森原則男によって発見され、証明がされた。また、西山の定理はアフィン変換の不動点にも拡張される。
相似変換の不動点については、別の証明もある