2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2
 
 Re: Символ конца доказательства
Сообщение26.05.2012, 22:46 
Аватара пользователя
У нас на лекциях преподаватели всегда использовали одно и то же обозначение. Пустой квадрат - начало доказательства, закрашенный квадрат - соответственно окончание доказательства. Сейчас, читая лекции, использую те же символы. Хотя, про треугольники понравилось. Нужно попробовать

 
 
 
 Re: Символ конца доказательства
Сообщение27.05.2012, 01:10 
Аватара пользователя
Иннокентий в сообщении #576860 писал(а):
Знаком с автором такого символа конца доказательства \textcircled{$\pi$}.

А в чём его символика?

longstreet в сообщении #576430 писал(а):
В самых старших классах рисовали сплошной квадратик.

$\square$ $\blacksquare$

longstreet в сообщении #576430 писал(а):
В универе были треугольники (сплошные): остриём вверх "открывал" доказательство, острием вниз "закрывал".

$\blacktriangle$ $\blacktriangledown$

ewert в сообщении #576443 писал(а):
Нормальные значки -- это прямоугольные треугольнички. Такие косые, когда высота существенно меньше ширины.

Начало доказательства -- это треугольничек, косо отсечённый от прямоугольника в левом верхнем углу. Конец доказательства -- то же самое, но, естественно, наоборот.

$\vrule\setbox0=\hbox{$\diagup$}\rlap{\raise\ht0\vbox{\hrule width\wd0}}\diagup$ $\setbox0=\hbox{$\diagup$}\rlap{\lower\dp0\vbox{\hrule width\wd0}}\diagup\vrule$ - пожалуй, лучшее, что я смог изобразить, без дополнительных пакетов.

bot в сообщении #576486 писал(а):
Ещё есть вертикальные стрелки: вверх - открыл доказательство, вниз - закрыл.

$\uparrow$ $\downarrow$

 
 
 
 Re: Символ конца доказательства
Сообщение27.05.2012, 01:14 
Спасибо за коды!

 
 
 
 Re: Символ конца доказательства
Сообщение27.05.2012, 02:07 
Аватара пользователя
И кстати, ещё я видел в этом же качестве пару $\vartriangleleft$ $\vartriangleright$ (синоним $\lhd$ $\rhd$). Эстетически они мне нравятся.

А для вставки таких символов в документе, Pakin рекомендует пакет ntheorem.

 
 
 
 Re: Символ конца доказательства
Сообщение27.05.2012, 08:47 
А вот у А.А.Бухштаба ни одна теорема не заканчивается ни символами, ни какими-либо заклинаниями.

 
 
 
 Re: Символ конца доказательства
Сообщение27.05.2012, 09:37 
Аватара пользователя
Кстати, да, пентаграмму рисовать - это идея.

Или смайлик какой-нибудь подходящий. Типа :twisted:

 
 
 
 Re: Символ конца доказательства
Сообщение27.05.2012, 09:48 
Munin в сообщении #576942 писал(а):
А в чём его символика?

В первых двух буквах; все следующие очевидны из контекста.

 
 
 
 Re: Символ конца доказательства
Сообщение27.05.2012, 19:54 
А приведенные символы, скажем, $\blacktriangle$, используется без дублирующего слова "доказательство" или как?

То есть так:
Цитата:
Теорема. ...бла-бла-бла...
Доказательство. $\blacktriangle$ ...бла-бла-бла... $\blacktriangledown$

или так:
Цитата:
Теорема. ...бла-бла-бла...
$\blacktriangle$ ...бла-бла-бла... $\blacktriangledown$

?

 
 
 
 Re: Символ конца доказательства
Сообщение27.05.2012, 23:20 
Да, я лично пользуюсь $\rhd$ для начала док-ва, $\lhd$ для конца. Но это для лемм. Для теорем эти треугольнички я закрашиваю. И иногда, когда в теореме независимые 2 части, ставлю в конце док-ва первой части незакрашенный треугольник. Значок "доказать самому": $\diagdown\!\!\!\!\!\diagup\!\!\!\!\!\!\bigcirc$ (только прямые выступают сильнее за кружок) внутри треугольничков доказательства или на полях.

 
 
 
 Re: Символ конца доказательства
Сообщение28.05.2012, 19:12 

(Оффтоп)

Для еще большей читаемости предлагаю весь текст писать сплошь, а начала абзацев обозначать каким-нибудь специальным символом. Очень удобно.

 
 
 
 Re: Символ конца доказательства
Сообщение28.05.2012, 22:39 
AV_77 в сообщении #577681 писал(а):
а начала абзацев обозначать каким-нибудь специальным символом
Чем отступ не символ?

 
 
 [ Сообщений: 26 ]  На страницу Пред.  1, 2


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group