|
先上下拉伸成圆,显然不改变三者长度,如图所示。
依题意可知此时 $ABCD$ 为正方形,其边长为 $a$,则由相似比例易得
\begin{align*}
\frac{EF}{DC}&=\frac{PG}{PH}\iff EF=\frac{a\cdot PG}{PH}, \\
\frac{EA}{HD}&=\frac{AD}{PH}\iff EA=\frac{a\cdot GA}{PH}, \\
\frac{FB}{HC}&=\frac{BC}{PH}\iff FB=\frac{a\cdot GB}{PH},
\end{align*}
故
\[EF^2=EA\cdot FB\iff PG^2=GA\cdot GB,\]
显然成立,得证。
PS、少点感叹号。 |
|