- 272 名前：１３２人目の素数さん [2025/02/06(木) 09:54:19.99 ID:jBYaMD3j.net]
- γ(0,2):=lim_{n→+∞}(1/2+1/4+…+1/(2n)-log(2n)/2)
γ(1,2):=lim_{n→+∞}(1＋1/3+…+1/(2n+1)-log(2n+1)/2)
とおくと、γ(0,2)とγ(1,2)のうち、少なくとも一つは無理数（超越数）である。
なぜか？
γ(0,2)-γ(1,2)=log(2) が無理数（超越数）だから
γ(0,2)とγ(1,2)の両方が有理数（代数的数）であることはありえない。
ちなみに、γ(0,2)+γ(1,2)=γである。
