【log2(5)是无理数】
反证法,如果log2(5)是有理数,则可表示为p/q,则2^(p/q)=5 => 2^p=5^q。但(2,5)= 1,所以(2^p,5^q)=1,也即2^p != 5^p,矛盾。所以log2(5)是无理数。
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步