demonter que a²+b²>=2ab