一个定义在有理数集上的实数函数 f，对一切有理数x和y，都有 f（x+y）= f（x）+ f（y）。
证明：对有理数x有 f（x）= kx，其中k为实数。
-------------------------------------------------------------------------------
令n为大于0的正整数，则
f（nx）= f（n-1 x）+f（x）
f（n-1 x）= f（n-2 x）+f（x）
············
f（2x）= f（x）+f（x）
∴ f（nx）= n f（x）
这意味着，对任意一个x，将自变量区域0-x分为n（n为正整数）份并命名为x1、x2···xn，所有这些点对应的y在一条直线上并且过原点。
假设 对所有的有理数x都满足 f（x）= kx 不成立，即至少存在两点，这两点的连线不过原点，设这两点中较小的点为xa，较大的为xb，xa<xb，
由于xa xb都是有理数，所以xa/xb 是一个真分数，设xa/xb的分母为m，分子为n，将自变量0-xb分为m份，并命名为x1、x2···xm，所有这些点对应的y在一条直线上并且过原点。由于xn就是xa，所以xa对应的点与xb对应的点连线也过原点，与已知矛盾，所以假设不成立，所以对所有的有理数x有 f（x）= kx 成立，证毕。
标签：有理数,原点,实数,xa,xb,集上,kx 来源： https://www.cnblogs.com/lau1997/p/11684659.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。