2018年6月9日土曜日

log₁₀ 2 は無理数


*log₁₀ 2 は無理数
・・・因数分解の一意性を用いる