接下来这是勾股定理的一个推广,就是平均不等式,这个平均不等式稍微有点黑幽默,是因为需要相似三角形,你才知道这个 AD 平方等于 xy 。AD 是半条弦,当然半条弦是小于半径的,所以半条弦的平方小于半径的平方是很显然的,前面 xy 等于 AD 平方,它是稍微要有点数学的,所以说这种直观没有一点数学是不可能感受到的。
这张图就比较直观,你看这一块三角形,因为等腰直角三角形,所以 b^2/2 就是面积,右边这块大一点就是 a^2/2 ,显然长方形的面积要比两个三角形的面积小,长方形的面积是 ab ,当然要小,这个就比上一个要更简单一些。