☉廣州大學(xué)計(jì)算機(jī)教育軟件研究所 曹路路 朱華偉
井田問(wèn)題的探究
☉廣州大學(xué)計(jì)算機(jī)教育軟件研究所 曹路路 朱華偉
圖1
圖2
這就是著名的井田問(wèn)題,該結(jié)論對(duì)任意凸四邊形都成立,文獻(xiàn)[1]中給出了詳細(xì)的證明.關(guān)于凸四邊形分劃問(wèn)題,文獻(xiàn)[2]中將凸四邊形的每條邊三等分推廣到每條邊n等分,考慮中間位置上的四邊形,可得類(lèi)似的結(jié)論.
命題1 如圖2所示,設(shè)凸四邊形ABCD的面積為S,將它的每條邊都n等分,分點(diǎn)分別是R1,R2,…,Rn-1;Q1,Q2,…,Qn-1;T1,T2,…,Tn-1和P1,P2,…,Pn-1.則由PmQm,Pm+kQm+k,RmTm和Rm+kTm+k圍成的四邊形A′B′C′D′的面積為·S,其中m=n-(m+k).
上面的結(jié)論都是針對(duì)中間位置上的四邊形,那么位于凸四邊形頂點(diǎn)處的四個(gè)小四邊形,文獻(xiàn)[3]給出了以下結(jié)論:
命題2 如圖3所示,設(shè)ABCD是凸四邊形,把AB和CD m等分,并用線段連接相應(yīng)的分點(diǎn);把BC和DA n等分,也用線段連接相應(yīng)的分點(diǎn).由此得到n×m個(gè)小四邊形,標(biāo)記如圖所示.記圖中c1的面積為S11,c2的面積為S12,…,cm的面積為S1m;d1的面積為Sn1,d2的面積為Sn2,…,dm的面積為Snm,則S11+Snm=S1m+Sn1.
圖4
圖3
在以上命題的證明過(guò)程中都用到了下面這個(gè)結(jié)論,本文的后面也將會(huì)用到它,即:
本文通過(guò)對(duì)這些結(jié)論及其證明方法進(jìn)行研究,得到一些有趣的結(jié)論.
文獻(xiàn)[4]證明了:如果一組直線將凸四邊形一組對(duì)邊等分,那么用這些直線分此凸四邊形為多個(gè)小四邊形,它們的面積構(gòu)成等差數(shù)列.
下面我們把這個(gè)結(jié)論推廣到兩組對(duì)邊都n等分的情況:
命題4 如圖5所示,將凸四邊形ABCD的每條邊都n(n≥3)等分,并連接每組對(duì)邊上相應(yīng)的分點(diǎn).連接得到的線段將四邊形ABCD分割成n2個(gè)小四邊形,那么同行(列)的n個(gè)小四邊形的面積成等差數(shù)列,并且每行(列)的公差相等;位于對(duì)角線上的n個(gè)小四邊形的面積也成等差數(shù)列.
證明:如圖5所示,設(shè)Sij表示小四邊形的面積,其中i,j均是正整數(shù),且1≤i,j≤n.
首先,根據(jù)命題3可得這些連線的交點(diǎn)是它所在線段的n等分點(diǎn).那么,根據(jù)文獻(xiàn)[4]中的結(jié)論,即證同行(列)的n個(gè)小四邊形的面積成等差數(shù)列.
其次,證明位于對(duì)角線上的n個(gè)小四邊形的面積成等差數(shù)列.
設(shè)S11,S12,…,S1n的公差為d1;S11,S21,…,Sn1的公差為d2.
運(yùn)用命題2,得:
從而證明S11,S22,…,Snn是以S11為首項(xiàng),d1+d2為公差的等差數(shù)列.
最后,證明每行(列)的公差相等.
設(shè)第i行的n個(gè)小四邊形的面積Si1,Si2,…,Sin構(gòu)成等差數(shù)列的公差為di,其中i=2,3,…,n.
圖5
即證行之間的公差相等.
同理可證列之間的公差也相等.證畢.
評(píng)注:在圖5中,根據(jù)命題4可知,任意給定三個(gè)不同行且不同列的小四邊形的面積,即可求出其余每塊小四邊形的面積.
下面運(yùn)用命題4,我們給出1980年環(huán)球城市數(shù)學(xué)競(jìng)賽初中組春季賽第四題的另一種簡(jiǎn)捷的證明.
證明:設(shè)Sij表示小四邊形的面積,其中i,j都是正整數(shù),且1≤i,j≤m,即證:
其中i1,i2,…,im是1,2,…,m的一個(gè)排列.
根據(jù)命題4,設(shè)每列小四邊形的面積構(gòu)成以d為公差的數(shù)列,則:
證畢.
接下來(lái)我們不再考慮對(duì)凸四邊形的邊等分的情況,但是在滿(mǎn)足一定的比例關(guān)系時(shí),依然可得到與井田問(wèn)題想類(lèi)似的結(jié)論,即
圖6
則SA′B′C′D′=(1-2α)(1-2β)SABCD.
證明:首先證明SEFGH=(1-2α)·SABCD.
如圖6所示,連接AH,AC,F(xiàn)H,F(xiàn)C.
其次,運(yùn)用命題3,得:
在命題6的條件下,除四邊形A′B′C′D′外的八個(gè)小四邊形的面積之間有如下關(guān)系:
命題7 如圖7所示,在命題6的條件下,設(shè)四邊形ABCD的面積為S,小四邊形的面積用Sij表示,其中i,j均是正整數(shù),且1≤i,j≤3,S22=SA′B′C′D′.則:
所以(1)式成立,同理可證(2)式成立.
故(3)式成立.證畢.
評(píng)注:給定四邊形ABCD的面積,將除A′B′C′D′外的八個(gè)四邊形分為三組:(S12,S32),(S21,S23),(S11,S13,S31,S33). 根據(jù)上面的三個(gè)公式,若每組中確定一個(gè)四邊形的面積,則可求其余五個(gè)四邊形的面積.特別的,如果α=β,那么只需知道四邊形ABCD一個(gè)頂點(diǎn)處的小四邊形及其相鄰的一個(gè)小四邊形的面積,就可以求出其余六個(gè)四邊形的面積.
圖7
1.張景中.新概念幾何[M].北京:中國(guó)少年兒童出版社,2012.
2.錢(qián)照平.中位四邊形面積定理的推廣[J].中學(xué)數(shù)學(xué)教學(xué),1993,4.
3.中國(guó)數(shù)學(xué)奧林匹克委員會(huì).環(huán)球城市數(shù)學(xué)競(jìng)賽問(wèn)題與解答[M].北京:開(kāi)明出版社,2004.
4.鄧遠(yuǎn)源.關(guān)于凸四邊形的一個(gè)分劃問(wèn)題[J].中學(xué)數(shù)學(xué)月刊,2000,6.
5.付真凱.中位四邊形的面積定理[J].數(shù)學(xué)通報(bào),1992,9.
6.趙振威.中學(xué)數(shù)學(xué)方法指導(dǎo)[M].北京:科學(xué)出版社,1988.