凸形能否有兩個等弦點
—— 李露萍
摘 要：“凸形能否有兩個等弦點”是幾何學歷史長河中遺留下來的未解決的數學問題之一，為了探究這個問題，本文從不存在等弦點的正方形出發，再推廣到正多邊形上；再借助于單連通的連續且直到二階可導的上凸函數為工具，假設在至少存在一個等弦點且弦長恒為的基礎上，通過對上凸函數關于等弦點的對應函數的一階導數的判斷，得出當時，若，則對角函數隨著的不同而不同，故不存在等弦點；若時，并通過對二階導數的討論，得到相應的結論。
關鍵詞：凸函數；對角函數；等弦點；一階導數；二階導數
Abstract："Convex can have two chord point＂is a geometric history left unsolved mathematical problems. To explore this issue, the paper never existed chord point square starting, and then extended to the regular polygon; and with the help of the simply connected continuous and convex function picture until the two order derivative as a tool. Assuming there is at least one chord point and chord length is constantbasis,by first order derivative corresponding function of convex function on the chord point of judgment, when the ,if , is diagonal function with is different, so there is no chord point. If the , and through the discussion of the two order derivative, corresponding conclusions are obtained.
Key words：Convex function；Diagonal function；Chord point；Derivative；Two order derivative
1 引言
組合幾何正式成為一門數學分支只有半個世紀的歷史，但是與組合幾何有關的問題卻可追溯到遙遠的歷史深處。絕大多數需要解決的幾何問題都產生于實際要求，而“凸形能否有兩個等弦點”是幾何學歷史長河中遺留下來的未解決的數學問題之一。對凸形問題的探究又離不開用凸函數來表達，而凸函數是一類具有顯著幾何特征的函數，在線性規劃、最優控制、不等式等領域都有著非常重要的應用。1905年丹麥數學家Jensen[1]首次給出了凸（凹）函數的定義，開創了凸（凹）函數研究的先河。在現有的文獻中，對凸函數的研究各方面的討論都近乎完善，也得到了很多有用的結論，但是在對于凸形的邊界凸函數及等弦點的研究卻鮮有所聞。所以需要尋找探究凸形邊界函數及等弦點的相關問題。
本文將借助于單連通的連續且直到二次可導等條件下的凸函數[2]~[7]來考慮特殊的凸形能否有兩個等弦點，從一階導數和二階導數的角度，分析探究凸形能否有等弦點甚至是能否有兩個等弦點。
2 預備知識
為了進一步探究“凸形能否有兩個等弦點”這個問題，我們需要回顧一下單連通、一階導數及二階導數的求法等的相關知識。
2.1 凸形
定義2.1[8] 設集合，若對于 ，，有
，
則稱為凸集。
定義2.2[8] 如果對于點集中任意兩點、，線段上的點都屬于點集，那么成為凸集。
定義2.3[8] 有界閉集，如果是凸集，就成為凸形。
2.2 等弦點
定義2.4[8] 一個封閉凸平面曲線之內的點，且經過那個點的所有弦具有相同的長度。例如，圓的圓心是這個圓的等弦點。
2.3 單連通
定義2.5[9] 我們用 記復平面以及用 記復擴充平面。一個連通開集 被稱為單連通區域。
2.4 參數方程表示函數的求導法
2.4.1 參數方程表示函數的一階導數[10]
在解析幾何中，我們遇到過曲線的參數表示法，若為參數，那么
就代表平面上的一條曲線。設的反函數為，并且沒它滿足反函數的條件，于是把看做復合函數
。
并利用復合函數和反函數的求導法則，就有
，
這就是參數方程所表示函數的求導方法。
當參數給出時，就可得到在對應點的倒數的值。
例2.1 橢圓的參數方程是，求。
解 于是有
．
由此可知，當時，，即在點橢圓有水平切線。
2.4.2 參數方程表示函數的二階導數[10]
參數方程求二階導數的方法：
由前已知
，
那么
。
例2.2 設求二階導數
解 由例2.1可知：
，
。
3 證明
3.1 正多邊形
由凸形的概念可知，正多邊形是一種特殊的凸形，下面對正多邊形進行討論，以正方形為例。
3.1.1 正方形
如圖3-1中，我們以邊長為1的正方形為例，以正方形的底邊建立直角坐標系，假設存在等弦點，且弦長恒為，則在一條直線邊上取一點的與等弦點的連線，取線段長為，在該直線邊上再取異于的點，，····，由于過等弦點的弦長長度相等，則易知通過該直線邊上的點得到的是一條曲線，這與正方形的性質相矛盾，故命題假設存在等弦點不成立。
圖3-1
3.1.1 正多邊形
正多邊形的每條邊都是直線邊，而由正方形不存在等弦點的證明可知，若正多邊形存在等弦點，那么正多邊形的直線邊關于等弦點的對應邊則是曲線邊，這與正多邊形的性質不符，所以正多邊形也不存在等弦點。
3.2 單連通的連續且直到二階可導的凸形
3.2.1 原理
假設該凸形至少存在一個等弦點，設為，再過點
作坐標軸作為軸建立直角坐標系，該凸形的邊界函數在軸附近存在連續且直到二階可導的上凸函數，在此上凸函數上任取一點，通過
作弦長恒為的對角函數，若對于不同的取值的作出來的對角函數都相同，則可知這個上凸函數可能至少存在兩個等弦點；但反之，該種凸形就一定不存在兩個等弦點。
3.2.2 假設：
（1）單連通凸形的邊界函數是連續的，并且是直到二階可導的上凸函數；
（2）該上凸函至少存在一個等弦點，設為；
（3）弦長恒為；
（4）其中，為常數，，是變量，取參數；
則對于邊界上凸函數關于等弦點的對角函數為：
由，是關于的參數函數，故令
，
其中由（2）可得：
···········（３）
將（3）式帶入（1）式可得：
，
所以
，
所以該對角函數的一階導數為：
，
其中：
；
；
所以當時，有 ：
；
；
；
若當時，則對角函數隨著的取值的變化而不相同，故在
此種情況下，上凸函數不存在兩個等弦點；換句話說，即為等弦點到凸形邊界的連線段與凸形邊界的交點處的切線都不相垂直的凸形不存在兩個等弦點。
若當時，則有：
；
又上凸函數的對角函數的二階導數為：
，
其中：
；
；
；
；
則當時，令
，
那么可得
；
；
；
；
則
；
即有
；
因為對應函數是由上凸函數所求的對角函數，故函數必定為下凸函數，即有：
，
即恒有
，
其中:
；
由上式可知，只有中有變量，其中，和均為常量，所以要想證明凸形是否存在兩個等弦點，即轉證為證明關于等弦點的對角函數在不同取值的時，仍是同一函數；從而轉為證明凸形的二階導數關于的取值不同時，所得到的值任然相等即可，進而到對對角函數的二階導數的單調性的判斷。
故上凸函數的對角函數的二階導數對有求導為：
；
又因為函數是上凸函數，所以其二階導數恒有，則恒有
；
且又由題可知：
（即），，；
所以有
；
那么
；
因為是上凸函數的二階導數，且，所以，，從而有，，則分子即為一個小于0的數加上一個大于0的數，不能直接判斷其分子的正負，就更不能判斷二階導數對的導數的判斷；即在此種情況下不能判斷凸形對應函數的二階導數對的不同取值時值的變化情況，所以在此種條件下不能判斷該種凸形能否有兩個等弦點。
4 結論
由對正方形的是否含有等弦點的推導可知，正多邊形不存在等弦點；若考慮在至少存在一個等弦點的凸形中，對于邊界函數是單連通的連續的且直到二階可導的凸函數的凸形，若關于等弦點的對角函數在時的一階導數不等于0，那么這個凸函數關于等弦點的對角函數會隨著取值的變化而變化，故在此種情況下，該種凸形沒有兩個等弦點，也就是說，當已知等弦點到邊界函數的連線段與該交點處的切線不相垂直時，凸形不存在兩個等弦點；若關于等弦點的對角函數的一階導數等于0，其二階導數關于的導數在為
，
由條件可知分母，而分子中第一部分，第二部分，一個小于0的數加上一個大于0的數，不能判斷其大小，故無法判斷其二階導數在取值不同時的變化情況，所以在此種條件下不能判斷該種凸形能否有兩個等弦點。
參考文獻：
[1] 張慧玲. 連續凹函數的幾個性質[J]. 廊坊師范學院學報（自然科學版）, 2009, 1674-3229(01).
[2] 蒲義書, 陳露. 凸函數概述[J]. 高等數學研究, 2006(04).
[3] 張占通，譚杰新. 連續函數為凸函數的兩個充要條件[J]. 維普, 1994.
[4] 王霞, 江曉武. 連續凸函數的判據及幾何特征[J]. 數學實踐與認識, 2006(12).
[5] 曾明,范周田. 關于凸函數定義的幾點思考[J]. 高等數學研究. 2010(04)．
[6] 劉仁義. 關于凸函數的判定[C]. 九江師專學報, 1999.
[7] 李世杰. 連續函數的凸性[J]. 上海中學數學, 2005(03).
[8] 單墫. 組合幾何[M]. 上海教育出版社, 1995.5.
[9] 謝樺. 單連通空間的一些性質[J]. 龍巖師專學報, 1993(03).
[10] 歐陽光中，朱學炎，金福臨，陳傳章. 數學分析[M]. 第三版. 高等教育出版社.2007.
