垂足三角形という言葉はいろいろな意味に用いられているようですが,
ここでは
    三角形の3頂点から対辺に下ろした垂線の足3点から構成される三角形
という狭義の意味で用います。

% --- re124.tex ----------------------------------------------
\documentclass{jarticle}
\usepackage{emathPh}
\usepackage{emathThmbx}

\boxedtheorem<frame=itemshadebox>{teiri}{定理}
\boxedtheorem<frameoption=[l]>{hodai}{補題}

\begin{document}
九点円を前提とします。
\begin{center}
%
% 九点円
%
\small
\begin{zahyou*}[ul=15mm](0,4)(0,2.4)
\tenretu{A(2.5,2.4)n;B(0,0)w;C(4,0)e}%  三角形の頂点の座標
\Bunten\B\C11\L%                    各辺の中点
\Bunten\C\A11\M
\Bunten\A\B11\N
\Suisen\A\B\C\P%                    垂線の足
\Suisen\B\C\A\Q
\Suisen\C\A\B\R
\LandL\B\Q\C\R\H%                   垂心
\Bunten\A\H11\D%                    H と各頂点の中点
\Bunten\B\H11\E
\Bunten\C\H11\F
\Put\H(5pt,-1pt)[l]{H}%             各点のラベル
\Put\P(0,-2pt)[t]{P}%
\Put\L(0,-2pt)[t]{L}%
\Put\R(0,2pt)[rb]{R}%
\Put\N(0,2pt)[rb]{N}%
\Put\Q(0,2pt)[lb]{Q}%
\Put\M(0,2pt)[lb]{M}%
\Put\D(0,1pt)[lb]{D}%
\Put\E(0,0)[rb]{E }%
\Put\F(2pt,1pt)[l]{F}%
\Gaisetuen\L\M\N%                      九点円
\Drawlines{\A\P;\B\Q;\C\R}%            点を結ぶ
\Takakkei{\A\B\C}%                     三角形描画
\kuromaru{\L;\M;\N;\P;\Q;\R;\D;\E;\F}% 九点に黒丸
\end{zahyou*}
\end{center}
\begin{hodai}
垂足三角形の一辺の長さについては
\[ \mathrm{QR}=a\cos A \]
が成り立つ。
\end{hodai}
と
\begin{hodai}
九点円の半径は，\sankaku{ABC}の外接円の半径の$\bunsuu12$である。
\end{hodai}
から
\begin{teiri}<tuikamidasi=【垂足三角形の面積】>
\sankaku{ABC}の垂足三角形\sankaku{PQR}の面積は
\[ \sankaku{PQR}=2S\cos A\cos B\cos C \]
である。ただし，$S$は\sankaku{ABC}の面積である。
\end{teiri}

\noindent
が導かれる。
\end{document}

▼関連発言
│
└◆124:三角形の面積(感動の押しつけ) [田中徹] 10/31 12:13
　└◆125:垂足三角形 [tDB] 10/31 20:36
　　├◆126:Re:垂足三角形 [田中徹] 10/31 23:01
　　└◆127:Re:垂足三角形 [tDB] 11/01 09:46<-last