Topological Vector Spaces, V, p. 62
Let E be a real hilbertian space, B a bilinear form on E×E, c1,c2 two numbers >0 such that
∣B(x,y)∣≤c1∥x∥⋅∥y∥for every x,y in E;∣B(x,x)∣≥c2∥x∥2for every x∈E.
Show that for every continuous linear form f on E, there exists a unique element xf∈E (resp. yf∈E) such that f(x)=B(xf,x) (resp. f(x)=B(x,yf)) for every x∈E.