その証明は現代的にはやや不満の残るものであったが、1794年にフランスのルジャンドルは厳密な証明を与え、さらに&pi;2も無理数であることを示した.
&pi;2