Первый антецедент означает, что площадь треугольника АВС уже входила в какую-либо из посылок. В этой ситуации срабатывает прием, вводящий вспомо¬гательную посылку "актив(площадь(...))", чтобы упростить последующие ссылки на явно рассматриваемые в задаче площади Теорема приема вводит в рассмотрение площади треугольников ABD, BCD и регистрирует в посылках анализатора соот¬ношения, связывающие их с площадью треугольника АВС
Прием имеет заголовок "внутрвывод(смплощадь)" Его фильтр "комментпосылки(1 смплощадь D)" нужен для предотвращения повторного срабатывания с тем же самым разбиением треугольника АВС. После применения данного приема вводится комментарий (смплощадь D) к посылке "актив(5(фигура(/ШСу))", — это делает ука¬затель "примечпосылки(1 смплощадь D)", — и повторные срабатывания оказываются заблокированы. После рабочего дня вы можете расслабиться за просмотром любимых фильмов тут - http://kino-live.org/ .
Фильтры "не(равно(£> А))", "не(равно(£> (7))" отсекают неинтересные случаи сов-падения точки D с концами отрезка АС Наконец, фильтр "усм(актив(прямая(# D)))" требует, чтобы прямая, соединяющая точки В, D, уже была введена в рассмотрение. Заметим, что в том же самом разделе имеется версия данного приема, у которой такая прямая еще не ведена в рассмотрение; тогда вводится ряд дополнительных фильтров, и уровень срабатывания приема повышается
Опубликовал vovan666
February 20 2013 16:17:19 ·
0 Комментариев ·
3506 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.