PDA

Archiv verlassen und diese Seite im Standarddesign anzeigen : Kasten beim Beweisende



Otto der Senf
05-03-2005, 12:14
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
05-03-2005, 13:40
\hfill \box

MfG Bischi

andti
05-03-2005, 13:57
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
08-03-2005, 14:49
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
08-03-2005, 16:47
Poste mal den Code...

MfG Bischi

Otto der Senf
08-03-2005, 17:09
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
08-03-2005, 18:18
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
20-11-2006, 19:01
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
20-11-2006, 20:26
Warum eigentlich so kompliziert? Das Paket amsthm (ftp://dante.ctan.org/tex-archive/help/Catalogue/entries/amsthm.html) aus dem AMS-LaTeX (ftp://dante.ctan.org/tex-archive/help/Catalogue/entries/amslatex.html)-Paket stellt mit der proof-Umgebung alles bereit, was man braucht.

frau k.GER
13-03-2010, 18:31
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:


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




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

LuPi
13-03-2010, 19:34
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
14-03-2010, 10:31
Hi,




\newcommand{\proofend}{\begin{flushright}$\Box$\en d{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
14-03-2010, 10:37
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
14-03-2010, 10:56
Ah ja, mechanicus werkelt auch gerade ... ;)

Er lenkt sich von der Arbeit ab :D:D

Warum hast \makeatletter genommen?

Gruß
Marco

lockstep
14-03-2010, 11:09
Danke für den Hinweis - ich hatte ursprünglich an heikleren Stellen Hacks versucht. Beispiel ist hiermit bereinigt.

lockstep