<?xml version="1.0" encoding="utf-8" standalone="no"?>
<?xml-stylesheet type="text/css" href="a.css"?>
<!DOCTYPE html PUBLIC
    "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN"
    "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="ru">

<head>

<meta http-equiv="content-type" content="text/xml; charset=utf-8" />

<title>Новые встречи с геометрией</title>

</head>

<body>

<h1>Новые встречи с геометрией</h1>

<p class="navigation">

<a href="1_5.xml">← § 5. Теорема Штейнера — Лемуса ←</a> |

<a href="index.html">↑ К оглавлению ↑</a> |

<a href="1_7.xml">→ § 7. Серединный треугольник и прямая Эйлера →</a></p>

<h3>§ 6. Ортотреугольник</h3>

<p>Можно многое узнать, исследуя рисунок 14, на котором изображены
остроугольный треугольник <i>ABC</i>, центр <i>O</i> описанной вокруг
него окружности, ортоцентр <i>H</i> и ортотреугольник <i>DEF</i>.

<table class="b"><tr><td>

<svg width="282" height="246" viewBox="0 0 564 492"
  xmlns="http://www.w3.org/2000/svg"
  xmlns:xlink="http://www.w3.org/1999/xlink">
  <desc>Рисунок 14</desc>

<circle class="thin" cx="283" cy="293" r="260" />

<polygon class="thick bevel" points="59,425 507,425 195,48.3451" />

<polyline class="thin" points="59,425 283,293 507,425" />

<line class="thin" x1="283" y1="425" x2="283" y2="293" />


<line class="thin" x1="195" y1="46" x2="195" y2="425" />

<line class="thin" x1="507" y1="425" x2="110.6710" y2="281.8962" />

<line class="thin" x1="59" y1="425" x2="324.6933" y2="204.9144" />

<polygon class="thin bevel" points="195,425 324.6933,204.9144 110.6710,281.8962" />

<path class="thin" d="M 507,425 m -44.6540,-53.9075 a70,70 0 0,0 -21.1856,30.1346" />

<text x="195" y="33">A</text>

<text x="283" y="462">A′</text>

<text x="30" y="446">B</text>

<text x="524" y="446">C</text>

<text x="192" y="462">D</text>

<text x="343" y="200">E</text>

<text x="90" y="280">F</text>

<text x="170" y="295">H</text>

<text x="306" y="295">O</text>

<text x="98" y="376">α</text>

<text x="118" y="416">α</text>

<text x="182" y="380">α</text>

<text x="209" y="380">α</text>

<text x="428" y="368">α</text>

</svg>

</td></tr><tr><td class="ris">Рис. 14.</td></tr></table>

Объясним, почему мы обозначили несколько углов на рисунке одним и тем же
символом α, имеющим значение

<math xmlns="http://www.w3.org/1998/Math/MathML">
<mn>90°</mn><mo>−</mo><mover><mi>A</mi><mo>^</mo></mover>
</math>.

Во-первых, так как треугольник
<i>OA′C</i> подобен треугольнику <i>JBC</i>, изображенному
на рисунке 1, то

<math xmlns="http://www.w3.org/1998/Math/MathML">
<mover><mrow><mi>A</mi><mo>′</mo><mi>O</mi><mi>C</mi></mrow><mo>^</mo></mover>
<mo>=</mo><mover><mi>A</mi><mo>^</mo></mover>
</math>.

Таким образом, величина каждого из углов при основании равнобедренного
треугольника <i>ОВС</i> равна

<math xmlns="http://www.w3.org/1998/Math/MathML">
<mn>90°</mn><mo>−</mo><mover><mi>A</mi><mo>^</mo></mover>
</math>.

Из прямоугольных треугольников <i>ABE</i> и
<i>ACF</i> мы получаем те же значения для углов <i>EBA</i> и <i>ACF</i>.
Равенство последних двух углов можно было бы увидеть из того факта, что
четырехугольник <i>BCEF</i> является вписанным, так как углы <i>BEC</i>
и <i>BFC</i> — прямые. Аналогично, используя четырехугольники
<i>BDHF</i> и <i>CEHD</i>, мы находим, что</p>

<p class="f">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mover><mrow><mi>H</mi><mi>D</mi><mi>F</mi></mrow><mo>^</mo></mover><mo>=</mo>
<mover><mrow><mi>H</mi><mi>B</mi><mi>F</mi></mrow><mo>^</mo></mover><mo>=</mo>
<mover><mrow><mi>E</mi><mi>B</mi><mi>F</mi></mrow><mo>^</mo></mover><mo>=</mo>
<mover><mrow><mi>E</mi><mi>C</mi><mi>F</mi></mrow><mo>^</mo></mover><mo>=</mo>
<mover><mrow><mi>E</mi><mi>C</mi><mi>H</mi></mrow><mo>^</mo></mover><mo>=</mo>
<mover><mrow><mi>E</mi><mi>D</mi><mi>H</mi></mrow><mo>^</mo></mover>
</math>.</p>

<p>Таким образом, отрезок <i>HD</i> является биссектрисой угла
<i>EDF</i>.</p>

<p>Из тех же соображений получаем, что отрезок <i>HE</i> делит пополам
угол <i>FED</i>, а отрезок <i>HF</i> — угол <i>DFE</i>. Поэтому мы можем
сформулировать следующий весьма интересный результат: высоты в
треугольнике являются биссектрисами его ортотреугольника. Этот результат
можно иначе записать в следующем виде:</p>

<p><em>Теорема</em> 1.61. <i>Ортоцентр остроугольного треугольника
является центром окружности, вписанной в его ортотреугольник</i>.</p>

<p>Мы уже отметили на рисунке 14, что

<math xmlns="http://www.w3.org/1998/Math/MathML">
<mover><mrow><mi>H</mi><mi>D</mi><mi>F</mi></mrow><mo>^</mo></mover><mo>=</mo>
<mover><mrow><mi>D</mi><mi>B</mi><mi>O</mi></mrow><mo>^</mo></mover></math>.

А так как отрезок <i>HD</i> перпендикулярен отрезку <i>DB</i>, то и
отрезок <i>FD</i> должен быть перпендикулярен отрезку <i>OB</i>.
Аналогично показывается перпендикулярность отрезков <i>DE</i> и
<i>OC</i>, а также <i>EF</i> и <i>OA</i>.</p>

<h4>Упражнения</h4>

<p>1. △<i>AEF</i> ∽ △<i>DBF</i> ∽ △<i>DEC</i> ∽ △<i>ABC</i> (рис. 14).</p>

<p>2. Нарисуйте другой вариант рисунка 14, в котором угол при вершине
<i>A</i> — тупой. Какое из вышеприведенных заключений должно быть
изменено?</p>

<p>3. Ортоцентр тупоугольного треугольника является центром вневписанной
окружности к ортотреугольнику.</p>

<p>4.

<math xmlns="http://www.w3.org/1998/Math/MathML">
<mover><mrow><mi>H</mi><mi>A</mi><mi>O</mi></mrow><mo>^</mo></mover><mo>=</mo>
<mfenced open="|" close="|"><mrow>
<mover><mi>B</mi><mo>^</mo></mover><mo>−</mo>
<mover><mi>C</mi><mo>^</mo></mover>
</mrow></mfenced></math>.

</p>

<p class="navigation">

<a href="1_5.xml">← § 5. Теорема Штейнера — Лемуса ←</a> |

<a href="index.html">↑ К оглавлению ↑</a> |

<a href="1_7.xml">→ § 7. Серединный треугольник и прямая Эйлера →</a></p>

</body>

</html>
