ケース 2. x=0, y=0で、⟨x,y⟩∈Rの場合
内積の定義により
0≤=⟨x−⟨y,y⟩⟨x,y⟩y,x−⟨y,y⟩⟨x,y⟩y⟩ ⟨x,x⟩−⟨y,y⟩⟨x,y⟩⟨x,y⟩−⟨y,y⟩⟨x,y⟩⟨y,x⟩+⟨y,y⟩2⟨x,y⟩2⟨y,y⟩
この時、⟨x,y⟩∈Rなので、⟨x,y⟩=⟨y,x⟩=⟨y,x⟩である。したがって
0≤==⟨x,x⟩−2⟨y,y⟩⟨x,y⟩⟨x,y⟩+⟨y,y⟩2⟨x,y⟩2⟨y,y⟩ ⟨x,x⟩−2⟨y,y⟩⟨x,y⟩2+⟨y,y⟩⟨x,y⟩2 ⟨x,x⟩−⟨y,y⟩⟨x,y⟩2
この時、⟨y,y⟩>0なので、両辺にかければ
⟹⟹0≤⟨x,y⟩2≤∣⟨x,y⟩∣≤⟨x,x⟩⟨y,y⟩−⟨x,y⟩2⟨x,x⟩⟨y,y⟩⟨x,x⟩1/2⟨y,y⟩1/2
ケース 3. x=0, y=0で、⟨x,y⟩∈Cの場合
∣λ∣=1で、λ⟨x,y⟩∈[0,∞)を満たすλ∈Cを一つ選ぼう。すると
∣⟨x,y⟩∣=∣λ∣∣⟨x,y⟩∣=∣λ⟨x,y⟩∣=λ⟨x,y⟩=⟨λx,y⟩
よって、ケース 2により
∣⟨x,y⟩∣=≤= ⟨λx,y⟩⟨λx,λx⟩1/2⟨y,y⟩1/2 ⟨x,x⟩1/2⟨y,y⟩1/2