平方数計数函数とは、引数未満の平方数の個数を返す函数である。平方数函数を弄っていたら出てきたいくつかの命題と、その証明を載せた。 誤植などがあれば、私のtwitter:@satoshin_mathもしくは@satoshin_NCDまでお願いします。 ページ数：4ページ