x>0かつy≧(1+√2)x