1樓:形瞳
證明過程基於幾何直覺,可能不是太嚴謹
首先用(強)數學歸納法證明兩個引理
引理1
n邊形至少有1條內對角線
證明:數學歸納法
時容易發現結論成立
假設 時成立,對於任意k邊形 任選其一頂點A,記與A相鄰的頂點為B和C
若對角線BC是內對角線則結論得證
若不是內對角線,則去掉A並以BC為一邊形成的新多邊形是k-1邊形記為 ,由歸納假設得其存在一條內對角線記該對角線兩頂點為D,E(D,E可能是B,C,但不會都是)
若對角線DE是的內對角線則結論得證
若不是其內對角線,則以關於直線DE與A在平面同側的的頂點(一定存在)和D,A,E形成的新多邊形記為 (DA和AE為其邊,其邊數小於k大於3),由歸納假設得存在一條內對角線,容易發現該對角線也是的內對角線
綜上由歸納法引理得證
引理2
n邊形至少有n-3條內對角線
證明:數學歸納法
時顯然成立
假設 時成立,對於任意k邊形 任選其一內對角線AB(由引理1保證可以取到)則的頂點(除A,B外)被直線AB分為平面上兩側為兩部分,記一側頂點數為m則另一側頂點數為k-2-m,注意這兩個頂點數都不為0
一側以m個頂點和A,B形成新多邊形記為(邊數為m+2)
另一側以k-2-m個頂點和A,B形成新多邊形記為(邊數為k-m)
由歸納假設得至少存在m-1條內對角線,這些對角線也是的內對角線
以及至少存在k-m-3條內對角線,這些對角線也是的內對角線
於是至少有 條內對角線
由歸納法引理得證
接下來開始命題的證明
證明充分性
數學歸納法
時顯然成立
假設 時成立,對於任意k邊形 任選其一內對角線AB(由引理1保證可以取到)則的頂點(除A,B外)被直線AB分為平面上兩側為兩部分,記一側頂點數為m則另一側頂點數為k-2-m,注意這兩個頂點數都不為0
一側以m個頂點和A,B形成新多邊形記為(邊數為m+2)
另一側以k-2-m個頂點和A,B形成新多邊形記為(邊數為k-m)
由歸納假設得恰好存在m-1條內對角線,這些對角線也是的內對角線
以及恰好存在k-m-3條內對角線,這些對角線也是的內對角線
並且容易發現只有上述的這些內對角線
於是恰好有 條內對角線
由歸納法充分性得證
必要性數學歸納法
時顯然成立
假設 時成立,對於任意k邊形 任選其一內對角線AB(由引理1保證可以取到)則的頂點(除A,B外)被直線AB分為平面上兩側為兩部分,記一側頂點數為m則另一側頂點數為k-2-m,注意這兩個頂點數都不為0
一側以m個頂點和A,B形成新多邊形記為(邊數為m+2)
另一側以k-2-m個頂點和A,B形成新多邊形記為(邊數為k-m)
由引理2得至少存在m-1條內對角線,這些對角線也是的內對角線
以及至少存在k-m-3條內對角線,這些對角線也是的內對角線
由於恰好有 條內對角線
故恰好存在m-1條內對角線,這些對角線也是的內對角線
以及恰好存在k-m-3條內對角線,這些對角線也是的內對角線
顯然這m-1條內對角線與k-m-3條內對角線以及AB互不相交
又由歸納假設得上述的m-1條內對角線兩兩不相交,上述的k-m-3條內對角線兩兩不相交
故的k-3條內對角線兩兩不相交
由歸納法必要性得證証畢
有沒有緩解孕吐的好方法?
Celaeno 分散注意力吧。我懷孕的時候只要上班就沒事,幹啥都有勁,說啥都大聲 我做老師的 雙休日一回家休息就不對了,一天一定要吐個五六次。所以懷孕初期那段時間我特別喜歡上班,放學後還愛留在教室裡幹活。一到雙休日或學校放假就開始發怵。不過多數孕吐到中期就會好轉,初期的話還是要忍過那三個月啊。 等風...
有沒有好的背單詞方法
背單詞不必要和漢語對上。英語 漢語都是表達人想法的工具。所以最終是什麼意思才最重要。與其說是背單詞,不如說是學習單詞。比如說有乙個成語,幸災樂禍 中文是四個字。但是其實它描述的是一種惡意的好心情,就是看到別人倒霉,而開心的樣子。英語的Gloat就是malicious satisfaction。幸災樂...
這道組合題有哪些好的方法?
陳世騰 的方案可以稍加改進w 我們的方針顯然是找到 1 個說真話的壬,然後讓真壬把剩下壬的身份招供出來,後者至多需要 步是當然的.那麼找到真壬只需執行如下 次詢問之手續 隨機找 1 個壬,置棧頂.2.抽 1 個還未詢問過的非棧壬,問棧頂壬,其是何壬 2.a.若回答新壬是真壬,新壬入棧 2.b.若回答...