じゃんがら念仏踊りは、福島県いわき市内に多く分布伝承されているが(いわき市内でも行われていない地域がある)、いわき市周辺市町村でもいくつか伝承されている。また阿武隈高地に近い山間地区では、平田村駒形、古殿町馬場平、小野町上羽出庭に今もなお伝承されている。無限降下法概要.自然数に関する命題の証明に威力を発する場合があり、典型的には不定方程式に自然数解が存在しないことを示す際に用いられる。具体的には、自然数解が存在すると仮定し、ひとつの解から(ある意味で)より「小さい」別の自然数解が構成できることを示すのである。その構成法より、小さい解を次々に得ることができるはずであるが、自然数の(空集合でない)部分集合には最小の元があるから、これは矛盾である。よって、仮定が間違っていたのであり、解が存在しないことが示されたことになる。小さい解を次々に得る様子が「無限に降下」していくように感じられることから、「無限降下法」と呼ばれる。この証明は次のように書き換えることもできる。解が存在するとすると、最も「小さい」ものが存在する。先の構成法から、より小さいものが得られるが、これは最も「小さい」という仮定に矛盾する。よって、解は存在しない。この証明のポイントは、最も「小さい」ものが存在するはずの、性質の良い「大小関係」を考えることである。必ずしも解そのものの大小関係である必要はなく、解に対してある自然数を対応させる関数の値の大小関係であれば十分である。証明の例.と表せる。平方して分母を払うとある不定方程式.方程式であるから、新しい解の方が小さい。こうして次々に「小さい」解を得ることができるが、これは矛盾である。したがって、方程式は非自明な解を持たない。歴史.無限降下法は、典型的には「解が存在しない」などの否定的命題の証明に用いられるが、このように肯定的命題にも用いられる。フェルマー以後も、無限降下法の考えはしばしば用いられている。たとえば、楕円曲線の有理点のなす群が有限生成アーベル群であることを主張するモーデルの定理の証明には、有理点の高さに関する、無限降下法と似た議論が用いられる。LittleDJ~小さな恋の物語宇都宮餃子宇都宮ギョーザ概要・略歴.外部リンク.東芝機械マシナリー概要.事業所.営業拠点