从基本不等式的几何证明谈起
我们来看一道题目。［例题1］设a、b为正实数，用几何图形证明：
基本不等式
图片
题目要求我们证明的是一个很重要的基本不等式。
对此，只须联想到半圆的弓形角是直角及弦高定理的图形性质，就不难完成解题了(图3).
图3
上图的内涵很丰富，我们可以细细品味。半圆所对的弦AB是⊙O的直径，O是圆心。半径OD与圆周交于D点。从D点作垂线CD⊥AB，垂足是C。
因为直径所对的圆周角都是直角，所以三角形ABD是直角三角形，CD是直角三角形斜边上的高。图上A、B、C、D四个点可以构成三个直角三角形，而且这三个直角三角形彼此之间两两相似。(同学们自己思考为什么两两相似？)
图中AC=a，CB=b，半径OD=½(a b)，CD=根号ab。
为什么CD=根号ab呢？这可以用相似三角形对应线段成比例来说明。连接AD和BD，立刻得到三个彼此相似的直角三角形。于是有
AC:CD=CD:CB，⇒CD²=ab，(CD是比例中项)，所以
CD=根号ab。
图3可以直观地看到，基本不等式的左边是半径，是直角三角形的斜边，基本不等式的右边是直角边，当然小于斜边。那么，什么时候基本不等式取等号呢？只有旋转半径OD，使其和直径AB垂直时，此时垂足C和圆心O重合，a=b，基本不等式可以取等号。基本不等式的意义是算术平均数大于等于几何平均数。
在直角三角形ABD中，三条高有怎样的数量关系呢？如果用h表示斜边上的高CD，那就可以用一个公式来表达三条高的关系：
a和b是直角边
图片
这个公式被称为弦高定理。举个例子，设直角三角形三边为a=6，b=8，c=10，那么有
