Cauchy - Schwarz integral eşitsizliğine çeşitli ispatlar bulunabilir. Aklımıza geldikçe bu başlığa ekleyebiliriz.
1. İspat:
f ve g fonksiyonlarının [a,b] aralığında integrallenebilir olduğunu düşünerek ispatı yapalım. Her x gerçel sayısı için
0≤(xf(t)+g(t))2
dir. Her iki tarafın [a,b] aralığı üzerinden integrali alınırsa
0≤b∫a(xf(t)+g(t))2dt=x2b∫af2(t)dt+2xb∫af(t)g(t)dt+b∫ag2(t)dt=Ax2+Bx+C
diyelim. Burada A=b∫af2(t)dt, B=2b∫af(t)g(t)dt, C=b∫ag2(t)dt dir.
Her x gerçel sayısı için 0≤Ax2+Bx+C⟺Δ=B2−4AC≤0 dır. Bu eşitsizlikte A,B,C yerine tekrar integral eşitliklerini yazarsak
(b∫af(t)g(t)dt)2≤b∫af2(t)dtb∫ag2(t)dt
sonucuna ulaşılır.
Not: Ayrıca C-S İntegral eşitsizliği Rn nin bir alt bölgesinde tanımlı, reel değerli ve sürekli fonksiyonlar için yazılırsa, çok katlı integrallerde de geçerli olduğu görülebilir. Bunun ispatı da açıkça, yukarıda verdiğimiz gibi yapılır.