a, b∈R
a・√(1-b^2) + b・√(1-a^2) ≦1