显然不等式

昔有丁真，于数学课上。是时遇一题，师解，丁真立而曰：“吾之解异也。”

师曰：“善，汝前而说之。”

丁真出坐，后向绕行至前，其步缓而形悠，面略喜色，有仙人之意。少顷登台，持卷搔首而对曰：“吾之忘矣。写于卷，请回而取之。”许，遂回。

既寻卷，丁真再曰：“吾已寻矣。”师曰：“善，汝前而说之。”丁真复后向绕行如前，少顷再登台，对卷视之，反覆而不语，众以为异，适时丁真曰：“卷无。盖写于草纸，请回而取之。”许。

及寻，复又登台，曰：“吾用之法，不知何名也。”遂书之，所谓 $x^2+y^2\ge 2xy$ 者也，众曰：“此命之显然不等式也”。丁真曰：“善。所谓显然不等式者也，用之可通此题。”遂下台。