兩個(gè)三角形對(duì)偶恒等式

董林

近日，筆者發(fā)現(xiàn)了涉及三角形各邊上的高及旁切圓半徑的兩個(gè)對(duì)偶恒等式.

定理 在△ABC中，a，b，c分別為其三邊長(zhǎng)，R，r分別是它的外接圓半徑和內(nèi)切圓半徑，ra，rb，rc 分別為三邊上的旁切圓半徑，ha，hb，hc 分別為三邊上的高.則有：

（1）hbhcra+hcharb+hahbrc=2rR（ra+rb+rc）;

（2）rbrcha+rcrahb+rarbhc=ra+rb+rc.

證明 設(shè)Δ，p分別是△ABC的面積和半周長(zhǎng).

（1）由ha=2Δa，hb=2Δb，hc=2Δc，ra=Δp-a，rb=Δp-b，rc=Δp-c得

hbhcra+hcharb+hahbrc

=4Δ（p-abc+p-bca+p-cab）

=4Δabc[a（p-a）+b（p-b）+c（p-c）]

=4Δabc[p（a+b+c）-（a2+b2+c2）]

=4Δabc[2p2-（a2+b2+c2）]

=4Δabc[-2p2+（a+b+c）2-（a2+b2+c2）]

=8Δabc[-p2+（ab+bc+ca）].

又由abc=4RΔ，Δ=rp及海倫-秦九韶公式Δ=p（p-a）（p-b）（p-c）得

2rR（ra+rb+rc）

=8Δ2abcp（Δp-a+Δp-b+Δp-c）

=8Δ3[（p-b）（p-c）+（p-c）（p-a）+（p-a）（p-b）]abcp（p-a）（p-b）（p-c）

=8Δabc[p2-（b+c）p+bc+p2-（c+a）p+ca

+p2-（a+b）p+ab]

=8Δabc[3p2-2p（a+b+c）+（ab+bc+ca）]

=8Δabc[-p2+（ab+bc+ca）]

所以

hbhcra+hcharb+hahbrc=2rR（ra+rb+rc）成立.

（2）rbrcha+rcrahb+rarbhc

=Δ2[a（p-b）（p-c）+b（p-c）（p-a）+c（p-a）（p-b）]

=Δ[a（p-a）+b（p-b）+c（p-c）]2（p-a）（p-b）（p-c）.

又ra+rb+rc

=Δp-a+Δp-b+Δp-c

=Δ[（p-b）（p-c）+（p-c）（p-a）+（p-a）（p-b）]（p-a）（p-b）（p-c）

由（1）的證明可知

a（p-a）+b（p-b）+c（p-c）

=2[（p-b）（p-c）+（p-c）（p-a）+（p-a）（p-b）]，

所以rbrcha+rcrahb+rarbhc=ra+rb+rc成立，證畢.