|
本帖最后由 hbghlyj 于 2023-1-5 12:36 编辑 第 1 章 外接圆与内切圆
1.1 预备知识
1.1.1 直线上点的坐标化
<svg viewBox="0 0 550.569 340.708" xmlns="http://www.w3.org/2000/svg" style="height:200px">
<defs>
<marker id="arrow" viewBox="-10 -5 10 10" refX="-12" refY="0" markerWidth="15" orient="auto" markerHeight="20">
<path class="cool" d="M0,5L-10,0L0,-5"></path>
</marker>
</defs>
<line style="display : initial; fill : rgb(216, 216, 216); stroke : rgb(0, 0, 0);" x2="246.523" y2="54.046" x1="109.355" y1="299.305" marker-start="url(#arrow)"></line>
<line style="fill: rgb(216, 216, 216); stroke: rgb(0, 0, 0);" x1="297.724" y1="300.147" x2="245.259" y2="51.096" marker-start="url(#arrow)"></line>
<line style="fill: rgb(216, 216, 216); stroke: rgb(0, 0, 0);" x1="410.24" y1="299.515" x2="246.523" y2="53.624" marker-start="url(#arrow)"></line>
<line style="fill: rgb(216, 216, 216); stroke: rgb(0, 0, 0);" x1="0" y1="299.515" x2="544.248" y2="296.987"></line>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 26.5px; font-style: italic;" x="96.582" y="333.53">B</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 26.5px; font-style: italic;" x="290.45" y="333.437">X</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 26.5px; font-style: italic;" x="98.609" y="328.8" transform="matrix(1, 0, 0, 1, 306.318156, 1.979662)">C</text>
<circle cx="297.856" cy="298.032" rx="4.217" r="4.217"></circle>
<circle cx="408.404" cy="297.27" rx="4.217" r="4.217"></circle>
<circle cx="110.183" cy="298.581" rx="4.217" r="4.217"></circle>
<circle cx="297.856" cy="298.032" rx="4.217" r="4.217" transform="matrix(1, 0, 0, 1, -51.645798, -244.045918)"></circle>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 26.5px; font-style: italic;" x="240.127" y="40.161">P</text>
</svg>
设 $B,C$ 是直线 $L$ 上的两个定点,直线 $L$ 上的每一个点 $X$ 都可以用下述几种方法之一
来进行坐标化:
⑴ 分比: $t ={BX\over XC}$
⑵ 绝对重心坐标: $X$ 的表达式是点 $B$ 与点 $C$ 的一个凸组合:$$X = (1 - t ) B +tC$$表示对于直线 $\mathcal L$ 外的任意一点 $P$ ,向量 $\bf PX$ 是向量 $\bf PB$ 与 $\bf PC$ 的一个线性组合:$$\mathbf{P X}=(1-t) \mathbf{P B}+t \mathbf{P C}$$⑶ 齐次重心坐标:比 $XC : BX$ ,表示在点 $B,C$ 处放上成这一比例的质量,则点 $X$ 就是这个(两质点)运算系统的平衡点.
1.1.2 两个圆的位似中心
考虑两个圆 $O (R )$ 和 $I (r )$,圆心距 $OI = d$ .令点 $X$ 在圆 $O (R )$ 上运动,并自点 $I$ 作射线 $OX$ 的反向平行射线,交圆 $I (r )$ 于点 $Y$. 你会发现直线 $XY$ 与直线 $OI$ 始终交于同一个点 $P$. 我们称这个定点为这两个圆的内位似中心.它分线段 $OI$ 成比例 $OP : PI = R : r$.点 $P$ 关于线段 $OI$ 的绝对重心坐标是$$P=\frac{R \cdot I+r \cdot O}{R+r}$$<svg style="height:200px" viewBox="0 0 931.1 276.053" xmlns="http://www.w3.org/2000/svg">
<line style="stroke-width:3px; stroke: red;" x1="231.25" y1="133.922" x2="101.349" y2="213.111" transform="matrix(1, 0, 0, 1, 324.364626, -33.157895)"></line>
<line style="stroke-width:3px; stroke: red;" x1="221.888" y1="139.773" x2="109.931" y2="208.43"></line>
<line style="stroke-width:3px; stroke:#000;" x1="389.756" y1="108.466" x2="-54.698" y2="215.447" transform="matrix(1, 0, 0, 1, 165.508138, -8.662555)"></line>
<line style="stroke:blue;stroke-width:3px" x1="110.729" y1="207.561" x2="884.064" y2="140.367"></line>
<line style="stroke:red;stroke-width:3px" x1="424.419" y1="180.496" x2="555.52" y2="100.177"></line>
<circle style="fill: none; stroke: rgb(0, 0, 0);stroke-width:3px" cx="221.239" cy="140.012" rx="118.64" r="130"></circle>
<circle cx="110.501" cy="208.284" r="5.762"></circle>
<circle cx="110.501" cy="208.284" transform="matrix(1, 0, 0, 1, 110.343147, -68.472561)" r="5.762"></circle>
<circle cx="110.501" cy="208.284" transform="matrix(1, 0, 0, 1, 278.634235, -68.240966)" r="5.762"></circle>
<circle cx="110.501" cy="208.284" rx="5.762" transform="matrix(1, 0, 0, 1, 379.76319, -68.009377)" r="5.762"></circle>
<circle cx="110.501" cy="208.284" ry="5.762" transform="matrix(1, 0, 0, 1, 314.917101, -27.248972)" r="5.762"></circle>
<circle cx="110.501" cy="208.284" ry="5.762" transform="matrix(1, 0, 0, 1, 444.261755, -108.22943)" r="5.762"></circle>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 25px; font-style: italic;" x="562.868" y="91.486">Y</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 25px; font-style: italic;" x="562.868" y="91.486" transform="matrix(1, 0, 0, 1, -161.507251, 121.402082)">Y'</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 25px; font-style: italic;" x="497.58" y="165.376">I</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 25px; font-style: italic;" x="497.58" y="165.376" transform="matrix(1, 0, 0, 1, -110.479963, -39.143921)">P</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 25px; font-style: italic;" x="211.959" y="126.088">O</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 25px; font-style: italic;" x="79.094" y="228.56">X</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 25px; font-style: italic;" x="79.094" y="228.56" transform="matrix(1, 0, 0, 1, 804.617928, -100.226677)">Q</text>
<circle style="fill: none; stroke: rgb(0, 0, 0);stroke-width:3px" cx="490.515" cy="140.339" rx="118.64" r="77"></circle>
<line style="stroke-width:3px;stroke:#000" x1="11.282" y1="138.92" x2="925.803" y2="140.363"></line>
<circle cx="883.925" cy="140.925" rx="5.762" r="5.762"></circle>
</svg>
另一方面,如果我们自点 $I$ 作射线同向平行于射线 $OX$ 交圆 $I (r)$ 于点 $Y '$, 则直线 $XY'$ 与 $OI$ 始终交于另一个点 $Q$. 此点是这两个圆的外位似中心.它分线段 $OI$ 成比例 $OQ : QI=R : -r$ ,并具有绝对重心坐标$$Q=\frac{R \cdot I-r \cdot O}{R-r}$$1.1.3 调和分割
如果$\frac{B X}{X C}=-\frac{B Y}{Y C}$, 则两点 $X,Y$ 称为调和分割另外两点 $B,C$. 它们关于线段 $BC$ 互为调和共轭点.
(译者注:这里应要求 $X,Y,B,C$ 是共线的四点.)
练习
⒈ 若点 $X,Y$ 调和分割点 $B,C$,则点 $B,C$ 也调和分割点 $X,Y$.
⒉ 已知直线 $BC$ 上的一点 $X$,作出它关于线段 $BC$ 的调和共轭点. 区分点 $X$ 内分与外分 $BC$ 这两种情形.
(脚注:利用两圆位似中心的概念.)
⒊ 已知 $B,C$ 是两个定点,则使得 $|BP| : |CP| = k$(常数)的 $P$ 点的轨迹是一个圆.
1.1.4 梅涅劳斯定理与塞瓦定理
考虑三角形 $ABC$ 和分别在边线 $BC,CA,AB$ 上的点 $X,Y,Z$.
边线(sideline): 三角形的边所在的直线
梅涅劳斯定理
点 $X ,Y,Z$ 共线当且仅当$\frac{B X}{X C} \cdot \frac{C Y}{Y A} \cdot \frac{A Z}{Z B}=-1$
<svg viewBox="0 0 1620.533 480.255" xmlns="http://www.w3.org/2000/svg" xmlns:bx="https://boxy-svg.com" style="height:200px">
<line style="fill: rgb(216, 216, 216); stroke: red;stroke-width:3px" x1="805.45" y1="204.03" x2="23.308" y2="479.955"></line>
<polygon style="fill:none;stroke-width:3px;stroke:#000" points="500.858 72.843 431.96 427.619 869.055 428.961"></polygon>
<line style="fill: rgb(216, 216, 216); stroke: red;stroke-width:3px" x1="878.676" y1="-40.058" x2="1098.354" y2="314.4" transform="matrix(1, 0, 0, 1, 343.314638, 112.49285)"></line>
<line style="fill: rgb(216, 216, 216); stroke: red;stroke-width:3px" x1="1042.109" y1="31.046" x2="1435.832" y2="254.97" transform="matrix(1, 0, 0, 1, 153.3513, 172.630657)"></line>
<line style="fill: rgb(216, 216, 216); stroke: red;stroke-width:3px" x1="554.995" y1="259.215" x2="282.253" y2="419.464" transform="matrix(1, 0, 0, 1, 868.633643, 5.306656)"></line>
<line style="fill:none;stroke-width:3px;stroke:#000" x1="12.696" y1="428.131" x2="972.066" y2="428.131"></line>
<polygon style="fill:none;stroke-width:3px;stroke:#000" points="1220.177 69.629 1151.279 424.405 1588.374 425.747"></polygon>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871"></circle>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871" transform="matrix(1, 0, 0, 1, -52.339452, 258.094262)"></circle>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871" transform="matrix(1, 0, 0, 1, -72.030066, 356.377952)"></circle>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871" transform="matrix(1, 0, 0, 1, -334.783073, 355.121594)"></circle>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871" transform="matrix(1, 0, 0, 1, 180.940638, 175.576369)"></circle>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871" transform="matrix(1, 0, 0, 1, 365.123086, 355.000511)"></circle>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871" transform="matrix(1, 0, 0, 1, 861.14108, 227.126374)"></circle>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871" transform="matrix(1, 0, 0, 1, 691.755008, 131.421235)"></circle>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871" transform="matrix(1, 0, 0, 1, 646.905728, 352.464054)"></circle>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871" transform="matrix(1, 0, 0, 1, 938.425991, 352.864506)"></circle>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871" transform="matrix(1, 0, 0, 1, 1085.387406, 353.665373)"></circle>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871" transform="matrix(1, 0, 0, 1, 718.984908, -2.25898)"></circle>
<circle cx="502.534" cy="72.843" rx="6.871" r="6.871" transform="matrix(1, 0, 0, 1, 919.605292, 191.55392)"></circle>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="492.87" y="51.859">A</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="492.87" y="51.859" transform="matrix(1, 0, 0, 1, 711.377826, 6.799724)">A</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="492.87" y="51.859" transform="matrix(1, 0, 0, 1, 188.325978, 179.265469)">Y</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="492.87" y="51.859" transform="matrix(1, 0, 0, 1, 950.240262, 216.489736)">Y</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="492.87" y="51.859" transform="matrix(1, 0, 0, 1, 654.32765, 161.909633)">Z</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="492.87" y="51.859" transform="matrix(1, 0, 0, 1, -88.35121, 264.673712)">Z</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="149.026" y="471.375">X</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="492.87" y="51.859" transform="matrix(1, 0, 0, 1, 933.928218, 423.660559)">X</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="398.201" y="470.28" bx:origin="0.448 0.513">B</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="398.201" y="477.28" transform="matrix(1, 0, 0, 1, 710.668853, -8.656202)" bx:origin="0.448 0.513">B</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="1592.331" y="475.069">C</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="865.214" y="473.523">C</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="1365.016" y="281.352">P</text>
</svg>
塞瓦定理
直线 $AX,BY,CZ$ 共点当且仅当$\frac{B X}{X C} \cdot \frac{C Y}{Y A} \cdot \frac{A Z}{Z B}=+1$
调和共轭点的直尺作图
设 $X$ 是直线 $BC$ 上的一个点,为了作出点 $X$ 关于线段 $BC$ 的调和共轭点,我们可以按下面的步骤进行:
⑴ 在直线 $BC$ 外任取一点 $A$,并作出直线 $AB$ 与 $AC$.
⑵ 在直线 $AX$ 上标出任意一点 $P$,并作直线 $BP,CP$ 各与直线 $CA,AB$ 交于点 $Y$ 和 $Z$.
⑶ 作直线 $YZ$ 与 $BC$ 的交点 $X'$.
<svg viewBox="0 11.526 960.678 468.729" style="height:200px" xmlns="http://www.w3.org/2000/svg" xmlns:bx="https://boxy-svg.com">
<defs></defs>
<line style="fill: rgb(216, 216, 216); stroke: red;stroke-width:3px" x1="134.12" y1="55.525" x2="353.798" y2="409.983"></line>
<line style="fill: rgb(216, 216, 216); stroke: red;stroke-width:3px" x1="107.59" y1="186.767" x2="501.313" y2="410.691"></line>
<line style="fill: rgb(216, 216, 216); stroke: red;stroke-width:3px" x1="335.758" y1="247.612" x2="63.016" y2="407.861"></line>
<polygon style="fill:none;stroke-width:3px;stroke:#000" points="132.306 52.719 63.408 407.495 500.503 408.837"></polygon>
<circle cx="275.804" cy="283.059" rx="6.871" r="6.871"></circle>
<circle cx="106.418" cy="187.354" rx="6.871" r="6.871"></circle>
<circle cx="61.569" cy="408.397" rx="6.871" r="6.871"></circle>
<circle cx="353.089" cy="408.797" rx="6.871" r="6.871"></circle>
<circle cx="500.051" cy="409.598" rx="6.871" r="6.871"></circle>
<circle cx="133.648" cy="53.674" rx="6.871" r="6.871"></circle>
<circle cx="334.269" cy="247.487" rx="6.871" r="6.871"></circle>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="116.377" y="41.749">A</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="345.24" y="234.439">Y</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="59.327" y="196.859">Z</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="338.928" y="458.61">X</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="20.999" y="451.714" bx:origin="0.448 0.513">B</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="504.46" y="458.159">C</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="254.598" y="324.566">P</text>
<polyline style="fill:none;stroke:#000;stroke-width:3px" points="106.622 186.469 936.621 411.944 62.003 406.308"></polyline>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="338.928" y="458.61" transform="matrix(1, 0, 0, 1, 574.0507, -13.47217)">X'</text>
<circle cx="933.892" cy="411.081" rx="6.871" r="6.871"></circle>
</svg>
则点 $X$ 和 $X'$ 调和分割点 $B$ 和 $C$.
1.1.5 点关于圆的幂
点 $P$ 关于圆 $C=O(R)$ 的幂就是数值 $C(P):=O P^2-R^2$.
幂是正值,零,或负值取决于点 $P$ 位于圆外,圆上,或圆内.
如果它是正的,其值就等于自点 $P$ 所引该圆的切线段长的平方.
<svg viewBox="0 0 798.642 584.814" height="200px" xmlns="http://www.w3.org/2000/svg">
<line style="stroke:blue;stroke-width:5px" x1="63.921" y1="393.848" x2="735.533" y2="435.144"></line>
<polyline style="fill:none;stroke:red;stroke-width:5px" points="499.477 117.529 734.897 433.921 349.529 525.39"></polyline>
<circle style="fill:none;stroke:#000;stroke-width:5px" cx="292.224" cy="271.465" r="256.914"></circle>
<circle style="fill:#000" cx="291.827" cy="271.576" r="8.529"></circle>
<circle style="fill:#000" cx="291.827" cy="271.576" r="8.529" transform="matrix(1, 0, 0, 1, 208.243272, -154.486979)"></circle>
<circle style="fill:#000" cx="291.827" cy="271.576" r="8.529" transform="matrix(1, 0, 0, 1, 210.416771, 148.353848)"></circle>
<circle style="fill:#000" cx="291.827" cy="271.576" r="8.529" transform="matrix(1, 0, 0, 1, 444.430112, 163.56834)"></circle>
<circle style="fill:#000" cx="291.827" cy="271.576" r="8.529" transform="matrix(1, 0, 0, 1, -227.180994, 122.271864)"></circle>
<circle style="fill:#000" cx="291.827" cy="271.576" r="8.529" transform="matrix(1, 0, 0, 1, 58.27186, 253.406276)"></circle>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 40px; font-style: italic;" x="16.816" y="429.782">X</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 40px; font-style: italic;" x="16.816" y="429.782" transform="matrix(1, 0, 0, 1, 743.619881, 32.924865)">P</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 40px; font-style: italic;" x="520.282" y="468.742">Y</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 40px; font-style: italic;" x="336.429" y="582.43">T'</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 40px; font-style: italic;" x="279.644" y="254.348">O</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 40px; font-style: italic;" x="513.747" y="107.135">T</text>
</svg>
相交弦定理
若经过点 $P$ 的直线 $\mathcal L$ 交圆 $C$ 于 $X,Y$ 两点,则乘积 $PX · PY$ (有向长度)的值就等于点 $P$ 关于此圆的幂.
1.2 三角形的外接圆与内切圆
对于一般的三角形 $ABC$,我们将用 $a,b,c$ 分别表示边 $BC,CA,AB$ 的长度.
1.2.1 外接圆
三角形 $ABC$ 的外接圆是唯一经过三个顶点 $A,B,C$ 的圆.其圆心,即外心 $O$,是三边垂直平分线的交点.
外接圆半径 $R$ 由正弦定理给出:$2 R=\frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}$
<svg viewBox="5.397 10.794 1104.417 472.218" height="200px" xmlns="http://www.w3.org/2000/svg">
<polygon style="fill:none;stroke:#000;stroke-width:3px" points="133.231 72.487 72.392 374.803 444.328 372.921"></polygon>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="628.8" y="286.097">X</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="799.081" y="313.787">I</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="628.8" y="286.097" transform="matrix(1, 0, 0, 1, -9.721312, 168.319203)">B</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="628.8" y="286.097" transform="matrix(1, 0, 0, 1, 134.97509, 169.634629)">Y</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="879.022" y="214.379">Z</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="705.688" y="54.966">A</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="705.688" y="54.966" transform="matrix(1, 0, 0, 1, -583.016731, 2.631247)">A</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="628.8" y="286.097" transform="matrix(1, 0, 0, 1, 439.440256, 162.838231)">C</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="457.116" y="406.842">C</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="628.8" y="286.097" transform="matrix(1, 0, 0, 1, -590.644559, 122.71785)">B</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="628.8" y="286.097" transform="matrix(1, 0, 0, 1, -360.445752, -22.636253)">O</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 35px; font-style: italic;" x="628.8" y="286.097" transform="matrix(1, 0, 0, 1, -385.60319, 135.214382)">D</text>
<polyline style="stroke-width:3px;stroke: rgb(0, 0, 0);fill:none" points="71.534 374.285 258.982 253.266 258.982 374.943"></polyline>
<path style="fill:none;stroke:#000;stroke-width:3px" d="M 234.119 269.334 C 227.848 273.407 257.719 290.131 257.808 284.337"></path>
<circle style="fill:none;stroke:red;stroke-width:3px" cx="781.93" cy="298.559" rx="114.339" r="114.339"></circle>
<circle cx="641.955" cy="412.678" rx="5.747" r="5.747"></circle>
<polygon style="fill: none; stroke: rgb(0, 0, 0); stroke-width: 3px;" points="711.965 70.783 643.051 411.243 1064.351 412.222"></polygon>
<circle cx="641.955" cy="412.678" rx="5.747" r="5.747" transform="matrix(1, 0, 0, 1, 27.780698, -136.783942)"></circle>
<circle cx="641.955" cy="412.678" rx="5.747" r="5.747" transform="matrix(1, 0, 0, 1, 140.02396, -114.574074)"></circle>
<circle cx="641.955" cy="412.678" rx="5.747" r="5.747" transform="matrix(1, 0, 0, 1, 219.119599, -196.392211)"></circle>
<circle cx="641.955" cy="412.678" rx="5.747" r="5.747" transform="matrix(1, 0, 0, 1, 139.256456, -1.206604)"></circle>
<circle cx="641.955" cy="412.678" rx="5.747" r="5.747" transform="matrix(1, 0, 0, 1, 422.238094, -0.79449)"></circle>
<circle cx="641.955" cy="412.678" rx="5.747" r="5.747" transform="matrix(1, 0, 0, 1, 70.219799, -342.375223)"></circle>
<circle cx="641.955" cy="412.678" rx="5.747" r="5.747" transform="matrix(1, 0, 0, 1, -383.914643, -38.549713)"></circle>
<circle cx="641.955" cy="412.678" rx="5.747" r="5.747" transform="matrix(1, 0, 0, 1, -195.771914, -37.876582)"></circle>
<circle cx="641.955" cy="412.678" rx="5.747" r="5.747" transform="matrix(1, 0, 0, 1, -382.904933, -159.827096)"></circle>
<circle cx="641.955" cy="412.678" rx="5.747" r="5.747" transform="matrix(1, 0, 0, 1, -568.916063, -36.64244)"></circle>
<circle cx="134.285" cy="71.954" rx="5.747" r="5.747"></circle>
<path style="fill:none; stroke: rgb(0, 0, 0);stroke-width:3px" d="M 127.036 104.116 C 130.803 112.374 160.358 103.029 156.591 94.771"></path>
<circle style="stroke: rgb(0, 0, 0); fill: none;stroke-width:3px" cx="259.152" cy="253.062" rx="222.567" r="222.567"></circle>
</svg>
1.2.2 内切圆
符号说明: S 表示三角形的面积的2倍
内切圆与三条边 $BC,CA,AB$ (不含延长部分)中的每一条都相切.它的圆心,即内心 $I$,是三条内角平分线的交点.内切圆半径 $r$ 与三角形的面积 $\frac12S$ 之间有如下关系$$S=(a+b+c) r$$若内切圆分别与边 $BC,CA,AB$ 切于 $X,Y,Z$ 各点,则$$
A Y=A Z=\frac{b+c-a}{2}, B Z=B X=\frac{c+a-b}{2}, C X=C Y=\frac{a+b-c}{2} .
$$
这些表达式常通过引入半周长 $s=\frac{1}{2}(a+b+c)$ 来化简为:
$$
A Y=A Z=s-a \quad, \quad B Z=B X=s-b \quad, \quad C X=C Y=s-c .
$$
同时有 $r=\frac{S}{2 s}$.
1.2.3 圆 $O$ 与圆 $I$ 的位似中心
<svg height="200px" viewBox="0 0 460.809 542.984" xmlns="http://www.w3.org/2000/svg">
<defs></defs>
<polygon style="fill:none;stroke:#000;stroke-width:3px" points="109.355 89.865 49.305 393.911 420.354 393.279"></polygon>
<circle cx="49.964" cy="393.265" rx="5.762" r="5.762"></circle>
<path style="fill:none;stroke:#f00;stroke-width:3px" d="M 173.346 291.467 L 172.743 393.345 L 236.041 52.142 L 235.438 494.621 L 122.105 310.757"></path>
<ellipse style="fill:none;stroke:#000;stroke-width:3px" cx="173.538" cy="293.275" rx="101.278" ry="101.278"></ellipse>
<line style="fill:none;stroke:#000;stroke-width:3px" x1="120.088" y1="308.82" x2="236.18" y2="273.435"></line>
<circle cx="49.964" cy="393.265" rx="5.762" r="5.762" transform="matrix(1, 0, 0, 1, 23.074462, -119.828211)"></circle>
<circle cx="49.964" cy="393.265" rx="5.762" r="5.762" transform="matrix(1, 0, 0, 1, 70.497901, -85.457091)"></circle>
<circle cx="173.541" cy="292.154" rx="5.762" r="5.762"></circle>
<circle cx="49.964" cy="393.265" rx="5.762" r="5.762" transform="matrix(1, 0, 0, 1, 142.720747, -106.340802)"></circle>
<circle cx="49.964" cy="393.265" rx="5.762" r="5.762" transform="matrix(1, 0, 0, 1, 186.228451, -118.95805)"></circle>
<circle cx="49.964" cy="393.265" rx="5.762" r="5.762" transform="matrix(1, 0, 0, 1, 194.494933, -172.907629)"></circle>
<circle cx="110.705" cy="90.924" rx="5.762" r="5.762"></circle>
<circle cx="235.663" cy="52.657" rx="5.762" r="5.762"></circle>
<circle cx="49.964" cy="393.265" rx="5.762" r="5.762" transform="matrix(1, 0, 0, 1, 371.136331, 0.39817)"></circle>
<circle cx="235.887" cy="495.139" rx="5.762" r="5.762"></circle>
<circle cx="173.365" cy="393.674" rx="5.762" r="5.762"></circle>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="95.718" y="74.336">A</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="95.718" y="74.336" transform="matrix(1, 0, 0, 1, 132.89814, -37.118937)">M'</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="255.226" y="213.888">Y</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="435.733" y="417.1">C</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="221.861" y="539.067">M</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="10.29" y="424.191">B</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="149.277" y="436.347">X</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="198.902" y="320.458">T</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="244.527" y="303.439">O</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="158.924" y="283.584">I</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="89.496" y="310.68">T'</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="40.897" y="278.937">Z</text>
<ellipse style="fill:none;stroke:#000;stroke-width:3px" cx="236.064" cy="272.717" rx="222.254" ry="222.254"></ellipse>
</svg>
分别用 $T$ 及 $T'$ 表示三角形 $ABC$ 的外接圆与内切圆的内位似中心及外位似中心,这两个点调和分割线段 $OI$ 成比例$$OT: TI=R : r,OT':T'I=R :-r .$$
练习
⒈ 用塞瓦定理证明直线 $AX,BY,CZ$ 共点.(这个交点称为三角形的约尔刚点).
⒉ 在三角形 $ABC$ 内作三个圆,使其中每个圆都通过约尔刚点并与三角形的两边相切,则 6 个切点共圆.
⒊ 已知三点 $A , B, C$ 不共线,作三个圆分别以 $A , B , C$ 为圆心且互相外切.
⒋ 如果两个圆在一个交点处的两条切线互相垂直,则此两圆称为互相正交.已知不共线的三点 $A, B , C$,作三个圆分别以这些点为圆心并互相正交.
⒌ 两个圆 $A(a)$ 与 $B (b)$ 的圆心距 $AB = d$. 直线 $AB$ 分别与两个圆交于点 $A'$ 及 $B'$ 使 $A , B$ 在 $A',B'$ 之间.
⑴ 自点 $A'$ 引圆 $B(b)$ 的两条切线,作一圆与这两条切线相切并与圆 $A(a)$ 相内切.
⑵ 自点 $B'$ 引圆 $A(a)$ 的两条切线,作一圆与这两条切线相切并与圆 $B(b)$ 相内切.
证明⑴与⑵中所作的两个圆是等圆.
<svg height="200px" viewBox="5.397 10.794 890.33 439.835" xmlns="http://www.w3.org/2000/svg">
<circle style="fill:none; stroke: rgb(0, 0, 0);stroke-width:3px" cx="278.379" cy="230.879" rx="211.774" r="211.774"></circle>
<circle style="fill:none; stroke: rgb(0, 0, 0);stroke-width:3px" cx="717.656" cy="230.938" rx="211.774" r="125.224"></circle>
<polyline style="fill: none; stroke: red;stroke-width:3px" points="693.196 105.816 64.766 230.938 694.137 353.237"></polyline>
<polyline style="fill:none;stroke:blue;stroke-width:3px" points="357.344 34.318 843.718 230.938 359.225 427.087"></polyline>
<circle cx="358.202" cy="33.894" rx="6.192" r="6.192"></circle>
<line style="fill:none; stroke: green;stroke-width:3px" x1="66.362" y1="230.618" x2="843.224" y2="231.579"></line>
<ellipse style="fill:none;stroke:#000;stroke-width:3px" cx="421.787" cy="230.271" rx="68.412" ry="68.412"></ellipse>
<ellipse style="fill:none;stroke:#000;stroke-width:3px" cx="661.325" cy="230.271" rx="68.412" ry="68.412"></ellipse>
<circle cx="66.125" cy="230.732" rx="6.192" r="6.192"></circle>
<circle cx="279.228" cy="230.263" rx="6.192" r="6.192"></circle>
<circle cx="422.665" cy="231.122" rx="6.192" r="6.192"></circle>
<circle cx="491.355" cy="231.122" rx="6.192" r="6.192"></circle>
<circle cx="408.364" cy="298.406" rx="6.192" r="6.192"></circle>
<circle cx="359.658" cy="427.527" rx="6.192" r="6.192"></circle>
<circle cx="692.289" cy="354.468" rx="6.192" r="6.192"></circle>
<circle cx="688.037" cy="295.132" rx="6.192" r="6.192"></circle>
<circle cx="718.188" cy="230.577" rx="6.192" r="6.192"></circle>
<circle cx="659.818" cy="231.737" rx="6.192" r="6.192"></circle>
<circle cx="592.558" cy="230.964" rx="6.192" r="6.192"></circle>
<circle cx="842.659" cy="232.897" rx="6.192" r="6.192"></circle>
<circle cx="687.65" cy="166.86" rx="6.192" r="6.192"></circle>
<circle cx="693.449" cy="105.784" rx="6.192" r="6.192"></circle>
<circle cx="409.395" cy="163.252" rx="6.192" r="6.192"></circle>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="19.265" y="251.702">A'</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="268.231" y="265.478">A</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="697.555" y="265.157">B</text>
<text style="fill: rgb(51, 51, 51); font-family: Arial; font-size: 30px; font-style: italic;" x="856.517" y="254.831">B'</text>
</svg>
⒍ $Z$ 是线段 $AB$ 上的一个定点,作直角三角形 $ABC$,使其内切圆切斜边 $AB$ 于点 $Z$.
[P. Yiu,G. Leversha, and T.Seimiya,Problem 2415 and solution,Crux Math. 25(1999) 110;26(2000) 62―64.]
⒎ (折纸)下图所示的是一个边沿具有统一宽度的长方形薄纸片.纸片的尺寸和形状可以是任意的,但其边沿宽度必须是一致的,且使得里面长方形的面积恰好等于整个纸片面积的一半.你没有直尺或圆规可用,甚至连铅笔也没有,必须完全靠折纸来确定里面的长方形.
<svg viewBox="0 0 761.416 356.754" height="200" xmlns="http://www.w3.org/2000/svg">
<defs></defs>
<rect x="11.043" y="10.502" width="741.254" height="335.801" style="fill:none;stroke:#000;stroke-width:3px"></rect>
<rect x="75.563" y="73.556" width="612.213" height="210.425" style="fill:none;stroke:#000;stroke-width:3px"></rect>
</svg>
⒏ 设 $ABC$ 是一个具有内心 $I$ 的三角形.[Problem 2519,Journal of Recreational Mathematics,30(1999―2000) 151―152]
(1a) 自内切圆在 $BC$ 边切点(在内切圆上)的对径点作内切圆的切线,交 $CA$ 于点 $Y_1$ ,交 $AB$ 于点 $Z_1$.
(1b) 对于边 $CA$,同(a)中的作图,并设所作切线交 $AB$ 于点 $Z_2$ ,交 $BC$ 于点 $X_2$ .
(1c) 对于边 $AB$,同(a)中的作图,并设所作切线交 $BC$ 于点 $X_3$ ,交 $BC$ 于点 $Y_3$ .
(2)注意 $A Y_3=A Z_2$.作一圆分别与 $AC$ 及 $AB$ 切于点 $Y_3$ 及 $Z_2$ .这个圆与三角形 $ABC$ 的外接圆是如何相交的?
⒐ $△ABC$ 的内切圆分别与边 $BC,CA,AB$ 切于点 $D , E, F$. $X$ 是 $△ ABC$ 内一点,使得 $△ XBC$ 的内切圆与边 $BC$ 也切于点 $D$,并分别与边 $CX$ 及 $XB$ 切于点 $Y , Z$.[IMO 1996]
(1) 四点 $E, F, Z, Y$ 共圆.
(2) 圆 $EFZY$ 的圆心的轨迹是什么?
1.2.4 海伦公式
<svg viewBox="0 0 706.642 752.545" id="Heron" height="400px" xmlns="http://www.w3.org/2000/svg">
<polygon style="fill:none;stroke:#000;stroke-width:3px" points="171.611 44.962 107.824 367.443 501.546 368.176"></polygon>
<path style="fill:none;stroke:red;stroke-width:3px" d="M 695.841 680.195 C 680.949 424.398 402.123 281.089 193.955 422.237 C 104.043 483.202 49.504 586.092 48.435 696.767" transform="translate(0,2)"></path>
<circle style="fill:none;stroke-width:3px;stroke:#000" cx="238.598" cy="261.009" rx="107.046" r="107.046"></circle>
<line style="stroke:#000;stroke-width:3px;stroke-dasharray:15 15" x1="106.253" y1="370.549" x2="53.406" y2="629.6"></line>
<polyline style="stroke:#000;stroke-width:3px;stroke-dasharray:15 15;fill:none" points="312.651 182.606 236.71 261.426 502.383 367.899 372.096 689.057 597.339 458.776 502.802 367.959"></polyline>
<line style="stroke:#000;stroke-width:3px;" x1="171.12" y1="45.085" x2="372.263" y2="692.349"></line>
<circle cx="172.275" cy="45.328" rx="6.598" r="5"></circle>
<circle cx="172.275" cy="45.328" rx="6.598" r="5" transform="matrix(1, 0, 0, 1, 65.991794, 215.058149)"></circle>
<circle cx="172.275" cy="45.328" rx="6.598" r="5" transform="matrix(1, 0, 0, 1, -40.25728, 193.381871)"></circle>
<circle cx="172.275" cy="45.328" rx="6.598" r="5" transform="matrix(1, 0, 0, 1, 140.885001, 137.364825)"></circle>
<circle cx="172.275" cy="45.328" rx="6.598" r="5" transform="matrix(1, 0, 0, 1, 199.961708, 321.473943)"></circle>
<circle cx="172.275" cy="45.328" rx="6.598" r="5" transform="matrix(1, 0, 0, 1, 65.861785, 322.586497)"></circle>
<circle cx="172.275" cy="45.328" rx="6.598" r="5" transform="matrix(1, 0, 0, 1, -65.067284, 322.25273)"></circle>
<circle cx="172.275" cy="45.328" rx="6.598" r="5" transform="matrix(1, 0, 0, 1, 330.390025, 323.476543)"></circle>
<circle cx="55.272" cy="627.666" rx="6.598" r="5"></circle>
<circle cx="373.277" cy="690.807" rx="6.598" r="5"></circle>
<circle cx="172.275" cy="45.328" rx="6.598" r="5" transform="matrix(1, 0, 0, 1, 424.401364, 413.441825)"></circle>
<text y="594.997" x="496.559" font-size="30px" font-style="italic" font-family="Times">r<tspan style="font-size: 25px;" dy="4" dx="-2">a</tspan></text>
<text y="731.463" x="365.382" font-size="30px" font-style="italic" font-family="Times">I<tspan style="font-size: 25px;" dy="4" dx="2">a</tspan></text>
<text style="font-family: Times; font-size: 30px; font-style: italic;" x="250.344" y="106.729">s−a</text>
<text style="font-family: Times; font-size: 30px; font-style: italic;" x="412.26" y="268.802">s−c</text>
<text style="font-family: Times; font-size: 30px; font-style: italic;" x="564.389" y="410.695">s−b</text>
<text style="font-family: Times; font-size: 30px; font-style: italic;" x="11.966" y="504.066">s−c</text>
<text style="font-family: Times; font-size: 30px; font-style: italic;" x="76.09" y="387.633">B</text>
<text style="font-family: Times; font-size: 30px; font-style: italic;" x="213.785" y="277.423">I</text>
<text style="font-family: Times; font-size: 30px; font-style: italic;" x="210.859" y="398.044">X</text>
<text style="font-family: Times; font-size: 30px; font-style: italic;" x="321.627" y="183.025">Y</text>
<text style="font-family: Times; font-size: 30px; font-style: italic;" x="96.288" y="243.05">Z</text>
<text style="font-family: Times; font-size: 30px; font-style: italic;" x="255" y="221.329">r</text>
<text style="font-family: Times; font-size: 30px; font-style: italic;" x="155.346" y="33.632">A</text>
<text style="font-family: Consolas; font-size: 30px; font-style: italic;" x="361.309" y="409.767">X′</text>
<text x="608.075" y="456.362" style="font-family: Consolas; font-size: 30px; font-style: italic;">Y′</text>
<text style="font-family: Consolas; font-size: 30px; font-style: italic;" x="11.795" y="638.352">Z′</text>
<text style="font-family: Times; font-size: 30px; font-style: italic;" x="76.09" y="387.633" transform="matrix(1, 0, 0, 1, 442.120496, -10.845843)">C</text>
</svg>
三角形 $ABC$ 的面积由下式给出$$\frac{S}{2}=\sqrt{s(s-a)(s-b)(s-c)}$$
这一公式可以很容易地通过计算三角形的内切圆半径 $r$ 和任一旁切圆的半径来导出.考虑旁切圆 $I_a ( r_a )$ ,它的圆心是角 $A$ 的内角平分线与角 $B$,角 $C$ 的外角平分线的交点.如果内切圆 $I (r)$ 和这个旁切圆分别与直线 $AC$ 切于点 $Y$ 及点 $Y'$ 则
(1) 由相似三角形 $AIY$ 和 $A I_a Y'$ ,得$$\frac{r}{r_{a}}=\frac{s-a}{s}$$
(2) 由相似三角形 $CIY$ 和 $I_a CY'$ ,得$$r \cdot r_{a}=(s-b)(s-c)$$
由此可得$$r=\sqrt{\frac{(s-a)(s-b)(s-c)}{s}}$$
据此我们就得到了著名的关于三角形面积的海伦公式$$\frac{S}{2}=r s=\sqrt{s(s-a)(s-b)(s-c)}$$
练习
⒈ $R=\frac{abc}{2S}$
⒉ $r_{a}=\frac{S}{b+c-a}$
⒊ 设三角形 $ABC$ 的内切圆分别切边 $BC ,CA , AB$ 于点 $X,Y ,Z$. 设 $X' ,Y' ,Z'$ 是点 $X, Y , Z$ 在内切圆上的对径点. 作出射线 $AX', BY'$ 和 $CZ'$. 证明这三条射线分别与三角形相应边的交点也就是对应旁切圆在该边的切点.
⒋ 作出三角形 $ABC$ 的切圆.
(1) 连结各个旁心与对应边的中点.则这三条连线交于一点 $P$(这个点称为三角形 $ABC$ 的中间点(Mittenpunkt)).
(2) 连结各个旁心与内切圆在对应边的切点.则三条连线交于另一点 $Q$.
(3) 直线 $AP$ 和 $AQ$ 关于$∠A$ 的平分线对称;直线 $BP$ 和 $BQ,CP$ 和 $CQ$ 也是对称的(分别关于$∠B ,∠C$ 的角平分线).
⒌ 作出三角形 $ABC$ 的旁切圆.
(1) $D , E, F$ 分别是边 $BC , CA , AB$ 的中点.作出三角形 $DEF$ 的内心 $S$ [脚注: 这个点称为三角形 $ABC$ 的斯俾克点],以及由点 $S$ 对每个旁切圆所引出的切线.
(2) 这 6 个切点共圆,所共之圆与每个旁切圆都正交. |
|