【浅谈】数学与生活（二）

作为端午节假期的一天。我们来聊聊数学思想吧，今天想说的主要有两点：如何去拆解一个无限的问题；证明存在和不存在。

集合概论

实数系的连续性（一）

实数系的连续性（二）

化无限为有限

第一次接触证明”无限“的命题是在集合论里面提到定理：有理数集Q是可列集。

可列集的前提是集合是一个无限集，咋一看，要证明一个无限的东西具有某种性质，就不知从何下手了。

实际上，证明的方法很简单：根据集合的运算，有理数集可由无穷个有限区间的并集构成，只要证明一个区间的元素可以排成一列，再推广到所有区间即可。

因此，从中我们学会一个思路：降维打击

无法一步到位，那就拆解为熟悉的领域（可表示或可表达），再推广到与其具备共性的其他领域，利用归纳法完成证明。

这种把“无限化为有限”的方法在数学上运用的场景也屡见不鲜。比如以后学到的积分曲线，比如把空间区域进行无限分割，逐一击破。

证有与证无

“证有与证无”的命题在数学与生活中很可能是截然相反。

先来说”证无“。数学上“证无”最常用的方法是反证法，即先假设存在，再推出矛盾。在介绍实数系连续性的时候反复用到，比如证明根号2不是有理数，证明集合B=[0,1)不存在最大数等。

生活上要“证明没有”通常是“证伪”，一般情况是很难的，比如“天下乌鸦一般黑”，“太阳从东边升起”，要证伪，就是证明“有至少一只乌鸦不是黑色的”，“有至少一天太阳不是从东边升起” 。这就很难了。这没办法用反证法，只能等到未来某天真的出现过，才可以证伪。

再来看“证有”，数学上的“证有”通常比“证无”难度高。

比如证明上界集合有最小数(上确界)。方法是先找到上确界，再证明它是(任意属于S的元素都小于它，任何小于它的数都不属于上界集合)。

而生活中的“证有”相当于“证实”，这也简单很多。比如证明”中国人有好人“，这就容易，比如正在阅读文章的你

论平均数

最后，我们来补充数学分析中最常用的两个不等式。其中一个是平均数定理，在此之前，先复习一下最常用的三种平均数计算方式及其理解。

首先来看算术平均数和几何平均数。最感官的理解解释就是：算术平均体现在将两个线段拼接成一个线段，再将其平均分为相等的两段：

几何平均体现在做一正方形，使得其面积等于将以长为a,宽为b的矩形，该正方形的边长就是a,b的几何平均数。

长方体则是转化为体积相等的立方体：

它们的应用区别在于：几何平均数用于比较性质(维度)不同的事物以及比较变化率大小.

举两个例子加以说明.

例1：你想购买一部照相机，一个相机的变焦200，品质评价是8分；另外一部的变焦是250，品质评价是6分。

分析：如果取算术平均数，则(200+8)/2=104 ,(250+6)/2=128，显然，品质评价不重要。但几何平均数是sqrt(200*8)=40,sqrt(250*6)=38.7.这样，兼顾了变焦与评价功能。

例2：以10万元作为本金投资股票，第一年赚了5万，第一年增长率50%，本金变为15万元，第二年亏了7.5万，第二年增长率-50%

分析：对于盈利，取算术平均是（5-7.5）/2=-1.25万，投资两年的收益相当于每年亏1.25万元；对于利润率，取几何平均sqrt[(1+0.5)(1-0.5)]-1=-0.134,相当于每年投资收益率为-13.4%

最后还有一个调和平均数，它应用在计算的变量是一个中间变量（公式）的情况。举一个例子。

例3：从A到B地，去程速度30，返程速度10，请问整个行程的平均速度。

分析：速度=路程/时间，是一个中间的公式计算变量。不能直接去算术平均（30+10）/2=20;而应该取调和平均，2/(1/30+1/10)=15。

知识点补充

• 平均值定理
  

• 三角不等式