| △ABCは鈍角三角形ゆえ cosAcosBcosC≠0 ∴ (BC)/(cosA)+(CA)/(cosB)+(AB)/(cosC)={(BC)/(cosA)}・tanB・tanC ⇔BCcosBcosC+CAcosCcosA+ABcosAcosB=BCsinBsinC (A) ∴(A)を証明します。 ((A)の左辺)-((A)の右辺)=BCcos(B+C)+CAcosCcosA+ABcosAcosB (∵)加法定理 =BCcos(π-A)+CAcosCcosA+ABcosAcosB =-BCcosA+CAcosCcosA+ABcosAcosB =(CAcosC+ABcosB-BC)cosA (A)' 後は余弦定理を使ってcosB,cosCをAB,BC,CAで表して(A)'に代入し、整理すれば ((A)の左辺)-((A)の右辺)=0 を示すことができます。
|