ピンクのところ(x−2y)^2＝0かつy^2＝0じゃだめなんですか？

まだ整理できます。





実数x,yに対して、

(x-2y)²+4y²≧0



等号が成り立つのは、

(x-2y)²=0、かつ、4y²=0

すなわち

x-2y=0,、かつ、y=0

より、

x=y=0

のときに限る。