16.
(2020高一上·淮安期中)
《几何原本》中的几何代数法(用几何方法研究代数问题)成了后世西方数学家处理问题的重要依据,通过这一方法,很多代数公理、定理都能够通过图形实现证明,并称之为“无字证明”.设
,称
为a,b的调和平均数.如图,C为线段AB上的点,且AC=a,CB=b,O为AB中点,以AB为直径作半圆.过点C作AB的垂线,交半圆于D,连结OD,AD,BD.过点C作OD的垂线,垂足为E.则图中线段OD的长度是a,b的算术平均数
,线段CD的长度是a,b的几何平均数
,线段
的长度是a,b的调和平均数
,该图形可以完美证明三者的大小关系为
.