ってか今考えてて思ったんだが、
滑らかな境界をもつR^nの凸な部分集合Sがある。
（ここではとりあえず二次元で）
Sの境界で接線を引いたとき、Sは接線の片側にあることを示せ。
逆は成り立つか？
ってまあ定義の確認だけど結構めんどくさいな。