みえさんの計算が合っていると思います.
√{(X1^2+X2^2)(Y1^2+Y2^2)} >= X1Y1+X2Y2
について,
X1Y1+X2Y2 < 0
の時は明らかに成り立つので,
X1Y1+X2Y2 >= 0
のとき,成立するかを考えます.
(X1Y1+X2Y2 = |X1Y1+X2Y2| と書ける)
コーシーシュワルツの不等式より,
(X1^2+X2^2)(Y1^2+Y2^2) >= (X1Y1+X2Y2)^2
なので,両辺の平方根をとり,(0 <= a <= b なら √a <= √b)
√{(X1^2+X2^2)(Y1^2+Y2^2)} >= |X1Y1+X2Y2| = X1Y1+X2Y2
を得るので成立します.