互いに素と置かずに
√3=n/mでn,mは整数(mは0でない整数)とおいても証明が出来る。
最終的に無限降下法による論証が起こり証明が出来る。（新課程版Focus Gold 数学I+A（啓林館）に詳細あり）