対角成分の一つ上まで非零要素が入っていてよいような行列をヘッセンベルグ行列という． 行列 をここでは「要素が全部1のヘッセンベルグ行列」と呼ぶ．（は命題の特性関数．）命題 は自然数とする． 行列の成分はカタラン数である．つまり が成り立つ． 証明…