Выделите полный квадрат 2y^2-корень из 2y

2y ^ 2 -  2 * y ;

Прибавим число 1 / 4 и вычтем его, для того чтоб выражение не изменило собственного значения и запишем так:

2y ^ 2 -  2 * y + 1 / 4 - 1 / 4 ;

Тут виден квадрат разности:

( 2 * y - 1 / 2) ^ 2 - 1 / 4 ;

Мы выделили квадрат разности, сейчас проверим его: 

2 ^ 2 * y ^ 2 - 2 * (1 / 2) *  2 * y + 1 / 4 - 1 / 4 = 2y ^ 2 -  2 * y - проверка верна.