質問です。関数の凸性を利用する解答は凸性に関する諸定理を証明せずに使っても良いのでしょうか？
例えば　fが下に凸　⇔　f((x[1]+x[2]+ ... + x[n])/n)≦(f(x[1])+f(x[2])+ ... +f(x[n]))/n
という不等式を証明なしに用いて減点されないでしょうか？