【小知识】比较 x^y 和 y^x 的大小
往前翻几个编号相邻的题目翻到了这么一道题,感觉很好奇就做了一下
(upd:我下午问了下出题人做法,他就把题隐藏了……这不太友好啊……所以我补一下题意:)
题意
给你两个整数 $x$ 和 $y$,求 $x^y$ 和 $y^x$ 的大小关系。输出 $-1$ 表示前者大,$1$ 表示后者大,$0$ 表示一样大。
$0\le x\le 10^{3000}, -100\le y\le 10^{3000}$
题解
首先特判 $x$ 或 $y$ 为 $0$,$y=-1$ 以及 $y\lt -1$ 的情况。
对于剩下的正常情况,显然幂可以取对数转化为乘数。
即把 $x^y$ 取 $\ln$ 转化为 $y\ln{x}$,$y^x$ 取 $\ln$ 转化为 $x\ln{y}$
然后 $x^y$ 和 $y^x$ 的大小关系等于 $y\ln{x}$ 和 $x\ln{y}$ 的大小关系
移项,可得等于 $\frac{\ln{x}}{x}$ 和 $\frac{\ln{y}}{y}$ 的大小关系
咋一看,$\ln{x}$ 的变化速率显然比 $x$ 小很多啊!那我们是否可以大胆猜测,$x$ 越大,$\frac{\ln{x}}{x}$ 越小呢?
但我们没有给 $x$ 的定义域。
我们直觉上认为 $x$ 的定义域为 $[1,\infty)$ 的整数。
但我们没有证明这个结论,下面用实践来检验一下。
我们画一下 $y=\frac{\ln{x}}{x}$ 的图象
有没有观察到最高点的横坐标为 $e$?
那我们之前猜的那个结论好像就不对了
这是偶然吗?我们把 $log$ 的底数换成 $10$ 画一下看看
再把底数换成 $2$ 看看
为什么无论底数是几,最高点的横坐标都是 $e$?
咱们来脑残证明一波:
首先,换底只会使图象沿 $y$ 轴成比例伸缩,不会改变最高点。因为假设把底数 $a$ 换成 $b$,那根据换底公式可得 $\log_b{x} = \log_a{x}\times \log_b{a}$,$\log_b{a}$ 是个与 $y$ 无关的常数,所以 $y=\frac{\log_a{x}}{x}$ 的图象只沿 $y$ 轴伸长 $\log_b{a}$ 倍,最高点横坐标不变。
但是这个结论是封闭的,即我们需要找到一个 $x$,使得 $y=\frac{\log_a{x}}{x}$ 的图象最高点能通过其它方式求出来。
当 $x=e$ 时就可以证明这个图象的最高点的横坐标是 $e$,证明方法:
考虑求导,分数的导数公式为 $(\frac{u}{v})' = \frac{u'v-uv'}{v^2}$
令 $u=\ln{x}$,$v=x$
$y=\ln{x}$ 的导数为 $y'=\frac{1}{x}$(至于这个核心公式怎么证,您们还是去查吧,这里篇幅不够且我能力有限),所以 $u'=\frac{1}{x}$,$v'=1$。
推得 $(\frac{\ln{x}}{x})' = \frac{1-\ln{x}}{x^2}$
因为该函数只有最大值,没有最小值,所以图象上导数为 $0$ 的点就是最高点。
于是最高点的横坐标就是 $\frac{1-\ln{x}}{x^2} = 0$ 的解,容易解得 $x=e$。
至此我们证明了当 $x=e$ 时就可以证明这个图象的最高点的横坐标是 $e$,根据前文可知换底不会改变图象最高点,故无论底数 $a$ 为多少,$y=\frac{\log_a{x}}{x}$ 的图象最高点的横坐标都是 $e$。
综上,函数在 $[1,e]$ 区间递增,$[e,\infty)$ 区间递减。
我们再求一下图象上与横坐标为 $2$ 的点的纵坐标相同的另一点,即求解 $2^x=x^2$。这个通过枚举就可以解得 $x=4$。所以图象在 $x=2$ 与 $x=4$ 处的纵坐标相同。
有了函数的分段变化情况,我们就可以判断 $\frac{\ln{x}}{x}$ 和 $\frac{\ln{y}}{y}$ 的大小关系了。
大力分类讨论即可。
【小知识】比较 x^y 和 y^x 的大小的更多相关文章
- python小技巧 小知识
python小技巧 小知识 python系统变量(修改调用shell命令路径)或用户空间说明 20150418 python调用系统命令,报找不到.怎么办? 类似执行shell的: [ -f /etc ...
- python之数字类型小知识
数字是表示计数的抽象事物,也是数学运算和推理的基础,所以,生活中数字是生活中无处不在的,那么,在python语言中运用数字有哪些小知识呢,不妨花点时间看一下这篇博文,牢记这些小知识. 整数类型中四种进 ...
- Java基础小知识(一)
序言:“不积跬步,无以至千里.不积小流,无以成江海.”每一个庞大的知识架构都是由无数个小知识点慢慢积累起来的,没有量变的积累,就没有质变上的飞跃,成功往往离不开积累. 今天就和大家分享一些我在学习J ...
- 【python学习小知识】求绝对值和numpy和tensor的相互转换
一.python求绝对值的三种方法 1.条件判断 2.内置函数abs() 3.内置模块 math.fabs 1.条件判段,判断大于0还是小于0,小于0则输出相反数即可 # 法1:使用条件判断求绝对值 ...
- golang拾遗:内置函数len的小知识
len是很常用的内置函数,可以测量字符串.slice.array.channel以及map的长度/元素个数. 不过你真的了解len吗?也许还有一些你不知道的小知识. 我们来看一道GO101的题目,这题 ...
- 蓝牙Bluetooth技术小知识
蓝牙Bluetooth技术以及广泛的应用于各种设备,并将继续在物联网IoT领域担任重要角色.下面搜集整理了一些关于蓝牙技术的小知识,以备参考. 蓝牙Bluetooth技术始创于1994年,其名字来源于 ...
- HTML+CSS中的一些小知识
今天分享一些HTML.CSS的小知识,希望能够对大家有所帮助! 1.解决网页乱码的问题:最重要的是要保证各个环节的字符编码一致! (1)编辑器的编辑环境的字符集(默认字符集):Crtl+U 常见的编码 ...
- iOS APP开发的小知识(分享)
亿合科技小编发现从2007年第一款智能手机横空出世,由此开启了人们的移动智能时代.我们从一开始对APP的陌生,到现在的爱不释手,可见APP开发的出现对我们的生活改变有多巨大.而iOS AP ...
- Unix系统小知识(转)
Unix操作系统的小知识 2.VI添加行号/翻页/清屏 .在对话模式时(即输完Esc再输入: ),输入“:set number”可以将编辑的文本加上行号.跟玩俄罗斯方块一样方便的上下左右移动箭头的快捷 ...
随机推荐
- HTTP Status 500 – Internal Server Error
明明硬盘中存在users.xml,但是提示:系统找不到指定的路径. 解决办法: 设置String的编码格式 realpath = URLDecoder.decode(realpath, "U ...
- 利用Bag中的getCount()方法统计list集合中重复元素
实际应用场景:从Excel导入数据时,存在某个标识符相同的多条数据,需要进行合并,因此需要统计重复元素,可以利用Bag包下的getCount()进行统计,代码如下: package test.com. ...
- KCP - A Fast and Reliable ARQ Protocol
KCP - A Fast and Reliable ARQ Protocol README in English 简介 KCP是一个快速可靠协议,能以比 TCP浪费10%-20%的带宽的代价,换取平均 ...
- 【AMAD】django-model-utils -- Django model使用的mixin和utils
动机 简介 个人评分 动机 为django model系统提供一些可重用的mixin和utils. 简介 django-model-utils1为Django Model提供了下嘛几种分类的utils ...
- netcore程序部署 ubuntu 16.0.4 报错 The type initializer for 'System.Net.Http.CurlHandler'的解决方案
最近业务扩展需要把netcore程序部署到ubuntu 16.0.4上,因为代码里面用到了HttpClient 请求. 部署ubuntu后一直报错 参考地址:https://github.com/do ...
- PowerShell学习记录
一.简介——连接 Powershell 是运行在windows机器上实现系统和应用程序管理自动化的命令行脚本环境.你可以把它看成是命令行提示符cmd.exe的扩充,不对,应当是颠覆. powershe ...
- Linu下安装与卸载MySQL数据库
卸载MySQL数据库,具体操作如下: (1)rpm -qa | grep -i mysql // 检查是否安装了MySQL的组件 (2)卸载前先关闭MySQL服务, a. b. (3)删除MySQL各 ...
- 大数据之Hadoop完全分布式集群搭建
1.准备阶段 1.1.新建三台虚拟机 Hadoop完全分市式集群是典型的主从架构(master-slave),一般需要使用多台服务器来组建.我们准备3台服务器(关闭防火墙.静态IP.主机名称).如果没 ...
- 定时执行exe、windows任务计划、windows服务
环境: Windows10 + VS2015 + SQL Server2014 + .NET Framework4.5 + C# + WCF 问题: 业务功能需要,做了一个windows应用程序供主程 ...
- Idea导入Eclipse的Web项目并部署到Tomcat
⒈启动Idea,选择导入项目 选择导入的项目路径后,选择项目类型后一路next即可. ⒉选择File->Project Structure打开项目配置窗口(ctrl + alt + shift ...