При естественном предположении q( - - q +)5г 0 имеем f, (yj) 0. А это означает, что fo(yi), а вместе с ней и Q(x, у) — выпуклые вниз функции yj.