SlideShare ist ein Scribd-Unternehmen logo
1 von 2
Downloaden Sie, um offline zu lesen
Use |v * w| = ||v||||w||| to prove the triangle inequality ||v + w|| ||v|| + ||w||
Solution
Statement of the inequality The Cauchy–Schwarz inequality states that for all
vectors x and y of an inner product space, |langle x,y angle| ^2 leq langle x,x angle cdot
langle y,y angle where langlecdot,cdot angle is the inner product. Equivalently, by taking
the square root of both sides, and referring to the norms of the vectors, the inequality is written as
|langle x,y angle| leq |x| cdot |y| Moreover, the two sides are equal if and only if x and
y are linearly dependent (or, in a geometrical sense, they are parallel or one of the vectors is
equal to zero). If scriptstyle x_1,, ldots,, x_n,in,mathbb C and scriptstyle y_1,,
ldots,, y_ninmathbb C are any complex numbers and the inner product is the standard inner
product then the inequality may be restated in a more explicit way as follows: |x_1 bar{y}_1 +
cdots + x_n bar{y}_n|^2 leq left(|x_1|^2 + cdots + |x_n|^2 ight) left(|y_1|^2 + cdots +
|y_n|^2 ight) When viewed in this way the numbers x1, …, xn, and y1, …, yn are the
components of x and y with respect to an orthonormal basis of V. Even more compactly written:
left|sum_{i=1}^n x_i bar{y}_i ight|^2 leq left(sum_{j=1}^n |x_j|^2 ight)
left(sum_{k=1}^n |y_k|^2  ight) Equality holds if and only if x and y are linearly dependent,
that is, one is a scalar multiple of the other (which includes the case when one or both are zero).
The finite-dimensional case of this inequality for real vectors was proved by Cauchy in 1821,
and in 1859 Cauchy's student Bunyakovsky noted that by taking limits one can obtain an
integral form of Cauchy's inequality. The general result for an inner product space was obtained
by Schwarz in the year 1885. [edit] Proof Let u, v be arbitrary vectors in a vector space V over F
with an inner product, where F is the field of real or complex numbers. We prove the inequality
big| langle u,v  angle big| leq left|u ight| left|v ight| This inequality is trivial in
the case v = 0, so we may assume from here on that v is nonzero. In fact, as both sides of the
inequality clearly multiply by the same factor ? when v is multiplied by a positive scaling factor
?, it suffices to consider only the case where v is normalized to have magnitude 1, as we shall
assume for convenience in the rest of this section. Any vector can be decomposed into a sum of
components parallel and perpendicular to scriptstyle v; in particular, scriptstyle u can be
decomposed into scriptstyle langle u,, v  angle v ,+, z, where scriptstyle z is a vector
orthogonal to scriptstyle v (this orthogonality can be seen by noting that scriptstyle langle
u,, v  angle ;=; langle langle u,, v  angle v ,+, z,, v  angle ;=; langle u,, v 
angle ,+, langle z,, v  angle, so that scriptstyle langle z,, v  angle ;=; 0).
Accordingly, by the Pythagorean theorem, which is to say, by simply expanding out the
calculation of scriptstyle langle u,, u angle, we find that scriptstyle left|u ight|^2 ;=;
|langle u,, v  angle|^2 ,+, left|z ight|^2 ;geq; |langle u,, v  angle|^2, with
equality if and only if scriptstyle z ;=; 0 (i.e., in the case where scriptstyle u is a multiple of
scriptstyle v). This establishes the theorem or
http://en.wikipedia.org/wiki/Cauchy%E2%80%93Schwarz_inequality

Weitere ähnliche Inhalte

Mehr von admaniimran

What is return on equity What is net profit margin What is total as.pdf
 What is return on equity What is net profit margin What is total as.pdf What is return on equity What is net profit margin What is total as.pdf
What is return on equity What is net profit margin What is total as.pdfadmaniimran
 
What is on a classified balance sheet What is on a classified b.pdf
 What is on a classified balance sheet What is on a classified b.pdf What is on a classified balance sheet What is on a classified b.pdf
What is on a classified balance sheet What is on a classified b.pdfadmaniimran
 
What is depreciation What is depreciation Solu.pdf
 What is depreciation  What is depreciation Solu.pdf What is depreciation  What is depreciation Solu.pdf
What is depreciation What is depreciation Solu.pdfadmaniimran
 
What industry controlled California politics in the late 1800s and .pdf
 What industry controlled California politics in the late 1800s and .pdf What industry controlled California politics in the late 1800s and .pdf
What industry controlled California politics in the late 1800s and .pdfadmaniimran
 
what functions were intergrates into the microfluidic chip projec.pdf
 what functions were intergrates into the microfluidic chip projec.pdf what functions were intergrates into the microfluidic chip projec.pdf
what functions were intergrates into the microfluidic chip projec.pdfadmaniimran
 
What does a Geothermal heating and cooling do (I appreciate it if yo.pdf
 What does a Geothermal heating and cooling do (I appreciate it if yo.pdf What does a Geothermal heating and cooling do (I appreciate it if yo.pdf
What does a Geothermal heating and cooling do (I appreciate it if yo.pdfadmaniimran
 
What does the acronym GIS stands for List any 4 (four) componentss.pdf
 What does the acronym GIS stands for  List any 4 (four) componentss.pdf What does the acronym GIS stands for  List any 4 (four) componentss.pdf
What does the acronym GIS stands for List any 4 (four) componentss.pdfadmaniimran
 
What distribution does the F distribution approach as the sample .pdf
 What distribution does the F distribution approach as the sample .pdf What distribution does the F distribution approach as the sample .pdf
What distribution does the F distribution approach as the sample .pdfadmaniimran
 
What communication skills do business value What communication.pdf
 What communication skills do business value What communication.pdf What communication skills do business value What communication.pdf
What communication skills do business value What communication.pdfadmaniimran
 
What assumptions are made about the population from which indepen.pdf
 What assumptions are made about the population from which indepen.pdf What assumptions are made about the population from which indepen.pdf
What assumptions are made about the population from which indepen.pdfadmaniimran
 
What are the various sources of conflict and politics that have p.pdf
 What are the various sources of conflict and politics that have p.pdf What are the various sources of conflict and politics that have p.pdf
What are the various sources of conflict and politics that have p.pdfadmaniimran
 
What are the two new civilian codes added to the modernized satellite.pdf
 What are the two new civilian codes added to the modernized satellite.pdf What are the two new civilian codes added to the modernized satellite.pdf
What are the two new civilian codes added to the modernized satellite.pdfadmaniimran
 
What are the main techniques of capital budgeting Can you briefl.pdf
 What are the main techniques of capital budgeting Can you briefl.pdf What are the main techniques of capital budgeting Can you briefl.pdf
What are the main techniques of capital budgeting Can you briefl.pdfadmaniimran
 
What are the different ways of loading a code into an AYR chipSo.pdf
 What are the different ways of loading a code into an AYR chipSo.pdf What are the different ways of loading a code into an AYR chipSo.pdf
What are the different ways of loading a code into an AYR chipSo.pdfadmaniimran
 
What are the differences between PSK and DPSKSolutionThe fol.pdf
 What are the differences between PSK and DPSKSolutionThe fol.pdf What are the differences between PSK and DPSKSolutionThe fol.pdf
What are the differences between PSK and DPSKSolutionThe fol.pdfadmaniimran
 
What are some factors used to determine whether an individual is an e.pdf
 What are some factors used to determine whether an individual is an e.pdf What are some factors used to determine whether an individual is an e.pdf
What are some factors used to determine whether an individual is an e.pdfadmaniimran
 
What are the current asset financing strategies that firms adopt Fi.pdf
 What are the current asset financing strategies that firms adopt  Fi.pdf What are the current asset financing strategies that firms adopt  Fi.pdf
What are the current asset financing strategies that firms adopt Fi.pdfadmaniimran
 
What are the areas in Transportation Engineering, where Civil Eng.pdf
 What are the areas in Transportation Engineering, where Civil Eng.pdf What are the areas in Transportation Engineering, where Civil Eng.pdf
What are the areas in Transportation Engineering, where Civil Eng.pdfadmaniimran
 
Weightis aA. Ratio scaleB. Interval scale.pdf
 Weightis aA. Ratio scaleB. Interval scale.pdf Weightis aA. Ratio scaleB. Interval scale.pdf
Weightis aA. Ratio scaleB. Interval scale.pdfadmaniimran
 
Using the IEEE 754 floating point format, write down the bit pattern .pdf
 Using the IEEE 754 floating point format, write down the bit pattern .pdf Using the IEEE 754 floating point format, write down the bit pattern .pdf
Using the IEEE 754 floating point format, write down the bit pattern .pdfadmaniimran
 

Mehr von admaniimran (20)

What is return on equity What is net profit margin What is total as.pdf
 What is return on equity What is net profit margin What is total as.pdf What is return on equity What is net profit margin What is total as.pdf
What is return on equity What is net profit margin What is total as.pdf
 
What is on a classified balance sheet What is on a classified b.pdf
 What is on a classified balance sheet What is on a classified b.pdf What is on a classified balance sheet What is on a classified b.pdf
What is on a classified balance sheet What is on a classified b.pdf
 
What is depreciation What is depreciation Solu.pdf
 What is depreciation  What is depreciation Solu.pdf What is depreciation  What is depreciation Solu.pdf
What is depreciation What is depreciation Solu.pdf
 
What industry controlled California politics in the late 1800s and .pdf
 What industry controlled California politics in the late 1800s and .pdf What industry controlled California politics in the late 1800s and .pdf
What industry controlled California politics in the late 1800s and .pdf
 
what functions were intergrates into the microfluidic chip projec.pdf
 what functions were intergrates into the microfluidic chip projec.pdf what functions were intergrates into the microfluidic chip projec.pdf
what functions were intergrates into the microfluidic chip projec.pdf
 
What does a Geothermal heating and cooling do (I appreciate it if yo.pdf
 What does a Geothermal heating and cooling do (I appreciate it if yo.pdf What does a Geothermal heating and cooling do (I appreciate it if yo.pdf
What does a Geothermal heating and cooling do (I appreciate it if yo.pdf
 
What does the acronym GIS stands for List any 4 (four) componentss.pdf
 What does the acronym GIS stands for  List any 4 (four) componentss.pdf What does the acronym GIS stands for  List any 4 (four) componentss.pdf
What does the acronym GIS stands for List any 4 (four) componentss.pdf
 
What distribution does the F distribution approach as the sample .pdf
 What distribution does the F distribution approach as the sample .pdf What distribution does the F distribution approach as the sample .pdf
What distribution does the F distribution approach as the sample .pdf
 
What communication skills do business value What communication.pdf
 What communication skills do business value What communication.pdf What communication skills do business value What communication.pdf
What communication skills do business value What communication.pdf
 
What assumptions are made about the population from which indepen.pdf
 What assumptions are made about the population from which indepen.pdf What assumptions are made about the population from which indepen.pdf
What assumptions are made about the population from which indepen.pdf
 
What are the various sources of conflict and politics that have p.pdf
 What are the various sources of conflict and politics that have p.pdf What are the various sources of conflict and politics that have p.pdf
What are the various sources of conflict and politics that have p.pdf
 
What are the two new civilian codes added to the modernized satellite.pdf
 What are the two new civilian codes added to the modernized satellite.pdf What are the two new civilian codes added to the modernized satellite.pdf
What are the two new civilian codes added to the modernized satellite.pdf
 
What are the main techniques of capital budgeting Can you briefl.pdf
 What are the main techniques of capital budgeting Can you briefl.pdf What are the main techniques of capital budgeting Can you briefl.pdf
What are the main techniques of capital budgeting Can you briefl.pdf
 
What are the different ways of loading a code into an AYR chipSo.pdf
 What are the different ways of loading a code into an AYR chipSo.pdf What are the different ways of loading a code into an AYR chipSo.pdf
What are the different ways of loading a code into an AYR chipSo.pdf
 
What are the differences between PSK and DPSKSolutionThe fol.pdf
 What are the differences between PSK and DPSKSolutionThe fol.pdf What are the differences between PSK and DPSKSolutionThe fol.pdf
What are the differences between PSK and DPSKSolutionThe fol.pdf
 
What are some factors used to determine whether an individual is an e.pdf
 What are some factors used to determine whether an individual is an e.pdf What are some factors used to determine whether an individual is an e.pdf
What are some factors used to determine whether an individual is an e.pdf
 
What are the current asset financing strategies that firms adopt Fi.pdf
 What are the current asset financing strategies that firms adopt  Fi.pdf What are the current asset financing strategies that firms adopt  Fi.pdf
What are the current asset financing strategies that firms adopt Fi.pdf
 
What are the areas in Transportation Engineering, where Civil Eng.pdf
 What are the areas in Transportation Engineering, where Civil Eng.pdf What are the areas in Transportation Engineering, where Civil Eng.pdf
What are the areas in Transportation Engineering, where Civil Eng.pdf
 
Weightis aA. Ratio scaleB. Interval scale.pdf
 Weightis aA. Ratio scaleB. Interval scale.pdf Weightis aA. Ratio scaleB. Interval scale.pdf
Weightis aA. Ratio scaleB. Interval scale.pdf
 
Using the IEEE 754 floating point format, write down the bit pattern .pdf
 Using the IEEE 754 floating point format, write down the bit pattern .pdf Using the IEEE 754 floating point format, write down the bit pattern .pdf
Using the IEEE 754 floating point format, write down the bit pattern .pdf
 

Kürzlich hochgeladen

The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13Steve Thomason
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfJayanti Pande
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesFatimaKhan178732
 
Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104misteraugie
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityGeoBlogs
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Educationpboyjonauth
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxGaneshChakor2
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfciinovamais
 
Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology  ( Production , Purification , and Application  ) Hybridoma Technology  ( Production , Purification , and Application  )
Hybridoma Technology ( Production , Purification , and Application ) Sakshi Ghasle
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introductionMaksud Ahmed
 
Student login on Anyboli platform.helpin
Student login on Anyboli platform.helpinStudent login on Anyboli platform.helpin
Student login on Anyboli platform.helpinRaunakKeshri1
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docxPoojaSen20
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxSayali Powar
 
URLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppURLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppCeline George
 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingTechSoup
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionSafetyChain Software
 
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions  for the students and aspirants of Chemistry12th.pptxOrganic Name Reactions  for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions for the students and aspirants of Chemistry12th.pptxVS Mahajan Coaching Centre
 

Kürzlich hochgeladen (20)

The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13The Most Excellent Way | 1 Corinthians 13
The Most Excellent Way | 1 Corinthians 13
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdf
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and Actinides
 
Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activity
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Education
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptx
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
 
Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology  ( Production , Purification , and Application  ) Hybridoma Technology  ( Production , Purification , and Application  )
Hybridoma Technology ( Production , Purification , and Application )
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
Student login on Anyboli platform.helpin
Student login on Anyboli platform.helpinStudent login on Anyboli platform.helpin
Student login on Anyboli platform.helpin
 
TataKelola dan KamSiber Kecerdasan Buatan v022.pdf
TataKelola dan KamSiber Kecerdasan Buatan v022.pdfTataKelola dan KamSiber Kecerdasan Buatan v022.pdf
TataKelola dan KamSiber Kecerdasan Buatan v022.pdf
 
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docx
 
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptxINDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
 
URLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website AppURLs and Routing in the Odoo 17 Website App
URLs and Routing in the Odoo 17 Website App
 
Grant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy ConsultingGrant Readiness 101 TechSoup and Remy Consulting
Grant Readiness 101 TechSoup and Remy Consulting
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory Inspection
 
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions  for the students and aspirants of Chemistry12th.pptxOrganic Name Reactions  for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
 

Use |v * w| = ||v||||w|| to prove triangle inequality ||v + w|| ||v|| + ||w

  • 1. Use |v * w| = ||v||||w||| to prove the triangle inequality ||v + w|| ||v|| + ||w|| Solution Statement of the inequality The Cauchy–Schwarz inequality states that for all vectors x and y of an inner product space, |langle x,y angle| ^2 leq langle x,x angle cdot langle y,y angle where langlecdot,cdot angle is the inner product. Equivalently, by taking the square root of both sides, and referring to the norms of the vectors, the inequality is written as |langle x,y angle| leq |x| cdot |y| Moreover, the two sides are equal if and only if x and y are linearly dependent (or, in a geometrical sense, they are parallel or one of the vectors is equal to zero). If scriptstyle x_1,, ldots,, x_n,in,mathbb C and scriptstyle y_1,, ldots,, y_ninmathbb C are any complex numbers and the inner product is the standard inner product then the inequality may be restated in a more explicit way as follows: |x_1 bar{y}_1 + cdots + x_n bar{y}_n|^2 leq left(|x_1|^2 + cdots + |x_n|^2 ight) left(|y_1|^2 + cdots + |y_n|^2 ight) When viewed in this way the numbers x1, …, xn, and y1, …, yn are the components of x and y with respect to an orthonormal basis of V. Even more compactly written: left|sum_{i=1}^n x_i bar{y}_i ight|^2 leq left(sum_{j=1}^n |x_j|^2 ight) left(sum_{k=1}^n |y_k|^2 ight) Equality holds if and only if x and y are linearly dependent, that is, one is a scalar multiple of the other (which includes the case when one or both are zero). The finite-dimensional case of this inequality for real vectors was proved by Cauchy in 1821, and in 1859 Cauchy's student Bunyakovsky noted that by taking limits one can obtain an integral form of Cauchy's inequality. The general result for an inner product space was obtained by Schwarz in the year 1885. [edit] Proof Let u, v be arbitrary vectors in a vector space V over F with an inner product, where F is the field of real or complex numbers. We prove the inequality big| langle u,v angle big| leq left|u ight| left|v ight| This inequality is trivial in the case v = 0, so we may assume from here on that v is nonzero. In fact, as both sides of the inequality clearly multiply by the same factor ? when v is multiplied by a positive scaling factor ?, it suffices to consider only the case where v is normalized to have magnitude 1, as we shall assume for convenience in the rest of this section. Any vector can be decomposed into a sum of components parallel and perpendicular to scriptstyle v; in particular, scriptstyle u can be decomposed into scriptstyle langle u,, v angle v ,+, z, where scriptstyle z is a vector orthogonal to scriptstyle v (this orthogonality can be seen by noting that scriptstyle langle u,, v angle ;=; langle langle u,, v angle v ,+, z,, v angle ;=; langle u,, v angle ,+, langle z,, v angle, so that scriptstyle langle z,, v angle ;=; 0). Accordingly, by the Pythagorean theorem, which is to say, by simply expanding out the calculation of scriptstyle langle u,, u angle, we find that scriptstyle left|u ight|^2 ;=; |langle u,, v angle|^2 ,+, left|z ight|^2 ;geq; |langle u,, v angle|^2, with
  • 2. equality if and only if scriptstyle z ;=; 0 (i.e., in the case where scriptstyle u is a multiple of scriptstyle v). This establishes the theorem or http://en.wikipedia.org/wiki/Cauchy%E2%80%93Schwarz_inequality