一个复平面上的不等式

设$z_{1},\cdots,z_{N}\in\mathbb C$,证明存在$\{1,2,\cdots,N\}$的子集$S$使得$$\left|\sum_{k\in S}z_{k}\right|\geq\frac{1}{\pi}\sum_{k=1}^{N}|z_{k}.|$$

证明    设$z_{k}=|z_{k}|e^{i\theta_{k}}$,那么对任意的

\begin{align*}0\leq\theta\leq2\pi\end{align*}

令集合\begin{align*}S(\theta)=\{k:\cos(\theta_{k}-\theta)>0\}\end{align*}

所以\begin{align*}\left|\sum_{k\in S(\theta)}z_{k}\right|&=\left|\sum_{k\in S(\theta)}e^{-i\theta}z_{k}\right|\\&\geq\sum_{k\in S(\theta)}|z_{k}|\cos(\theta_{k}-\theta)\\&=\sum_{k=1}^{N}|z_{k}|\cos^+(\theta_{k}-\theta)\end{align*}

所以我们选取适当的$\theta$使得右端取值最大,取此时的集合为$S$,而且右端的这个最大值$M$必然满足

\begin{align*}M&\geq\frac{1}{n}\sum_{j=1}^{n}\sum_{k=1}^{N}|z_{k}|\cos^+(\theta_{k}-\theta_{j}),\forall n\in\mathbb N\end{align*}其中$\theta_{j}\in[0,2\pi]$,特别的我们限制每个

\begin{align*}\theta_{j}\in\left[\frac{(j-1)2\pi}{n},\frac{j2\pi}{n}\right]\end{align*}

并令$n\to\infty$可得

\begin{align*}M&\geq\frac{1}{2\pi}\sum_{k=1}^{N}|z_{k}|\int_{0}^{2\pi}\cos^+(\theta_{k}-x){\rm d}x\\&=\frac{1}{2\pi}\sum_{k=1}^{N}|z_{k}|\int_{0}^{2\pi}\frac{\cos(\theta_{k}-x)+|\cos(\theta_{k}-x)|}{2}{\rm d}x\\&=\frac{1}{\pi}\sum_{k=1}^{N}|z_{k}|\end{align*}

即\begin{align*}\left|\sum_{k\in S}z_{k}\right|\geq\frac{1}{\pi}\sum_{k=1}^{N}|z_{k}|\end{align*}

一个复平面上的不等式

时间: 2024-11-01 10:57:08

一个复平面上的不等式的相关文章

复平面上的紧集

数学分析中我们知道$\mathbb R^n$中的紧集等价于有界闭集.而在复平面上则稍有区别,我们有: 在$\mathbb C$上的紧集等价于有界闭集,而在$\mathbb C_{\infty}$上的紧集等价于闭集. 证明    对于有界闭集的紧性的证明可以把数学分析中的证明照搬过来,这里只对$\mathbb C_{\infty}$加以说明.设$E$为$\mathbb C_{\infty}$中的闭集,我们来说明他是紧集. 如果$\infty\notin E$,那么$E$也是$\mathbb C$中

复平面上的初等解析几何——圆和直线

今天搬完了宿舍,发现去年复习复分析的时候整理了一下这一点,下面我将其$\TeX$化,原手写稿请见这里. 下面介绍一些复平面上的直观,因为我们解析几何通常以实数为基本,遇到复平面上的直线和圆时有时会很棘手,下面对此作一些整理. 注:之后$\overline{z}$均表示$z$的共轭. 首先是圆和直线的方程. 命题1. 复平面上直线与圆的方程共享同一种形式,他们是$$\alpha z\overline{z}+\beta z+\overline{\beta}\overline{z}+\gamma =0

网站环境apache + php + mysql 的XAMPP,如何实现一个服务器上配置多个网站?

xampp 是一个非常方便的本地 apache + php + mysql 的调试环境,在本地安装测试 WordPress 等各种博客.论坛程序非常方便.今天我们来给大家介绍一下,如何使用 XAMPP 在本地进行安装多个网站. 一般情况下,我们只需要网站程序放到 xampp/htdoc 目录下,然后在浏览器里输入 ip 地址 http://127.0.0.1/ 或者输入域名 http://localhost/ 就可以了.但是这样我们只能使用一个程序,建立一个网站.如果我们想要测试测试不同的程序,

C#在某个线程上创建的控件不能成为在另一个线程上创建的控件的父级

首先在form1的窗体载入中新建了一个Class1对象并将本身的引用传递进入其构造函数,然后在Class1的构造函数中创建一个线程.该线程所代理的方法事件是本类中的一个add方法.而add方法的内容则是在form1上放一个textbox.然而这个流程你需要注意的有几个问题:1.哪个是主线程?所谓主线程是第一个启动的线程,是从main开始的.form1的这个窗体是由主线程创建的.2.Thread t的线程是什么?t是由主线程创建的,t的操作内容是在由主线程创建的窗体上放一个textbox.也就是说

cacti监控一个web上的多个tomcat

Cacti监控一个web上多个tomcat 第一部分:监控单个tomcat 1.首先下载监控tomcat的模板 TomcatStats-0.1.zip 下载之后,修改tomcatstats.pl, a.注释第三行左右的 use Data::Dumper; b.将 第19行左右的my $xml = `GET $url`; 改为my $xml = `wget -qO - $url`; c.在第24行左右添加此行   print "  "; d.注释第23行左右的print Dumper($

写一个Windows上的守护进程(5)文件系统重定向

写一个Windows上的守护进程(5)文件系统重定向 在Windows上经常操作文件或注册表的同学可能知道,有“文件系统/注册表重定向”这么一回事.大致来说就是32位程序在64位的Windows上运行时,操作系统会把对System32文件夹的访问重定向到SysWow64下,把对HKEY_LOCAL_MACHINE\SOFTWARE的访问重定向到HKEY_LOCAL_MACHINE\SOFTWARE\Wow6432Node下.当然不止这些路径和注册表.详情请查看MSDN:https://msdn.

多个服务器总结: 将session保存到专门的一个服务器上,所有服务器都去请求数据共享Session

原理:多个服务器间想共享session,就相当于共享取多台主机上的一个变量,所以共享的思路就是让大家都能读取变量,实现的方法可以通过将session保存到专门的一个服务器上,所有服务器都去请求数据,也memcache实现session共享将这些服务器都配置成使用同一组Memcached服务器就可以, 一.提出问题: 为了满足足够大的应用,满足更多的客户,于是我们架设了N台Web服务器(N>=2),在多台Web服务器的情况下,我们会涉及到一个问题:用户登陆一台服务器以后,如果在跨越到另一台服务器的

ZeroMQ接口函数之 :zmq_send_const – 从一个socket上发送一个固定内存数据

ZeroMQ API 目录 :http://www.cnblogs.com/fengbohello/p/4230135.html ————————————————————————————————————— ZeroMQ 官方地址:http://api.zeromq.org/4-1:zmq-send-const zmq_send_const(3)           ØMQ Manual - ØMQ/4.1.0 Name zmq_send_const – 从一个socket上发送一个固定内存数据

netty4 实现一个断点上传大文件功能

我本来以为文件断点续传功能很简单,不就是提供2个方法: 一个返回已经上传的文件的长度:另外一个负责上传文件呗(请求带上content-range 指明本次上传的内容在整个文件中的位置),然后根据请求提供的位置写呗,太简单了. 但是实际情况还是比较复杂的,关键问题是,上面的描述现在想想只能称作为文件分段上传,而不是断点续传. 断点意味着网络会断,然后断了之后,服务端根本获取不到本次上传的内容,于是下次又只能从头开始传文件.一种解决办法是客户端将文件分成很小的片段(单个片段丢了就整个片段重传),这个