more on reverse triangle inequality in inner product...

12
MORE ON REVERSE TRIANGLE INEQUALITY IN INNER PRODUCT SPACES A. H. ANSARI AND M. S. MOSLEHIAN Received 8 February 2005 and in revised form 17 May 2005 Refining some results of Dragomir, several new reverses of the generalized triangle in- equality in inner product spaces are given. Among several results, we establish some re- verses for the Schwarz inequality. In particular, it is proved that if a is a unit vector in a real or complex inner product space (H ; ·, ·), r , s> 0, p (0, s], D ={x H , rx sap}, x 1 , x 2 D −{0}, and α r ,s = min{(r 2 x k 2 p 2 + s 2 )/ 2rsx k :1 k 2}, then (x 1 x 2 Rex 1 , x 2 )/ (x 1 + x 2 ) 2 α r ,s . 1. Introduction It is interesting to know under which conditions the triangle inequality went the other way in a normed space X ; in other words, we would like to know if there is a positive constant c with the property that c n k=1 x k n k=1 x k for any finite set x 1 , ... , x n X . Nakai and Tada [7] proved that the normed spaces with this property are precisely those of finite dimensional. The first authors investigating reverse of the triangle inequality in inner product spaces were Diaz and Metcalf [2] by establishing the following result as an extension of an in- equality given by Petrovich [8] for complex numbers. Theorem 1.1 (Diaz-Metcalf theorem). Let a be a unit vector in an inner product space (H ; ·, ·). Suppose the vectors x k H , k ∈{1, ... , n} satisfy 0 r Re x k , a x k , k ∈{1, ... , n}. (1.1) Then r n k=1 x k n k=1 x k , (1.2) Copyright © 2005 Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences 2005:18 (2005) 2883–2893 DOI: 10.1155/IJMMS.2005.2883

Upload: others

Post on 14-Jul-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: More on reverse triangle inequality in inner product spacesdownloads.hindawi.com/journals/ijmms/2005/454160.pdf · Received 8 February 2005 and in revised form 17 May 2005 Refining

MORE ON REVERSE TRIANGLE INEQUALITY ININNER PRODUCT SPACES

A. H. ANSARI AND M. S. MOSLEHIAN

Received 8 February 2005 and in revised form 17 May 2005

Refining some results of Dragomir, several new reverses of the generalized triangle in-equality in inner product spaces are given. Among several results, we establish some re-verses for the Schwarz inequality. In particular, it is proved that if a is a unit vector ina real or complex inner product space (H ;〈·,·〉), r,s > 0, p ∈ (0,s], D = {x ∈ H ,‖rx−sa‖ ≤ p}, x1,x2 ∈D−{0}, and αr,s =min{(r2‖xk‖2− p2 + s2)/2rs‖xk‖ : 1≤ k ≤ 2}, then(‖x1‖‖x2‖−Re〈x1,x2〉)/(‖x1‖+‖x2‖)2 ≤ αr,s.

1. Introduction

It is interesting to know under which conditions the triangle inequality went the otherway in a normed space X ; in other words, we would like to know if there is a positiveconstant c with the property that c

∑nk=1‖xk‖ ≤ ‖

∑nk=1 xk‖ for any finite set x1, . . . ,xn ∈ X .

Nakai and Tada [7] proved that the normed spaces with this property are precisely thoseof finite dimensional.

The first authors investigating reverse of the triangle inequality in inner product spaceswere Diaz and Metcalf [2] by establishing the following result as an extension of an in-equality given by Petrovich [8] for complex numbers.

Theorem 1.1 (Diaz-Metcalf theorem). Let a be a unit vector in an inner product space(H ;〈·,·〉). Suppose the vectors xk ∈H , k ∈ {1, . . . ,n} satisfy

0≤ r ≤ Re⟨xk,a

⟩∥∥xk∥∥ , k ∈ {1, . . . ,n}. (1.1)

Then

rn∑

k=1

∥∥xk∥∥≤∥∥∥∥∥

n∑k=1

xk

∥∥∥∥∥, (1.2)

Copyright © 2005 Hindawi Publishing CorporationInternational Journal of Mathematics and Mathematical Sciences 2005:18 (2005) 2883–2893DOI: 10.1155/IJMMS.2005.2883

Page 2: More on reverse triangle inequality in inner product spacesdownloads.hindawi.com/journals/ijmms/2005/454160.pdf · Received 8 February 2005 and in revised form 17 May 2005 Refining

2884 Reverse triangle inequality

where equality holds if and only if

n∑k=1

xk = rn∑

k=1

∥∥xk∥∥a. (1.3)

Inequalities related to the triangle inequality are of special interest (cf. [6, ChapterXVII]). They may be applied to get interesting inequalities in complex numbers or tostudy vector-valued integral inequalities [4, 5].

Using several ideas and following the terminology of [4, 5], we modify or refine someresults of Dragomir and ours [1] and get some new reverses of triangle inequality. Amongseveral results, we show that if a is a unit vector in a real or complex inner productspace (H ;〈·,·〉), xk ∈ H − {0}, 1 ≤ k ≤ n, α =min{‖xk‖ : 1 ≤ k ≤ n}, p ∈ (0,

√α2 + 1),

max{‖xk − a‖ : 1≤ k ≤ n} ≤ p, and β =min{(‖xk‖2− p2 + 1)/2‖xk‖ : 1≤ k ≤ n}, then

n∑k=1

∥∥xk∥∥−∥∥∥∥∥

n∑k=1

xk

∥∥∥∥∥≤ 1−β

βRe

⟨ n∑k=1

xk,a

⟩. (1.4)

We also examine some reverses for the celebrated Schwarz inequality. In particular, it isproved that if a is a unit vector in a real or complex inner product space (H ;〈·,·〉), r,s > 0,p ∈ (0,s], D = {x ∈H ,‖rx− sa‖ ≤ p}, x1,x2 ∈ D−{0}, and αr,s =min{(r2‖xk‖2− p2 +s2)/2rs‖xk‖ : 1≤ k ≤ 2}, then

∥∥x1∥∥∥∥x2

∥∥−Re⟨x1,x2

⟩(∥∥x1

∥∥+∥∥x2

∥∥)2 ≤ αr,s. (1.5)

Throughout the paper, (H ;〈·,·〉) denotes a real or complex inner product space. Weuse repeatedly the Cauchy-Schwarz inequality without mentioning it. The reader is re-ferred to [3, 9] for the terminology on inner product spaces.

2. Reverse of triangle inequality

We start this section by pointing out the following theorem of [1] which is a modificationof [5, Theorem 3].

Theorem 2.1. Let a1, . . . ,am be orthonormal vectors in the complex inner product space(H ;〈·,·〉). Suppose that for 1≤ t ≤m, rt,ρt ∈ R, and that the vectors xk ∈H , k ∈ {1, . . . ,n}satisfy

0≤ r2t

∥∥xk∥∥≤ Re⟨xk,rtat

⟩, 0≤ ρ2

t

∥∥xk∥∥≤ Im⟨xk,ρtat

⟩, 1≤ t ≤m. (2.1)

Then

( m∑t=1

(r2t + ρ2

t

))1/2 n∑k=1

∥∥xk∥∥≤∥∥∥∥∥

n∑k=1

xk

∥∥∥∥∥ (2.2)

Page 3: More on reverse triangle inequality in inner product spacesdownloads.hindawi.com/journals/ijmms/2005/454160.pdf · Received 8 February 2005 and in revised form 17 May 2005 Refining

A. H. Ansari and M. S. Moslehian 2885

and the equality holds in (2.2) if and only if

n∑k=1

xk =n∑

k=1

∥∥xk∥∥m∑t=1

(rt + iρt

)at. (2.3)

The following theorem is a strengthen of [5, Corollary 1] and a generalization of [1,Theorem 2].

Theorem 2.2. Let a be a unit vector in the complex inner product space (H ;〈·,·〉). Supposethat the vectors xk ∈H −{0}, k ∈ {1, . . . ,n} satisfy

max{∥∥rxk − sa

∥∥ : 1≤ k ≤ n}≤ p, max

{∥∥r′xk − is′a∥∥ : 1≤ k ≤ n

}≤ q, (2.4)

where r,r′,s,s′ > 0 and

p ≤ ((rα)2 + s2)1/2, q ≤ ((r′α)2 + s′2

)1/2,

α=min{∥∥xk∥∥ : 1≤ k ≤ n

}.

(2.5)

Let

αr,s =min

{r2∥∥xk∥∥2− p2 + s2

2rs∥∥xk∥∥ : 1≤ k ≤ n

},

βr′,s′ =min

{r′2∥∥xk∥∥2− q2 + s′2

2r′s′∥∥xk∥∥ : 1≤ k ≤ n

}.

(2.6)

Then

(α2r,s +β2

r′,s′)1/2

n∑k=1

∥∥xk∥∥≤∥∥∥∥∥

n∑k=1

xk

∥∥∥∥∥ (2.7)

and the equality holds if and only if

n∑k=1

xk =(αr,s + iβr′,s′

) n∑k=1

∥∥xk∥∥a. (2.8)

Proof. From the first inequality above, we infer that⟨rxk − sa,rxk − sa

⟩≤ p2,

r2∥∥xk∥∥2

+ s2− p2 ≤ 2Re⟨rxk,sa

⟩.

(2.9)

Then

r2∥∥xk∥∥2

+ s2− p2

2rs∥∥xk∥∥

∥∥xk∥∥≤ Re⟨xk,a

⟩. (2.10)

Similarly,

r′2∥∥xk∥∥2− q2 + s′2

2r′s′∥∥xk∥∥

∥∥xk∥∥≤ Im⟨xk,a

⟩, (2.11)

Page 4: More on reverse triangle inequality in inner product spacesdownloads.hindawi.com/journals/ijmms/2005/454160.pdf · Received 8 February 2005 and in revised form 17 May 2005 Refining

2886 Reverse triangle inequality

consequently,

αr,s∥∥xk∥∥≤ Re

⟨xk,a

⟩,

βr′,s′∥∥xk∥∥≤ Im

⟨xk,a

⟩.

(2.12)

Applying Theorem 2.1 for m= 1, r1 = αr,s, and ρ1 = βr′,s′ , we deduce the desired inequal-ity. �

The next result is an extension of [1, Corollary 3].

Corollary 2.3. Let a be a unit vector in the complex inner product space (H ;〈·,·〉). Sup-pose that xk ∈H , k ∈ {1, . . . ,n}, max{‖rxk − sa‖ : 1 ≤ k ≤ n} ≤ r, max{‖rxk − isa‖ : 1 ≤k ≤ n} ≤ s, where r > 0, s > 0, and α=min{‖xk‖ : 1≤ k ≤ n}. Then

s√

2

n∑k=1

∥∥xk∥∥≤∥∥∥∥∥

n∑k=1

xk

∥∥∥∥∥. (2.13)

The equality holds if and only if

n∑k=1

xk = rα(1 + i)

2s

n∑k=1

∥∥xk∥∥a. (2.14)

Proof. Apply Theorem 2.2 with r = r′, s = s′, p = r, q = s. Note that αr,s = rα/2s = βr′,s′ .�

Theorem 2.4. Let a be a unit vector in (H ;〈·,·〉). Suppose that the vectors xk ∈ H , k ∈{1, . . . ,n} satisfy

max{∥∥rxk − sa

∥∥ : 1≤ k ≤ n}≤ p <

((rα)2 + s2)1/2

, (2.15)

where r > 0, s > 0 and

α= min1≤k≤n

∥∥xk∥∥. (2.16)

Let

αr,s =min

{r2∥∥xk∥∥2− p2 + s2

2rs∥∥xk∥∥ : 1≤ k ≤ n

}. (2.17)

Then

αr,s

n∑k=1

∥∥xk∥∥≤∥∥∥∥∥

n∑k=1

xk

∥∥∥∥∥. (2.18)

Moreover, the equality holds if and only if

n∑k=1

xk = αr,s

n∑k=1

∥∥xk∥∥a. (2.19)

Page 5: More on reverse triangle inequality in inner product spacesdownloads.hindawi.com/journals/ijmms/2005/454160.pdf · Received 8 February 2005 and in revised form 17 May 2005 Refining

A. H. Ansari and M. S. Moslehian 2887

Proof. Proof is similar to that of Theorem 2.2 in which we use Theorem 2.1 with m= 1,ρ1 = 0. �

Theorem 2.5. Let a be a unit vector in (H ;〈·,·〉). Suppose that r,s > 0, and vectors xk ∈H −{0}, k ∈ {1, . . . ,n} satisfy

n∑k=1

xk = 0. (2.20)

Then

√r2α2 + s2 ≤max

{∥∥rxk − sa∥∥ : 1≤ n

}, (2.21)

where

α= min1≤k≤n

∥∥xk∥∥. (2.22)

Proof. Let p =max{‖rxk − sa‖ : 1 ≤ k ≤ n}. If p <√r2α2 + s2, then, using Theorem 2.4,

we get

αr,s

n∑k=1

∥∥xk∥∥≤∥∥∥∥∥

n∑k=1

xk

∥∥∥∥∥= 0. (2.23)

Hence αr,s = 0. On the other hand, (p2− s2)/r2 < α2, so

αr,s =min

{r2∥∥xk∥∥2− p2 + s2

2rs∥∥xk∥∥ : 1≤ k ≤ n

}> 0 (2.24)

holds a contradiction. �

Theorem 2.6. Let a1, . . . ,am be orthonormal vectors in the complex inner product space(H ;〈·,·〉), Mt ≥mt > 0, Lt ≥ �t > 0, 1≤ t ≤m, and xk ∈H −{0}, k ∈ {1, . . . ,n} such that

Re⟨Mtat − xk,xk −mtat

⟩≥ 0, Re⟨Ltiat − xk,xk − �tiat

⟩≥ 0, (2.25)

or equivalently

∥∥∥∥∥xk − mt +Mt

2at

∥∥∥∥∥≤ Mt −mt

2,

∥∥∥∥∥xk − Lt + �t2

iat

∥∥∥∥∥≤ Lt − �t2

, (2.26)

for all 1≤ k ≤ n and 1≤ t ≤m. Let

αmt ,Mt =min

{ ∥∥xk∥∥2+mtMt(

mt +Mt)∥∥xk∥∥ : 1≤ k ≤ n

}, 1≤ t ≤m,

α�t ,Lt =min

{ ∥∥xk∥∥2+ �tLt(

mt +Mt)∥∥xk∥∥ : 1≤ k ≤ n

}, 1≤ t ≤m,

(2.27)

Page 6: More on reverse triangle inequality in inner product spacesdownloads.hindawi.com/journals/ijmms/2005/454160.pdf · Received 8 February 2005 and in revised form 17 May 2005 Refining

2888 Reverse triangle inequality

then( m∑

t=1

α2mt ,Mt

+α2�t ,Lt

)1/2 n∑k=1

∥∥xk∥∥≤∥∥∥∥∥

n∑k=1

xk

∥∥∥∥∥. (2.28)

The equality holds if and only if

n∑k=1

xk =( n∑

k=1

∥∥xk∥∥) m∑

t=1

(αmt ,Mt + iα�t ,Lt

)at. (2.29)

Proof. Given 1≤ t ≤m and all 1≤ k ≤ n, it follows from ‖xk − ((mt +Mt)/2)at‖ ≤ (Mt −mt)/2 that

∥∥xk∥∥2+mtMt ≤

(mt +Mt

)Re⟨xk,at

⟩. (2.30)

Then ∥∥xk∥∥2+mtMt(

mt +Mt)∥∥xk∥∥

∥∥xk∥∥≤ Re⟨xk,at

⟩, (2.31)

and so

αmt ,Mt

∥∥xk∥∥≤ Re⟨xk,at

⟩. (2.32)

Similarly, from the second inequality, we deduce that

α�t ,Lt∥∥xk∥∥≤ Im

⟨xk,at

⟩. (2.33)

Applying Theorem 2.5 for rt = αmt ,Mt and ρt = α�t ,Lt , we obtain the required inequality.�

We will need [4, Theorem 7]. We mention it for the sake of completeness.

Theorem 2.7. Let a be a unit vector in (H ;〈·,·〉), and xk ∈ H − {0}, k ∈ {1, . . . ,n}. Ifrk ≥ 0, k ∈ {1, . . . ,n} such that

∥∥xk∥∥−Re⟨xk,a

⟩≤ rk, (2.34)

then

n∑k=1

∥∥xk∥∥−∥∥∥∥∥

n∑k=1

xk

∥∥∥∥∥≤n∑

k=1

rk. (2.35)

The equality holds if and only if

n∑k=1

∥∥xk∥∥≥n∑

k=1

rk,

n∑k=1

xk =( n∑

k=1

∥∥xk∥∥−n∑

k=1

rk

)a.

(2.36)

Page 7: More on reverse triangle inequality in inner product spacesdownloads.hindawi.com/journals/ijmms/2005/454160.pdf · Received 8 February 2005 and in revised form 17 May 2005 Refining

A. H. Ansari and M. S. Moslehian 2889

Theorem 2.8. Let a be a unit vector in (H ;〈·,·〉), and xk ∈H −{0}, k ∈ {1, . . . ,n}. Let

α=min{∥∥xk∥∥ : 1≤ k ≤ n

}, p ∈ (0,

√α2 + 1

), max

{∥∥xk − a∥∥ : 1≤ k ≤ n

}≤ p,

β =min

{∥∥xk∥∥2− p2 + 12∥∥xk∥∥ : 1≤ k ≤ n

}.

(2.37)

Then

n∑k=1

∥∥xk∥∥−∥∥∥∥∥

n∑k=1

xk

∥∥∥∥∥≤ 1−β

βRe

⟨ n∑k=1

xk,a

⟩. (2.38)

The equality holds if and only if

n∑k=1

∥∥xk∥∥≥ 1−β

βRe

⟨ n∑k=1

xk,a

⟩,

n∑k=1

xk =( n∑

k=1

∥∥xk∥∥− 1−β

βRe

⟨ n∑k=1

xk,a

⟩)a.

(2.39)

Proof. Since max{‖xk − a‖ : 1≤ k ≤ n} ≤ p, we have

⟨xk − a,xk − a

⟩≤ p2,∥∥xk∥∥2

+ 1− p2 ≤ 2Re⟨xk,a

⟩,∥∥xk∥∥2− p2 + 1

2∥∥xk∥∥

∥∥xk∥∥≤ Re⟨xk,a

⟩, β

∥∥xk∥∥≤ Re⟨xk,a

⟩,

∥∥xk∥∥≤ 1β

Re⟨xk,a

⟩,

(2.40)

for all k ∈ {1, . . . ,n}. Then

∥∥xk∥∥−Re⟨xk,a

⟩≤ 1−β

βRe⟨xk,a

⟩, k ∈ {1, . . . ,n}. (2.41)

Applying Theorem 2.7 for rk = ((1−β)/β)Re〈xk,a〉, k ∈ {1, . . . ,n}, we deduce the desiredinequality. �

As a corollary, we obtain a result similar to [4, Theorem 9].

Corollary 2.9. Let a be a unit vector in (H ;〈·,·〉), and xk ∈H −{0}, k ∈ {1, . . . ,n}. Let

max{∥∥xk − a

∥∥ : 1≤ k ≤ n}≤ 1,

α=min{∥∥xk∥∥ : 1≤ k ≤ n

}.

(2.42)

Then

n∑k=1

∥∥xk∥∥−∥∥∥∥∥

n∑k=1

xk

∥∥∥∥∥≤ 2−α

αRe

⟨ n∑k=1

xk,a

⟩. (2.43)

Page 8: More on reverse triangle inequality in inner product spacesdownloads.hindawi.com/journals/ijmms/2005/454160.pdf · Received 8 February 2005 and in revised form 17 May 2005 Refining

2890 Reverse triangle inequality

The equality holds if and only if

n∑k=1

∥∥xk∥∥≥ 2−α

αRe

⟨ n∑k=1

xk,a

⟩,

n∑k=1

xk =( n∑

k=1

∥∥xk∥∥− 2−α

αRe

⟨ n∑k=1

xk,a

⟩)a.

(2.44)

Proof. Apply Theorem 2.8 with β = α/2. �

Theorem 2.10. Let a be a unit vector in (H ;〈·,·〉), M ≥m > 0, and xk ∈ H − {0}, k ∈{1, . . . ,n} such that

Re⟨Ma− xk,xk −ma

⟩≥ 0 (2.45)

or equivalently∥∥∥∥xk − m+M

2a∥∥∥∥≤ M−m

2. (2.46)

Let

αm,M =min

{ ∥∥xk∥∥2+mM

(m+M)∥∥xk∥∥ : 1≤ k ≤ n

}. (2.47)

Then

n∑k=1

∥∥xk∥∥−∥∥∥∥∥

n∑k=1

xk

∥∥∥∥∥≤ 1−αm,M

αm,MRe

⟨ n∑k=1

xk,a

⟩. (2.48)

The equality holds if and only if

n∑k=1

∥∥xk∥∥≥ 1−αm,M

αm,MRe

⟨ n∑k=1

xk,a

⟩,

n∑k=1

xk =( n∑

k=1

∥∥xk∥∥− 1−αm,M

αm,MRe

⟨ n∑k=1

xk,a

⟩)a.

(2.49)

Proof. For each 1≤ k ≤ n, it follows from the inequality∥∥∥∥xk − m+M

2a∥∥∥∥≤ M−m

2(2.50)

that⟨xk − m+M

2a,xk − m+M

2a�≤(M−m

2

)2

. (2.51)

Hence

∥∥xk∥∥2+mM ≤ (m+M)Re

⟨xk,a

⟩. (2.52)

Page 9: More on reverse triangle inequality in inner product spacesdownloads.hindawi.com/journals/ijmms/2005/454160.pdf · Received 8 February 2005 and in revised form 17 May 2005 Refining

A. H. Ansari and M. S. Moslehian 2891

So that

αm,M∥∥xk∥∥≤ Re

⟨xk,a

⟩, (2.53)

consequently

∥∥xk∥∥−Re⟨xk,a

⟩≤ 1−αm,M

αm,MRe⟨xk,a

⟩. (2.54)

Now apply Theorem 2.7 for rk = ((1−αm,M)/αm,M)Re〈xk,a〉, k ∈ {1, . . . ,n}. �

3. Reverses of Schwarz inequality

In this section, we provide some reverses of the Schwarz inequality. The first theorem isan extension of [4, Proposition 5.1].

Theorem 3.1. Let a be a unit vector in (H ;〈·,·〉). Suppose that r,s > 0, p ∈ (0,s], and

D = {x ∈H ,‖rx− sa‖ ≤ p}. (3.1)

If 0 = x1 ∈D, 0 = x2 ∈D, then

∥∥x1∥∥∥∥x2

∥∥−Re⟨x1,x2

⟩(∥∥x1

∥∥+∥∥x2

∥∥)2 ≤ 12

(1−

(r2∥∥x1

∥∥2− p2 + s2

2rs∥∥x1

∥∥)2)

(3.2)

or

∥∥x1∥∥∥∥x2

∥∥−Re⟨x1,x2

⟩(∥∥x1

∥∥+∥∥x2

∥∥)2 ≤ 12

(1−

(r2∥∥x2

∥∥2− p2 + s2

2rs∥∥x2

∥∥)2). (3.3)

Proof. Put αr,s =min{(r2‖xk‖2 − p2 + s2)/2rs‖xk‖ : 1 ≤ k ≤ 2}. By Theorem 2.4, we ob-tain

αr,s(∥∥x1

∥∥+∥∥x2

∥∥)≤ ∥∥x1 + x2∥∥. (3.4)

Then

α2r,s

(∥∥x1∥∥2

+ 2∥∥x1

∥∥∥∥x2∥∥+

∥∥x2∥∥2)≤ ∥∥x1

∥∥2+ 2Re

⟨x1,x2

⟩+∥∥x2

∥∥2. (3.5)

Set α2r,s = 1− t2. Then

∥∥x1∥∥∥∥x2

∥∥−Re⟨x1,x2

⟩(∥∥x1

∥∥+∥∥x2

∥∥)2 ≤ 12t2, (3.6)

namely,

∥∥x1∥∥∥∥x2

∥∥−Re⟨x1,x2

⟩(∥∥x1

∥∥+∥∥x2

∥∥)2 ≤ 12

(1−α2

r,s

). (3.7)

Page 10: More on reverse triangle inequality in inner product spacesdownloads.hindawi.com/journals/ijmms/2005/454160.pdf · Received 8 February 2005 and in revised form 17 May 2005 Refining

2892 Reverse triangle inequality

Corollary 3.2. Let a be a unit vector in (H ;〈·,·〉). Suppose that r,s > 0 and

D = {x ∈H ,‖rx− sa‖ ≤ s}. (3.8)

If x, y ∈D and 0 < ‖x‖ < ‖y‖, then

‖x‖‖y‖−Re〈x, y〉(‖x‖+‖y‖)2 ≤ 12

(1−

(r‖x‖

2s

)2). (3.9)

Proof. In the notation of the proof of Theorem 3.1, we get from p = s, x1 = x, x2 = y thatαr,s = r‖x‖/2s. Now apply Theorem 3.1. �

Corollary 3.3. Let a be a unit vector in (H ;〈·,·〉), M ≥m> 0, and xk ∈H −{0}, k = 1,2such that

Re⟨Ma− xk,xk −ma

⟩≥ 0 (3.10)

or equivalently

∥∥∥∥xk − m+M

2a∥∥∥∥≤ M−m

2. (3.11)

Then

∥∥x1∥∥∥∥x2

∥∥−Re⟨x1,x2

⟩(∥∥x1

∥∥+∥∥x2

∥∥)2 ≤ 12

(1−

( ∥∥x1∥∥2

+mM

(m+M)∥∥x1

∥∥)2)

(3.12)

or

∥∥x1∥∥∥∥x2

∥∥−Re⟨x1,x2

⟩(∥∥x1

∥∥+∥∥x2

∥∥)2 ≤ 12

(1−

( ∥∥x2∥∥2

+mM

(m+M)∥∥x2

∥∥)2). (3.13)

Proof. Put r = 1, s= (m+M)/2, p = (M−m)/2, x = x1, and y = x2 in Theorem 3.1. �

Acknowledgment

The authors would like to thank the referees for their valuable suggestions.

References

[1] A. H. Ansari and M. S. Moslehian, Refinements of reverse triangle inequalities in inner productspaces, JIPAM. J. Inequal. Pure Appl. Math. 6 (2005), no. 3, article 64.

[2] J. B. Diaz and F. T. Metcalf, A complementary triangle inequality in Hilbert and Banach spaces,Proc. Amer. Math. Soc. 17 (1966), no. 1, 88–97.

[3] S. S. Dragomir, Discrete Inequalities of the Cauchy-Bunyakovsky-Schwarz Type, Nova Science,New York, 2004.

[4] , Reverses of the triangle inequality in inner product spaces, Aust. J. Math. Anal. Appl. 1(2004), no. 2, 1–14, article 7.

[5] , Some reverses of the generalised triangle inequality in complex inner product spaces,Linear Algebra Appl. 402 (2005), 245–254.

Page 11: More on reverse triangle inequality in inner product spacesdownloads.hindawi.com/journals/ijmms/2005/454160.pdf · Received 8 February 2005 and in revised form 17 May 2005 Refining

A. H. Ansari and M. S. Moslehian 2893

[6] D. S. Mitrinovic, J. E. Pecaric, and A. M. Fink, Classical and New Inequalities in Analysis, Math-ematics and Its Applications (East European Series), vol. 61, Kluwer Academic, Dordrecht,1993.

[7] M. Nakai and T. Tada, The reverse triangle inequality in normed spaces, New Zealand J. Math.25 (1996), no. 2, 181–193.

[8] M. Petrovich, Module d’une somme, L’Ensignement Mathematique 19 (1917), no. 1/2, 53–56(French).

[9] Th. M. Rassias (ed.), Inner Product Spaces and Applications, Pitman Research Notes in Mathe-matics Series, vol. 376, Longman, Harlow, 1997.

A. H. Ansari: Department of Mathematics, Ferdowsi University, P.O. Box 1159, Mashhad 91775,Iran

E-mail address: arsalan h [email protected]

M. S. Moslehian: Department of Mathematics, Ferdowsi University, P.O. Box 1159, Mashhad91775, Iran

E-mail address: [email protected]

Page 12: More on reverse triangle inequality in inner product spacesdownloads.hindawi.com/journals/ijmms/2005/454160.pdf · Received 8 February 2005 and in revised form 17 May 2005 Refining

Submit your manuscripts athttp://www.hindawi.com

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical Problems in Engineering

Hindawi Publishing Corporationhttp://www.hindawi.com

Differential EquationsInternational Journal of

Volume 2014

Applied MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical PhysicsAdvances in

Complex AnalysisJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

OptimizationJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Operations ResearchAdvances in

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Function Spaces

Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of Mathematics and Mathematical Sciences

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Algebra

Discrete Dynamics in Nature and Society

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Decision SciencesAdvances in

Discrete MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com

Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Stochastic AnalysisInternational Journal of