おお、素晴らしい！あざっす！
ところでこの周辺の研究についてまとめられてる教科書とかはないですか？
まだ論文レベルをサーベイしないと無理ですか？
Binetの第１積分の初等的証明はネットでみつかって
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.384.3258&;rep=rep1&type=pdf
それはそれでいいんですがそれだけだと人が見つけた公式確認して終わりなので不愉快。
wikipediaの第二積分の導出のように"うん、これなら思いつきそう"と思える方法も知っときたい気分です。
