18≤2(a[SUP]2[/SUP]+b[SUP]2[/SUP]+c[SUP]2[/SUP])(a[SUP]-2[/SUP]+b[SUP]-2[/SUP]+c[SUP]-2[/SUP])
18≤(2a[SUP]2[/SUP]+2b[SUP]2[/SUP]+2c[SUP]2[/SUP])(a[SUP]-2[/SUP]+b[SUP]-2[/SUP]+c[SUP]-2[/SUP])
18≤ (2bc+2ac+2ab)(a[SUP]-2[/SUP]+b[SUP]-2[/SUP]+c[SUP]-2[/SUP])
9≤(a[SUP]-2[/SUP]+b[SUP]-2[/SUP]+c[SUP]-2[/SUP])
20≤2+2(a[SUP]-2[/SUP]+b[SUP]-2[/SUP]+c[SUP]-2[/SUP])
20≤2(ab+bc+ca)+(a[SUP]-2[/SUP]+b[SUP]-2[/SUP]+c[SUP]-2[/SUP])
20≤2(a[SUP]2[/SUP]+b[SUP]2[/SUP]+c[SUP]2[/SUP])2+(a[SUP]-2[/SUP]+b[SUP]-2[/SUP]+c[SUP]-2[/SUP])
10≤(a[SUP]2[/SUP]+b[SUP]2[/SUP]+c[SUP]2[/SUP])+(a[SUP]-2[/SUP]+b[SUP]-2[/SUP]+c[SUP]-2[/SUP])
6≤2(a/b+b/c+c/a)
این هم که حکم مسئله است 16≤2a/b+2b/c+2c/a+a[SUP]2[/SUP]+b[SUP]2[/SUP]+c[SUP]2[/SUP]+a[SUP]-2[/SUP]+b[SUP]-2[/SUP]+c[SUP]-2[/SUP]