Символ конца доказательства

[mimi12]

Здравствуйте, уважаемые форумчане!

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

\begin{proof}
\end{proof}

ставился черный квадратик, я, поискав на форуме, добавил в преамбулу:

\renewcommand{\qedsymbol}{$\blacksquare$}
\makeatletter
\def\@endtheorem{\popQED\endtrivlist\@endpefalse }
\makeatother

(честно говоря, смысл второй команды не понимаю совсем...)

Все работает хорошо за исключением одного момента. Если доказатеьство заканчивается "выключной" формулой

$$
...
$$

то квадратик ставится в конце следующей, пустой строки.

Можно ли сделать так, чтобы он ставился на той же строке, что и сама формула?

Заранее большое спасибо!

[iifat]

mimi12 в сообщении #753130 писал(а):

\makeatletter

(честно говоря, смысл второй команды не понимаю совсем...)

Вот этой? make-at-letter, сделать @ буквой — то бишь, разрешить использовать в именах команд.

mimi12 в сообщении #753130 писал(а):

Если доказатеьство заканчивается "выключной" формулой, то квадратик ставится в конце следующей, пустой строки

Этот вид формул специально сделан дабы "выключаться" из текста. Извратиться, наверное, можно, но стоит ли?

[Алексей К.]

Нет, извращаться не надо.
Как-то я эту проблему для себя однажды решил, довольно легко.
А потом оказалось, что это предусмотрено в amsmath.
Команда, если не ошибаюсь, называлась \qedhere, означала именно это: "поставь qed именно здесь!"

-- 08 авг 2013, 20:13:14 --

\begin{proof} Докажем это: $$ a=b+c.$$ \end{proof} А теперь... \begin{proof} Докажем это: $$a=b+c.\qquad\qedhere$$ \end{proof} А теперь...

Конфликты с номером уравнения люди как-то решают, \qedhere гуглится.

-- 08 авг 2013, 20:28:33 --

А сам я делал это наверняка так: поставил в нужном месте квадратик и сразу же переопределил \qed пустышкой.
Это переопределение, естественно, действовало только в рамках скобок --- начала/конца доказательства.
При выходе из контекста скобок старые значения (внешний контекст) восстанавливаются.

[mimi12]

Алексей К. в сообщении #753264 писал(а):

Команда, если не ошибаюсь, называлась \qedhere, означала именно это: "поставь qed именно здесь!"

-- 08 авг 2013, 20:13:14 --

\begin{proof} Докажем это: $$a=b+c.\qquad\qedhere$$ \end{proof} А теперь...

-- 08 авг 2013, 20:28:33 --

А сам я делал это наверняка так: поставил в нужном месте квадратик и сразу же переопределил \qed пустышкой.
Это переопределение, естественно, действовало только в рамках скобок --- начала/конца доказательства.
При выходе из контекста скобок старые значения (внешний контекст) восстанавливаются.

Большое спасибо!!

Правда, возникли два новых вопроса:
1) можно ли сделать, чтобы квадратик ставился не сразу в конце формулы, а справа, то есть в конце всей строки, как в случае текста?
2) можно ли сделать, чтобы и для формулы квадратик ставился автоматически, а не "руками"?

Заранее спасибо за ответ!

[Алексей К.]

mimi12 в сообщении #753270 писал(а):

1) можно ли сделать, чтобы квадратик ставился не сразу в конце формулы, а справа, то есть в конце всей строки, как в случае текста?

У меня такое получилось:
\begin{proof} Докажем это: $$a=b+c.\eqno\qedhere$$ \end{proof}
Что будет, если к формуле нужен номер --- не знаю. Т.е. знаю --- делать, как сначала предложено.

mimi12 в сообщении #753270 писал(а):

2) можно ли сделать, чтобы и для формулы квадратик ставился автоматически, а не "руками"?

В принципе, наверное, можно, но мне кажется, что ни один нормальный программер за это не взялся бы. Т.е., скорее, нельзя.

[Someone]

Вот, кажется, то, что нужно: http://tex.stackexchange.com/questions/2274/problem-with-qedhere. Но сам не проверял.