对于任意(y1, y2)∈R² s.t. a²y1² + b²y2² ≤ 1，任取(x1, x2)∈E
我们有(x1y1+x2y2)² ≤ (x1²/a² + x2²/b²)(a²y1² + b²y2²) ≤ 1
对于任意(y1, y2)∈R² s.t. a²y1² + b²y2² = m > 1
令y1 = 根号m·cosθ/a, y2 = 根号m·sinθ/b
考虑E中的(x1, x2) = (acosθ, bsinθ)
此时x1y1+x2y2 = 根号m > 1
因此E* = {(y1, y2)∈R² | a²y1² + b²y2² ≤ 1}
把a²y1²看成y1²/(1/a)²，不难发现E** = E
我们有(x1y1+x2y2)² ≤ (x1²/a² + x2²/b²)(a²y1² + b²y2²) ≤ 1
对于任意(y1, y2)∈R² s.t. a²y1² + b²y2² = m > 1
令y1 = 根号m·cosθ/a, y2 = 根号m·sinθ/b
考虑E中的(x1, x2) = (acosθ, bsinθ)
此时x1y1+x2y2 = 根号m > 1
因此E* = {(y1, y2)∈R² | a²y1² + b²y2² ≤ 1}
把a²y1²看成y1²/(1/a)²，不难发现E** = E
