MT【286】最佳有理逼近
2017北大优秀中学生夏令营
已知$\omega $是整系数方程$x^2+ax+b=0$的一个无理数根,
求证:存在常数$C$,使得对任意互质的正整数$p,q$都有$$|\omega-\dfrac{p}{q}|\ge \dfrac{C}{q^2}$$
分析:这题涉及的背景知识是数论里的最佳有理逼近和Liouville超越数定理.
一般的$\omega $是整系数方程$f(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0=0$的一个根,
则显然存在$C=C(\omega)=\max\{\dfrac{1}{q^n},n*\max\limits_{k=1,2,\cdots,n}|ka_k^{k-1}|\}$,
当$\omega-1<x<\omega+1$ 时$|f^{'}(x)|=|na_nx^{n-1}+\cdots+a_1|<C$,故
若$\dfrac{p}{q}\in[\omega-1,\omega+1]$时
由拉格朗日中值定理$f(\dfrac{p}{q})-f(\omega)=(\dfrac{p}{q}-\omega)f^{'}(\eta)$
又$f|(\dfrac{p}{q})|=\dfrac{|a_np^n+a_{n-1}p^{n-1}q+\cdots+a_0q^n|}{q^n}\ge \dfrac{1}{q^n}$
故$|\omega-\dfrac{p}{q}|=\dfrac{|f(\dfrac{p}{q})|}{|f^{'}(\eta)|}>\dfrac{1}{Cq^n}$
若$\dfrac{p}{q}\notin[\omega-1,\omega+1]$时
$|\omega-\dfrac{p}{q}|>1\ge\dfrac{1}{Cq^n}$
注:
Liouville 定理:任意$n$次实代数数不能有$n$次以上的有理渐进分数.
即:若是一个$n$次代数数,则对任意$\epsilon>0,A>0$,不等式
$$|\omega-\dfrac{p}{q}|<\dfrac{A}{q^{n+\epsilon}}$$的整数解$(p,q)$的个数有限.
注:若$\omega$为无理数.则有无穷个整数解$(p,q)$使得$|\omega-\dfrac{p}{q}|<\dfrac{1}{2q^2}$
注:(Hruwitz)若$\omega$为无理数.则有无穷个整数解$(p,q)$使得$|\omega-\dfrac{p}{q}|<\dfrac{1}{\sqrt{5}q^2}$,这里的$\sqrt{5}$是最佳的。
MT【286】最佳有理逼近的更多相关文章
- 2016 最佳 Linux 发行版排行榜
2015年,不管在企业市场还是个人消费市场都是 Linux非常重要的一年.作为一个自2005年起就开始使用 Linux的 Linuxer ,我门见证了 Linux在过去十年的成长.2016 Linux ...
- 《开源安全运维平台OSSIM最佳实践》
<开源安全运维平台OSSIM最佳实践> 经多年潜心研究开源技术,历时三年创作的<开源安全运维平台OSSIM最佳实践>一书即将出版.该书用80多万字记录了,作者10多年的IT行业 ...
- 12款最佳的 WordPress 语法高亮插件推荐
语法高亮工具增强了代码的可读性,美化了代码,让程序员更容易维护.语法高亮提供各种方式由以提高可读性和文本语境,尤其是对于其中可以结束跨越多个页面的代码,以及让开发者自己的程序中查找错误.在这篇文章中, ...
- java开发3轮技术面+hr面 面经(MT)
一直没打理博客园 发现博客园阅读量好大,就把前段时间写的一个面经也搬过来咯,大家一起加油.... 作者:小仇Eleven 链接:https://www.nowcoder.com/discuss/37 ...
- Linux和类Unix系统上5个最佳开源备份工具
一个好的备份最基本的目的就是为了能够从一些错误中恢复: 人为的失误 磁盘阵列或是硬盘故障 文件系统崩溃 数据中心被破坏等等. 所以,我为大家罗列了一些开源的软件备份工具. 当为一个企业选择备份工具的时 ...
- 类Unix上5个最佳开源备份工具 Bacula/Amanda/Backupninja/Backuppc/UrBackup
当为一个企业选择备份工具的时候,你都考虑什么呢? 确定你正在部署的软件具有下面的特性 开源软件 – 你务必要选择那些源码可以免费获得,并且可以修改的软件.确信可以恢复你的数据,即使是软件供应商/项目停 ...
- Android和PHP开发最佳实践
Android和PHP开发最佳实践 <Android和PHP开发最佳实践>基本信息作者: 黄隽实丛书名: 移动应用开发技术丛书出版社:机械工业出版社ISBN:9787111410508上架 ...
- iOS应用开发最佳实践
<iOS应用开发最佳实践> 基本信息 作者: 王浩 出版社:电子工业出版社 ISBN:9787121207679 上架时间:2013-7-22 出版日期:2013 年8月 开本:16 ...
- Linux 和类 Unix 系统上5个最佳开源备份工具
转载:http://linux.cn/article-4623-weixin.html#rd?sukey=cbbc36a2500a2e6cb7678c4d38b691a9fa7403b259f898e ...
随机推荐
- iOS--LaunchImage启动页设置及问题解决
在Assets.xcassets中使用LaunchImage来设置启动图: 一.根据不同屏幕尺寸的需求设置不同的图片,可以参照下图: 1.点击Image.xcassets 进入图片管理,然后右击, ...
- 工作效率提升之Eclipse篇(1):干掉烦人的xml文件的validation
每次启动maven项目,都会有一堆烦人的xml文件的validation,一旦网络较慢,项目重新启动的时候,这些多余的验证纯属浪费时间. Eclipse上取消validation的方法: 1.菜单[W ...
- 转《在浏览器中使用tensorflow.js进行人脸识别的JavaScript API》
作者 | Vincent Mühle 编译 | 姗姗 出品 | 人工智能头条(公众号ID:AI_Thinker) [导读]随着深度学习方法的应用,浏览器调用人脸识别技术已经得到了更广泛的应用与提升.在 ...
- Linux基础学习笔记4-文本处理
本章内容 抽取文本的工具 文件内容:less和cat 文件截取:head和tail 按列抽取:cut 按关键字抽取:grep 文件查看 文件查看命令:cat,tac,rev cat [OPTION] ...
- js auto hover button & html5 button autofocus
js auto hover button & html5 button autofocus input // html 5 <input name="myinput" ...
- comparable和comparator
Comparable Comparable可以认为是一个内部比较器,实现了Comparable接口的类有一个特点,就是这些类是可以和自己比较的,在compareTo方法中指定具体的比较方法. comp ...
- 相识mongodb
1.下载完安装包,并解压下载地址:https://www.mongodb.org/dl/linux/x86_64或者可以直接wget http://fastdl.mongodb.org/linux/m ...
- 工程师常犯的web后台界面用户体验错误
- AngularJS从入门到精通
第一 AngularJS的四大特性 1. MVC 例如:使用angularjs向模板传递数据 <!doctype html> <html> <head> <m ...
- SQL Server 数据库try catch 存储过程
SQL Server 在生产环境中这样写存储过程的坑都避免了吗? 原文链接: http://www.cnblogs.com/chenmh/p/7856777.html 概述 最近因为业务的需求写了一段 ...