16.
《几何原本》中的几何代数法(用几何方法研究代数问题)成了后世西方数学家处理问题的重要依据,通过这一方法,很多代数公理、定理都能够通过图形实现证明,并称之为“无字证明”.设
![](//math.21cnjy.com/MathMLToImage?mml=%3Cmath+xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F1998%2FMath%2FMathML%22%3E%3Cmi%3Ea%3C%2Fmi%3E%3Cmtext%3E%EF%BC%9E%3C%2Fmtext%3E%3Cmn%3E0%3C%2Fmn%3E%3Cmtext%3E++%EF%BC%8C+%3C%2Fmtext%3E%3Cmi%3Eb%3C%2Fmi%3E%3Cmtext%3E%EF%BC%9E%3C%2Fmtext%3E%3Cmn%3E0%3C%2Fmn%3E%3C%2Fmath%3E)
, 称
![](//math.21cnjy.com/MathMLToImage?mml=%3Cmath+xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F1998%2FMath%2FMathML%22%3E%3Cmfrac%3E%3Cmrow%3E%3Cmn%3E2%3C%2Fmn%3E%3Cmi%3Ea%3C%2Fmi%3E%3Cmi%3Eb%3C%2Fmi%3E%3C%2Fmrow%3E%3Cmrow%3E%3Cmi%3Ea%3C%2Fmi%3E%3Cmo%3E%2B%3C%2Fmo%3E%3Cmi%3Eb%3C%2Fmi%3E%3C%2Fmrow%3E%3C%2Fmfrac%3E%3C%2Fmath%3E)
为a,b的调和平均数.如图,C为线段AB上的点,且AC=a,CB=b,O为AB中点,以AB为直径作半圆.过点C作AB的垂线,交半圆于D,连结OD,AD,BD.过点C作OD的垂线,垂足为E.则图中线段OD的长度是a,b的算术平均数
![](//math.21cnjy.com/MathMLToImage?mml=%3Cmath+xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F1998%2FMath%2FMathML%22%3E%3Cmfrac%3E%3Cmrow%3E%3Cmi%3Ea%3C%2Fmi%3E%3Cmo%3E%2B%3C%2Fmo%3E%3Cmi%3Eb%3C%2Fmi%3E%3C%2Fmrow%3E%3Cmrow%3E%3Cmn%3E2%3C%2Fmn%3E%3C%2Fmrow%3E%3C%2Fmfrac%3E%3C%2Fmath%3E)
, 线段CD的长度是a,b的几何平均数
![](//math.21cnjy.com/MathMLToImage?mml=%3Cmath+xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F1998%2FMath%2FMathML%22%3E%3Cmsqrt%3E%3Cmrow%3E%3Cmi%3Ea%3C%2Fmi%3E%3Cmi%3Eb%3C%2Fmi%3E%3C%2Fmrow%3E%3C%2Fmsqrt%3E%3C%2Fmath%3E)
, 线段
的长度是a,b的调和平均数
![](//math.21cnjy.com/MathMLToImage?mml=%3Cmath+xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F1998%2FMath%2FMathML%22%3E%3Cmfrac%3E%3Cmrow%3E%3Cmn%3E2%3C%2Fmn%3E%3Cmi%3Ea%3C%2Fmi%3E%3Cmi%3Eb%3C%2Fmi%3E%3C%2Fmrow%3E%3Cmrow%3E%3Cmi%3Ea%3C%2Fmi%3E%3Cmo%3E%2B%3C%2Fmo%3E%3Cmi%3Eb%3C%2Fmi%3E%3C%2Fmrow%3E%3C%2Fmfrac%3E%3C%2Fmath%3E)
, 该图形可以完美证明三者的大小关系为
.
![](//tikupic.21cnjy.com/2021/12/22/da/15/da15ce091af9dfb4e3aed3d8bd550ba6_168x98.png)