>>31
何を主張しているのかがいまいちわからない。
(x,y)∈D_a⇒1≦a≦2なる任意のaについてx^2-ax+a≦-x^2+3a
は成り立つよ。その逆は（当然だが）成り立たない。

>>32
何が違うのかわからないが、お前さんの日本語を俺が正しく読み取れてるならば
お前さんが求めてる答えは>>29が出している。

>>33
そう。