Scribd
Upload
54 views1 page

Otis

The document is a LaTeX file that contains a mathematical proof. It presents a claim that the real part of a sum multiplied by the real part of another sum is greater than or equal to a certain value. It then proceeds to prove this claim by expanding the sums into their real and imaginary components and applying properties such as Cauchy-Schwarz inequality.

Uploaded by

ULtra
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as TXT, PDF, TXT or read online on Scribd
54 views1 page

Otis

The document is a LaTeX file that contains a mathematical proof. It presents a claim that the real part of a sum multiplied by the real part of another sum is greater than or equal to a certain value. It then proceeds to prove this claim by expanding the sums into their real and imaginary components and applying properties such as Cauchy-Schwarz inequality.

Uploaded by

ULtra
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as TXT, PDF, TXT or read online on Scribd
You are on page 1/ 1

\documentclass[11pt]{scrartcl}

\usepackage[sexy]{evan}
%% Get evan.sty from the following URL:
%% https://github.com/vEnhance/dotfiles/blob/main/texmf/tex/latex/evan/evan.sty
%% Read https://web.evanchen.cc/faq-latex.html#L-4 for usage instructions

\begin{document}
\title{Solution to 15CHN1}
\date{OTIS}
\maketitle
In fact, we claim more strongly that
\begin{claim*}
\[ \opname{Re} \sum_k z_k
\cdot \opname{Re} \sum_k \frac{1}{z_k}
\ge n^2(1-r^2). \]
\end{claim*}
To prove this, let $z_k = a_k + b_k i$.
Then the inequality to be proved is
\[ \opname{Re} \sum_k a_k
\cdot \opname{Re} \sum_k \frac{a_k}{a_k^2+b_k^2}
\ge n^2(1-r^2). \]
The given condition implies that
\begin{align*}
(a_k-1)^2 + b_k^2 \le r^2
\implies 2a_k &\ge (1-r^2) + (a_k^2+b_k^2) \\
&\ge 2\sqrt{(1-r^2)(a_k^2+b_k^2)}
\end{align*}
with the last inequality by AM-GM.
Hence Cauchy-Schwarz on the original inequality works.
\end{document}

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy