17/07/16 11:45:07.73 kYKIO7xV.net
条件不等式のデータベースを作りたいね。
たとえば、上のような a^2 + b^2 + c^2 + abc = 4 かつ a,b,c>0 のときに成り立つ不等式がいろいろあるけど、
条件を代入して検索したら、それをみたす不等式がずらーっと出てくるような。
17/07/16 11:45:07.73 kYKIO7xV.net
条件不等式のデータベースを作りたいね。
たとえば、上のような a^2 + b^2 + c^2 + abc = 4 かつ a,b,c>0 のときに成り立つ不等式がいろいろあるけど、
条件を代入して検索したら、それをみたす不等式がずらーっと出てくるような。