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

出典:wikipedia