Рассмотрим проверочный оператор из геометрии — оператор "однасторона" для усмотрения того, что две точки плоскости лежат по одну сторону от заданной прямой. В случае размещения точек по разные стороны имеется двойственный оператор "разныестороны". http://ideipodarkov.net/chto-podarit-lyubimoi-na-den-svyatogo-valentina/ на любой вкус вы найдёте здесь.
Оба оператора — сравнительно большие, имеют около сотни приемов каждый и весьма часто используются в геометрических приемах. Выберем прием оператора "однасторона", усматривающий размещение двух точек по одну сторону от прямой из соображений двукратного перехода через эту прямую при движении по ломаной. Он расположен в разделе "Элементарная геометрия" - "Однасторона" - "Проверочный оператор ОДНАСТОРОНА" - "Двойной переход через прямую". Опуская несложный чертеж, приведем сразу теорему приема:
"Vabcdefg(d е отрезок (СЕ) к F е отрезок(СС) к D е пряма я(АВ) к F е
е прямая(АВ) к разныеточки(С, D) —> однасторона(Е, G, прямая(АБ)))".
Здесь точка Е является концом отрезка СЕ, на котором лежит точка D рассмат-риваемой прямой АВ. Последний антецедент требует, чтобы точки С, D различались, так что либо точка Е сама лежит на прямой, и тогда любая точка оказывается по отношению к ней лежащей по ту же сторону от прямой (отношение "однасторона" нестрогое), либо точка Е и точка С не лежат на прямой и находятся от нее по разные стороны. В любом случае конец С отрезка CG, пересекающегося с прямой в некоторой точке F, будет лежать с точкой Е по одну сторону от прямой АВ
"V„/„ (a sin b + с cos b < \J а2 + с2 )".
озс 2ттЬ
"\/а/,г(периодична(А^т(— + с),число(х)), -щ-))"-
Заголовок приема — "значение(период)"; единственный фильтр — "уровень(1)". Указатели и нормализаторы — стандартные. Этот прием относится к категории «завершающих» приемов, предназначенных для немедленной выдачи результата Второй и третий приемы обеспечивают рекурсию, подготавливающую возможность применения завершающих приемов. Теорема второго приема имеет вид.
"У/,уа(периодична(Аг {f{x), число), а) —> периодична^ (г;(/(х)), число), а))".
Указатель "символ(#)" определяет идентификацию переменной у с символом одно-местной операции. Эта операция отбрасывается, и указатель "значения(1)" определяет рекурсивное обращение для определения периода «упрощенной» таким образом функции.
Опубликовал vovan666
February 26 2013 17:45:16 ·
0 Комментариев ·
3525 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
