反证法:
假设a/b+b/a≤2
那么,(a²+b²)/ab≤2ab/ab
因为a>0且b>0,所以可以去掉不等号两边的分母,得到:a²+b²≤2ab
也就是a²+b²-2ab≤0
也就是(a-b)²≤0
因为a,b都是正数,所以(a-b)²>0
因为a不等於b,所以(a-b)²≠0
所以(a-b)²≤0不成立,也就是说开始的假设不成立
所以a/b+b/a>2 是成立的.
反证法:
假设a/b+b/a≤2
那么,(a²+b²)/ab≤2ab/ab
因为a>0且b>0,所以可以去掉不等号两边的分母,得到:a²+b²≤2ab
也就是a²+b²-2ab≤0
也就是(a-b)²≤0
因为a,b都是正数,所以(a-b)²>0
因为a不等於b,所以(a-b)²≠0
所以(a-b)²≤0不成立,也就是说开始的假设不成立
所以a/b+b/a>2 是成立的.