在知乎上看到的問題莱褒，一時興起做了一下。先看題目吧：
如上圖涎劈，AF,BD與CE均為三角形ABC的角平分線广凸，且BD=CE.請問ABC是等腰三角形嗎阅茶？
解題思路如下：
1.如果要證明ABC是否等腰三角形，就要證明AB=AC或者找一個不是等腰三角形的特例谅海；
2.如果作平行線中或者翻轉(zhuǎn)的輔助線脸哀，我覺得比較麻煩，而且不一定有結(jié)果扭吁；所以我選擇了三角函數(shù)撞蜂；
3.在角平分線中，還有什么比內(nèi)切圓半徑更有力的武器呢侥袜？
4.過O蝌诡，D向BC作垂線交于M，N枫吧；則OM=r;
5.如何表示BD長度呢浦旱？顯然BOM與BDN相似。并且由角平分線定理：
AB/AD=BO/OD.
則得到：
BD=BO+OD
=BO*(1+OD/BO)
=BO*(1+AD/AB)
=r(1+sin(B/2)/sin(B/2+C))/sin(B/2).
同理：
CE=r(1+sin(C/2)/sin(C/2+B))/sin(C/2).
6.交叉相乘之后（分母必不為0）九杂，BD=CE可以推導(dǎo)出：
(1+sin(B/2)/sin(B/2+C))*sin(C/2)=(1+sin(C/2)/sin(C/2+B))*sin(B/2)
等價于
sin(B/2)-sin(C/2)
=sin(B/2)sin(C/2)*(csc(B/2+C)-csc(C/2+B))
=sin(B/2)sin(C/2)*(sin(C/2+B)-sin(B/2+C))/(sin(B/2+C)sin(C/2+B)) .......(1)
大概很多人已經(jīng)打退堂鼓了吧颁湖！不要怕，可以簡化的哦尼酿！
運用三角函數(shù)和差化積公式得到：
1左邊=2sin((B-C)/2)cos((B+C)/2)
1右邊=2sin(B/2)sin(C/2)/(sin(B/2+C)sin(C/2+B))*sin((B-C)/2)cos((B+C)*3/4)
好吧爷狈，要是還看不見希望，連我也要懷疑自己了裳擎！
注意兩項中都有sin((B-C)/2)這一項哦涎永，如果該項為0的話，兩邊自然相等鹿响，但是角B和角C肯定相等了哦羡微。（同一個三角形內(nèi)角不解釋）
7.暫時假設(shè)該項不等于0吧，我們從等式兩邊約去該項惶我，得到
cos((B+C)/2)*sin(B/2+C)sin(C/2+B)=cos((B+C)*3/4）*sin(B/2)sin(C/2)
好恐怖??.......我們現(xiàn)在的工作是證明這個式子不可能相等妈倔。
注意到式子中左側(cè)每一項都大于0，則右側(cè)cos((B+C)*3/4必然大于0.
所以：
0<cos((B+C)*3/4)<cos((B+C)/2)<1.
接下來只要
sin(B/2+C)sin(C/2+B)>sin(B/2)sin(C/2) （2）
那么兩邊不可能相等绸贡，從而得出矛盾了盯蝴。
8.考慮到B，C都是內(nèi)角听怕，且測試了角B和角C相等及其他情況后捧挺，我認為式子（7）成立，開始著手證明尿瞭。
S=sin(B/2+C)sin(C/2+B)-sin(B/2)sin(C/2)
=sin(B/2+C)sin(C/2+B)-sin(B/2+C)sin(C/2)-(sin(B/2)sin(C/2) -sin(B/2+C)sin(C/2))=sin(B/2+C)(sin(C/2+B)-sin(C/2))+sin(C/2)*(sin(B/2+C)-sin(B/2))=2sin(B/2+C)sin(B/2)cos(B/2+C/2)+2sin(C/2)sin(C/2)cos(B/2+C/2)>0
結(jié)果成立了哈哈闽烙。
反推回來，ABC必然是等腰三角形了声搁。
學(xué)了很多年的數(shù)學(xué)黑竞，也拿了不少獎捕发，最遺憾的是總是拿不到一等獎。現(xiàn)在也只能把它作為消遣的工具了很魂。
我用了一個多小時解出最終結(jié)果扎酷，證明這么多年的書還是有點用；不過現(xiàn)在英語和計算機才是我的主道遏匆，寫完文章還是老老實實去聽英語吧霞玄！
