2002年国际数学家大会会标创设情境、体会感知:ICM2002会标赵爽:弦图ICM2002问题1:同学们能从会标中抽象出什么样的几何图形
赵爽:弦图变化的弦图222abab得当正方形EFGH缩为一个点,即a=b时,这时有222abab观察发现、寻找关系:ab22ab证明:(作差比较法)(,)abR222abab形数几何解释代数证明问题5:当时,能用、分别代替中的、吗
会得到什么结果
b0,0ababa那么a2+b2≥2ab那么a+b≥2(当且仅当a=b时,取“=”号)若aR,bR∈∈若a>0b>0ab运用新知、深入探究:(,)abR222abab形数2(0,0)ababab几何解释代数证明问题6:替换得到的不等式一定成立吗
能否利用不等式的性质进行证明
显然(*)是成立的
当且仅当a=b时,(*)中的等号成立
证明:要证只要证只要证2abab0ab20*求证:2(0,0)ababab20ab代数证明(,)abR222abab形数2(0,0)ababab代数证明几何解释时等号成立ab结论:(0,0)2ababab一般写作:2(0,0)ababab算术平均数几何平均数文字表述:两个正数的算术平均数不小于几何平均数
基本不等式CEOABD我们可以通过弦图给以几何解释,那么也能有它合理的几何解释吗
同学们试着从下图中去发现
222abab0,02ababab问题7:ab动态演示ab设AC=a,BC=b20ab代数证明(,)abR222abab形数(0,0)2ababab代数证明几何解释时等号成立ab几何解释时等号成立ab解:(1)设矩形菜园的长为xm,宽为ym,2xyxy+³2100,xy\+³2()40xy+³等号当且仅当x=y时成立