Kasten beim Beweisende

[Otto der Senf]

Gude...

Wie kriege ich am Ende eines Beweises die Box (\Box) schön ans Zeilenende? Wenn ich
\begin{flushright}
\Box
\end{flushright}
eingebe, ist da eine riesen Lücke und es sieht so aus als ob der Kasten das wichtigste Element der Arbeit wäre. Der Kasten sollte schon am rechten Rand sein, aber eben in der gleichen Zeile wie auch der letzte Satz oder Formel...

Danke

[bischi]

\hfill \box

MfG Bischi

[andti]

Hallo.

Da ich davon ausgehe, dass du evtl. auch dazugehörige Sätze schreiben willst, die dann bewiesen werden, empfehle ich dir das Paket ntheorem. Da gibt es die Möglichkeit die Umgebungen für Definitionen, Sätze und auch Beweise einzurichten. Da kannst du alles an deine Wünsche anpassen, also z.B. Textart des Satzes, Nummerierung und auch abschließendes Symbol. Bei den Beweisen kannst du an der Stelle dann deine $Box$ eingeben und du erhälst am Ende eines Beweises dein Kästchen.

andti.

[Otto der Senf]

Wenn ich \hfill \Box nach einem Text in $$ setze, sieht es klasse aus. Wenn es nach ner Gleichungsfolge kommt, schreibe ich es entweder kurz vor \end{eqnarray} dann klebt die Box aber direkt an der Gleichung dran. Oder ich schreibs danach in $$, dann isses aber ne Zeile zu tief...

Oder muss ich mich in die "Möglichkeiten" des ntheorem einlesen? muss die Arbeit nämlich in ner Woche abgeben...

[bischi]

Poste mal den Code...

MfG Bischi

[Otto der Senf]

ausgeschnitten:

"...Durch Ausklammern der Konstanten $\pi^{2k}$ folgt nun die Behauptung
\begin{eqnarray}
\zeta(2k)=\sum_{n=1}^\infty~\frac{1}{n^{2k}}=(-1)^{k-1}\cdot\frac{(2\pi)^{2k}}{2(2k)!}B_{2k} \hfill \Box
\end{eqnarray}..."

Wenn ich es da rein setze, klebt es an der Gleichung dran.
Schreibe ich allerdings es so:

"...Durch Ausklammern der Konstanten $\pi^{2k}$ folgt nun die Behauptung
\begin{eqnarray}
\zeta(2k)=\sum_{n=1}^\infty~\frac{1}{n^{2k}}=(-1)^{k-1}\cdot\frac{(2\pi)^{2k}}{2(2k)!}B_{2k}
\end{eqnarray}$\hfill \Box$ ..."

ist die Box eine Zeile tiefer...

[bischi]

Machs mal so:

"...Durch Ausklammern der Konstanten $\pi^{2k}$ folgt nun die Behauptung
\begin{eqnarray}
\zeta(2k)=\sum_{n=1}^\infty~\frac{1}{n^{2k}}=(-1)^{k-1}\cdot\frac{(2\pi)^{2k}}{2(2k)!}B_{2k}
\end{eqnarray}\hfill $\Box$\\

MfG Bischi

[Sabrina.Dankers]

Hallo. Wenn du ntheorem.sty benutzt dann kannst du dir eine Umgebung für Beweise wie folgt definieren:
{\theoremsymbol{$\square$}\newtheorem{Beweis}{Bewe is}[subsection]}
Dann kannst du im Text mit \begin{Beweis}Beweis\end{Beweis} diese Umgebung verwenden.

[localghost]

Warum eigentlich so kompliziert? Das Paket amsthm aus dem AMS-LaTeX-Paket stellt mit der proof-Umgebung alles bereit, was man braucht.

[frau k.GER]

Ich habe eine Frage zum gleichen Thema.
Anstatt des q.e.d.-Kästchens erscheint bei mir immer nur "None".

Hier mal der zugehörige Code:

\usepackage{amsmath}
\usepackage[amsmath,amsthm,thmmarks]{ntheorem}
 \newcommand{\proofend}{\begin{flushright}$\Box$\end{flushright}}
 \renewcommand{\proof}{\textbf{Beweis}: }

\begin{proof}
(Tabelle)
Die Aussagen blubb und bla sind logisch äquivalent. 
\end{proof}

[LuPi]

Einen so gut abgehangenen Thread zu reanimieren ist nur bedingt sinnvoll.

Außerdem erhöht es sicherlich die Antwortquote, wenn Du das fast schon vorhandene Beispiel tatsächlich noch so vervollständigst, dass man es mit copy & paste in einen Editor seiner Wahl übertragen kann.

\documentclass{scrartcl}
\usepackage{amsmath}
\usepackage[amsmath,amsthm,thmmarks]{ntheorem}
\renewcommand{\proof}{\textbf{Beweis}: }
\begin{document}
\begin{proof}
Die Aussagen blubb und bla sind logisch äquivalent.
\end{proof}
\end{document}

Deine Splitter habe ich noch etwas gekürzt und muss zugeben, dass ich nach kurzem Überfliegen der Doku leider auch keine Lösung für Dein Problem habe. Da ich allerdings kein Nutzer dieses Pakets bin werden sich hier sicherlich kompetentere Helfer finden.

[mechanicus]

Hi,

 \newcommand{\proofend}{\begin{flushright}$\Box$\end{flushright}}

was soll das bewirken?

Dank LuPi hast du ein Minimalbeispiel

\documentclass[ngerman]{scrartcl}
\usepackage{babel}
\usepackage{amsmath}
\usepackage[amsmath,amsthm,thmmarks]{ntheorem}
% \renewcommand{\proof}{\textbf{Beweis}: }<- Unnötig; Sprachpaket
\begin{document}
\begin{proof}
Die Aussagen blubb und bla sind logisch äquivalent.
\end{proof}
\end{document}

Gruß
Marco

[lockstep]

Ah ja, mechanicus werkelt auch gerade ...

"Beweis" statt "proof" lässt sich durch babel (oder ein anderes Sprachpaket) erreichen. Wenn dir zusätzlich daran gelegen ist, dass der Ausdruck "Beweis" fett statt kursiv erscheint, hilft folgendes:

\documentclass{article}

\usepackage[latin9]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[ngerman]{babel}

\usepackage{amsmath}
\usepackage[amsmath,amsthm,thmmarks]{ntheorem}

\renewtheoremstyle{nonumberplain}%
    {\item[\normalfont\bfseries\hskip\labelsep ##1.]}%
    {\item[\normalfont\bfseries\hskip\labelsep ##1\ (##3).]}

\begin{document}

\begin{proof}
Die Aussagen blubb und bla sind logisch äquivalent.
\end{proof}

\end{document}

lockstep

[mechanicus]

Ah ja, mechanicus werkelt auch gerade ...

Er lenkt sich von der Arbeit ab

Warum hast \makeatletter genommen?

Gruß
Marco

[lockstep]

Danke für den Hinweis - ich hatte ursprünglich an heikleren Stellen Hacks versucht. Beispiel ist hiermit bereinigt.

lockstep