上に凸な関数と下に凸な関数が一点のみ共有する時は接するときである
これってグラフから明らかってことで言及無く用いても良いですか