最近，《數(shù)學(xué)譯林》有一篇《第二號(hào)“俄羅斯殺手”——一個(gè)挑戰(zhàn)性的幾何定理的人腦與機(jī)器證明的對(duì)比》。下面出國(guó)留學(xué)網(wǎng)來(lái)說(shuō)說(shuō)你敢挑戰(zhàn)俄羅斯殺手幾何題嗎?
提到：
1998年2月，莫斯科連續(xù)數(shù)學(xué)教育中心的Sergey Markelov寄給王東明五個(gè)幾何定理.測(cè)試他的GEOTHER軟件包的能力，其目的在于挑戰(zhàn)計(jì)算機(jī)證明器證明復(fù)雜定理的能力.這些定理曾用來(lái)為莫斯科隊(duì)參加全俄羅斯中學(xué)數(shù)學(xué)奧林匹克競(jìng)賽作訓(xùn)練，號(hào)稱(chēng)為“幾何定理的解析方法的殺手”。瀏覽過(guò)五個(gè)“殺手”之后，王東明確信GEOTHER在原則上可以證明某些“殺手”。出于實(shí)驗(yàn)?zāi)康?，他選擇了如下所述的第二號(hào)“殺手”。該“殺手”敘述簡(jiǎn)潔，易于理解，給出了任意四邊形面積由它的四邊及四個(gè)內(nèi)角的一個(gè)漂亮表示。
想看解答么?其中既有傳統(tǒng)人工證明，也有多種機(jī)器證明，包括使用向量法、復(fù)數(shù)法等。