> Но ведь возможно, что доказательство неверно, где-то ошибка? > Тест поможет проверить несколько вариантов. Не доказательство, конечно, а сама посылка о том, что данное отношение верно для подобных треугольников или о том, что треугольники подобны (ну не учёл автор доказательства одни из признаков подобности, забыл)...