视频字幕
基本不等式是高中数学的重要内容。我们从平均数的概念开始学习。算术平均数是两个数的和除以二，几何平均数是两个数乘积的算术平方根。以四和九为例，算术平均数是六点五，几何平均数是六。我们发现算术平均数总是大于或等于几何平均数。
基本不等式定理是这样表述的：对于正数a和b，算术平均数大于或等于几何平均数，即二分之a加b大于或等于根号ab。当且仅当a等于b时等号成立。这个不等式的几何意义是算术平均数大于或等于几何平均数，代数意义是对于正数，和的平均不小于积的平方根。
我们可以用几何方法证明基本不等式。首先构造一个半圆，直径为a加b。在直径上标出点C，使得AC等于a，CB等于b。然后过点C作垂线，交半圆于点D。根据几何性质，CD等于根号ab，这就是几何平均数。而半径等于二分之a加b，这是算术平均数。因为CD小于或等于半径，所以根号ab小于或等于二分之a加b。
基本不等式有两个主要应用类型。第一类是求最值问题，当积为定值时和有最小值，当和为定值时积有最大值。例如，求x加x分之一的最小值，其中x大于零。根据基本不等式，x加x分之一大于或等于二倍根号x乘以x分之一等于二。当x等于一时取得最小值二。第二类是证明不等式，比如证明a平方加b平方大于或等于二ab。
让我们总结一下基本不等式的要点。基本不等式是二分之a加b大于或等于根号ab，其中a和b必须为正数。使用时要注意：a和b必须为正数，等号成立当且仅当a等于b。主要应用包括求函数的最值、证明不等式和解决实际问题中的优化问题。使用时要注意检查变量的取值范围，确认等号成立的条件，注意题目要求的是最大值还是最小值。
现在我们从几何和代数两个角度推导基本不等式。几何推导：考虑边长为二分之a加b的正方形，其面积为四分之a加b的平方。再考虑长为a、宽为b的矩形，其面积为ab。由于正方形面积大于或等于矩形面积，我们得到基本不等式。代数推导：从a减b的平方大于或等于零开始，展开得到a平方减二ab加b平方大于或等于零，即a平方加b平方大于或等于二ab，进而得到基本不等式。
现在我们深入理解等号成立的条件。基本不等式中等号成立的充要条件是a等于b。我们来证明这个结论。充分性：如果a等于b，那么算术平均数等于a，几何平均数也等于a，所以等号成立。必要性：如果等号成立，即算术平均数等于几何平均数，通过代数运算可以得到a减b的平方等于零，因此a等于b。通过动态图表可以看到，当a接近b时，两个平均数的差值趋向于零。
基本不等式有两种基本应用技巧。第一种是积定和最小：当两个正数的乘积为常数时，它们的和有最小值。第二种是和定积最大：当两个正数的和为常数时，它们的乘积有最大值。我们通过一个典型例题来说明。求函数f(x)等于x加x分之四的最小值，其中x大于零。根据基本不等式，f(x)大于或等于二倍根号x乘以x分之四等于四。当x等于x分之四即x等于二时取等号，所以最小值为四。从函数图像可以看出，在x等于二处确实取得最小值四。
基本不等式有多种重要的变形形式，扩展了应用范围。第一种是倒数形式，适用于分式最值问题。第二种是平方形式，常用于证明不等式。第三种是三元形式，用于处理多变量问题。我们通过一个实例来说明倒数形式的应用。已知x加y等于一，x和y都大于零，求x分之一加y分之一的最小值。通过变形和基本不等式，可以得到最小值为四。从函数图像可以看出，当x等于二分之一时确实取得最小值。