Áp dụng BĐT Cauchy - Schwarz (còn gọi là BĐT Bunhiacopsky) ta có:
(a^2+b^2)(x^2+y^2) >= (ax+by) ^2
Đẳng thức xảy ra <=> a/x = b/y
=> ĐPCM
còn nếu CM thì:
(a^2+b^2)(x^2+y^2) = (ax+by)^2
<=> (ax)^2 + (bx)^2 + (ay)^2 + (by)^2 = (ax)^2 + (by)^2 + 2ax.by
<=> (bx)2 - 2bx.ay + (ay)^2 = 0
<=> (bx - ay)^2 = 0
<=> bx - ay =0
<=> bx = ay
<=> a/x = b/y (dpcm)