Вообще-то это верно только при положительных А и В
Тогда квадрат леаой части (А² + 2 * А * В + В²) / 4 , а квадрат правой части - А * В
(А² + 2 * А * В + В²) / 4 - А * В = (А² - 2 * А * В + В²) / 4 = ((А - В)/2)² ≥ 0
равенство достигается только при А = В