Пусть в треугольнике АВС сторона АВ больше стороны АС. Докажем, что угол С больше угла В. Для этого отложим на луче АВ отрезокAD, равный стороне АС. Треугольник АСD - равнобедренный. Следовательно, Ð1 = Ð2. Угол 1 составляет часть угла С. Поэтому Ð1 < ÐC. С другой стороны, угол 2 является внешним углом треугольника ВСD. Поэтому Ð2 > ÐB. Следовательно, имеем ÐC > Ð1 = Ð2 > ÐB. Следствие: В произвольном треугольнике против большего угла лежит большая сторона. Докажем, что если в треугольнике АВС угол С больше угла В, то и сторона АВ больше стороны АС. Действительно, эти стороны не могут быть равны, так как в этом случае треугольник АВС был бы равнобедренным и, следовательно, угол С равнялся бы углу В. Сторона АВ не может быть меньше стороны АС, так как в этом случае, по доказанному, угол С был бы меньше угла В. Остается только, что сторона АВ больше стороны АС.
Точка А переходит в точку С по одной окружности, а точка В в точку Д по другой окружности, но чтобы это происходило одновременно, то есть отрезок АВ переходил в СД, окружности должны быть концентрическими (иметь общий центр). Точки А и С лежат на одной окружности, значит АС - её хорда. Одновременно ВД - хорда другой окружности. Из школьного курса известно, что диаметр, перпендикулярный к хорде, делит её пополам, обратным следствием чего является то, что срединный перпендикуляр, восстановленный к хорде, проходит через центр окружности. Восстановив срединные перпендикуляры к хордам АС и ВД получим точку их пересечения. Это и будет центр двух окружностей или центр поворота.
Следствие: В произвольном треугольнике против большего угла лежит большая сторона.
Докажем, что если в треугольнике АВС угол С больше угла В, то и сторона АВ больше стороны АС. Действительно, эти стороны не могут быть равны, так как в этом случае треугольник АВС был бы равнобедренным и, следовательно, угол С равнялся бы углу В. Сторона АВ не может быть меньше стороны АС, так как в этом случае, по доказанному, угол С был бы меньше угла В. Остается только, что сторона АВ больше стороны АС.
Точки А и С лежат на одной окружности, значит АС - её хорда. Одновременно ВД - хорда другой окружности.
Из школьного курса известно, что диаметр, перпендикулярный к хорде, делит её пополам, обратным следствием чего является то, что срединный перпендикуляр, восстановленный к хорде, проходит через центр окружности.
Восстановив срединные перпендикуляры к хордам АС и ВД получим точку их пересечения. Это и будет центр двух окружностей или центр поворота.