Kasten beim Beweisende

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

\hfill \box

MfG Bischi

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.

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...

Poste mal den Code...

MfG Bischi

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...

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

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.

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

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

Hier mal der zugehörige Code:

Code:

---

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

---

Code:

---

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

---

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.

Code:

---

\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.

Hi,

Zitat:

---

Zitat von frau k.GER

Code:

---

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

---

---

was soll das bewirken?

Dank LuPi hast du ein Minimalbeispiel

Code:

---

\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

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:

Code:

---

\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

Zitat:

---

Zitat von lockstep

Ah ja, mechanicus werkelt auch gerade ... ;)

---

Er lenkt sich von der Arbeit ab :D:D

Warum hast \makeatletter genommen?

Gruß
Marco

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

lockstep