如何证明在平面内，连接多边形内一点与多边形外一点的线段必与多边形的边有交点？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
设多边形 内部一个点 ，外部一点 ，做变换
这样一来，多边形变成了一个以原点为圆心的单位圆。
变换 满足：
- 若 ，则 ；若 ，则 .
- ，即将 映射到原点。
关于这个证明我以前刚好回答过： https://www.zhihu.com/question/370749736/answer/1007725617
所以问题最后就转换为，圆心和圆外一点 的连线，必然和圆 有交点 ，那么一定会有原像集 ，即为所求。
可以直接联立方程
另外注意隐藏的条件：
其中 是平面向量。最后很容易解得：
于是 ，证毕。
当然了，这个问题还是不得不提及Jordan闭曲线定理，没有它，曲线的「内」与「外」无从谈起。（在评论区有网友提醒我，我也觉得还是要捎带说一下答案更完整。）另外， 可以是更一般的区域，而不仅仅是多边形，但是我尊重题主的问题，所以就继承其说法。
至于Jordan闭曲线定理的证明，一般来说各种教材就直接略过了，因为真的很繁琐。我以前在邓冠铁老师的《复变函数论》看过当 是多边形时的证明，恰好可以用在这里。用代数拓扑的方法证明很简单，但是需要铺垫的知识很多，就看姜伯驹老师的书就行了。
1
相关话题
在区间【0,π/2】上，曲线y=sinx与直线x=π/2，y=0所围成的图形，绕y轴旋转的旋转体体积？请问一条满足: 法向量和法向量二阶导数平行的空间曲线是什么曲线？
一个点到两个定点的距离乘积为定值，这个点的轨迹是什么？
用人话来解释下模空间是啥？
是否所有简单闭曲线都同胚与圆周？
一个直径为1的圆，最少多少个直径小于1的圆可以覆盖？
如何证明在平面内，连接多边形内一点与多边形外一点的线段必与多边形的边有交点？
点集拓扑为什么要这样定义？具有几何意义吗？
为什么 sin(x²)+sin(y²)=1 的图像这么复杂？
MIT 学者算出 π=3.115，是 π 的值变了吗？
相关的话题
如何学习点集拓扑学？f(x)=sin(x), x∈[0, π/2] 是不是某个椭圆的一部分？
拓扑学中有哪些只对低维成立的定理？
为什么欧几里得在《几何原本》中的第四公设要设定所有的直角都相等？
为何要引入同伦群，同伦群可以解决什么问题？
割圆术就算割了∞次，它和真实面积也相差很小一部分，怎么就说它就可以等于真实面积？
在区间【0,π/2】上，曲线y=sinx与直线x=π/2，y=0所围成的图形，绕y轴旋转的旋转体体积？
格林公式的物理意义和几何意义是什么？为什么格林公式与路径无关？
几何与拓扑方向需要学习代数几何吗?
如何求圆周上随机 n 点构成的 n 边凸包的平均面积？
有哪些用偏几何的方法来得到代数问题的优美解答的例子？
解决初等几何题目使用辅助线的逻辑原理是什么？
有没有对隐函数求导公式的几何理解？
微分流形与黎曼几何有什么关系？
如何证明单位圆周上n个点两两距离乘积的平方当且仅当各点均匀分布时取到最大值nⁿ?
如何理解物理学图像？有人说，物理学图像常常是指几何图像？
一道初三数学几何题。目前用arctan和tan的无脑计算可以求出来，请问还有其他方法吗？向量？或其它？
群论和拓扑的关系是什么？群论本来就是拓扑的一种形式？
正三棱锥内切球的四个切点（两类）分别在三角形的什么位置？
怎么证明算术平均数大于等于几何平均数？
正方体的体对角线垂直吗？
魔鬼如何在最短时间内抓住天使？
圆周率 π 为什么最初没定义成「周长与半径的比值」？直径和半径，哪个是构成圆最基本的单元？
为什么能够研究高维几何?
一个边长为a的正方形，能否用三个直径为a的圆完全覆盖？
如何理解物理学图像？有人说，物理学图像常常是指几何图像？
割圆术就算割了∞次，它和真实面积也相差很小一部分，怎么就说它就可以等于真实面积？
狼想吃掉羊，狮子要保护羊，他能做到吗？
为什么该图形红蓝面积相等?
立体几何比平面几何难吗？