設(shè)O為銳角△ABC的外心,R為△ABC的外接圓半徑,AO,BO,CO的延長(zhǎng)線分別交BC,CA,AB于點(diǎn)D,E,F,求證:(1/AD)+(1/BE)+(1/CF)=(2/R)
證明 設(shè)K,M,N分別是銳角△ABC邊BC,CA,AB上的中點(diǎn),連OK,OM,ON.
∵AO=BO=CO=R,OK=R*cosA,OM=R*cosB,ON=R*cosC.
∠DOK=｜(B-C)｜,∠EOM=｜(C-A)｜,∠FON=｜(A-B)｜.
∴AD=AO+OK/cos(B-C)=R+R*cosA/cos(B-C)
=2R*sinB*sinC/cos(B-C).
同樣可得:
BE=2R*sinC*sinA/cos(C-A);
CF=2R*sinA*sinB/cos(A-B).
故 1/AD+1/BE+1/CF
=[1/(2R)]*[cos(B-C)/sinB*sinC+cos(C-A)/sinC*sinA+cos(A-B)/sinA*sinB]
=[1/(2R)]*[cotB*cotC+cotC*cotA+cotA*cotB+3]
=[1/((2R)]*(1+3)=2/R
最后一步用到恒等式:
cotB*cotC+cotC*cotA+cotA*cotB=1.
另一種證法
設(shè)ha,hb,hc分別是△ABC邊BC,CA,AB上的高,BC=a,CA=b,AB=c,S表示其面積.
∵1/AD=cos(B-C)/ha,1/BE=cos(C-A)/hb,1/CF=cos(A-B)/hc
S=(sinA*bc)/2=2R^2*4sinA*sinB*sinC
∴1/AD+1/BE+1/CF
=a*cos(B-C)/(2S)+b*cos(C-A)/(2S)+c*cos(A-B)/(2S)
=[a*cos(B-C)+b*cos(C-A)+c*cos(A-B)]/(2S)
=R*[sinA*con(B-C)+sinB*cos(C-A)+sinC*cos(A-B)]/S
=(R/S)*[sin(B+C)*con(B-C)+sin(C+A)*cos(C-A)+sin(A+B)*cos(A-B)]
=(R/S)*[sin(2A)+sin(2B)+sin(2C)
=(R/S)*[4sinA*sinB*sinC]
=(R/S)*[S/(2R^2)]=2/R.