[LaTeX] Encadrer théorèmes et utiliser "proof"

[Kairn]

Bonsoir !

Je sais comment encadrer un théorème (ou définition, ou...) d'une part, et je sais comment utiliser le \begin{proof} d'autre part. Mais j'aimerais pouvoir faire les deux en même temps, et il semble que ma solution pour encadrer ne soit pas compatible avec l'utilisation du proof.

Donc d'un côté j'utilise pour encadrer :

\usepackage{framed}
\usepackage[framed]{ntheorem}
\setlength{\theorempreskipamount}{0pt}
\setlength{\theorempostskipamount}{0pt}
\newframedtheorem{theo}{Théorème} 

Qui s'utilise de la sorte :

Voici un théorème important :
\begin{theo}
Il paraît que $1\neq 0$.
\end{theo}
\textit{Démonstration.} C'est trivial. Je vous assure que blabla blablabla blabla blablabla blabla blablabla blabla blablabla blabla blablabla blabla blablabla blabla blablabla.

et donne ceci : c'est sympa, mais on a pas l'environnement "démonstration".
p.png


De l'autre, j'importe le paquet amsthm indispensable pour utiliser "proof".

\usepackage{amsthm}
\newtheorem{theo}{Théorème}

Et je fais :

Voici un théorème important :

\begin{theo}
Il paraît que $1\neq 0$.
\end{theo}

\begin{proof}
C'est trivial. Je vous assure que blabla blablabla blabla blablabla blabla blablabla blabla blablabla blabla blablabla blabla blablabla blabla blablabla.
\end{proof}

et ça donne ceci : c'est sympa, mais le théorème n'est pas encadré.
m.png


Et forcément, quand je veux utiliser les deux ensembles:

\usepackage{amsthm}

\usepackage{framed}
\usepackage[framed]{ntnthheorem}
\setlength{\theorempreskipamount}{0pt}
\setlength{\theorempostskipamount}{0pt}
\newframedtheorem{theo}{Théorème}

eh bin ça marche pas. Ça me sort notamment un "Package ntheorem Error: Theorem style plain already defined".



Alors je me suis dit qu'il fallait jeter ma solution pour encadrer (parce que je ne peux pas jeter le amsthm), et en bricoler une autre.
Je suis arrivé après quelques péripéties à ceci :

\usepackage{amsthm}
\newtheorem{theo}{Théorème}

\newenvironment{thm}{\begin{minipage}{\textwidth}\begin{theo}}{\end{theo}\end{minipage}}

Et je l'utilise comme ça :

Voici un théorème important :

\fbox{ \begin{thm}
Il paraît que $1\neq 0$
\begin{thm} }

\end{proof}
C'est trivial. Je vous assure que blabla blablabla blabla blablabla blabla blablabla blabla blablabla blabla blablabla blabla blablabla blabla blablabla.
\end{proof}

Ce qui donne :
t.png

Et ceci ne me satisfait pas pour plusieurs raisons :
- le cadre est décalé vers la droite et déborde, alors que je voudrais qu'il commence et finisse au ras de la marge de chaque côté ;
- par rapport à la première solution pour encadrer, le cadre est trop proche du texte situé aussi bien avant que après que dedans ;
- je voudrais me dispenser d'utiliser à chaque fois le \fbox{} et l'inclure dans la définition de l'environnement, mais je ne sais pas faire.



Vous savez tout de mon problème. Auriez-vous des idées pour combiner les deux premières solutions, ou pour améliorer la troisième ?

Bonne soirée !
-----

[invite9dc7b526]

Qu'est-ce qu'il fait l'environnement proof? Si c'est juste dessiner le petit carré à la fin de la dernière ligne, tu dois pouvoir assez facilement le faire par toi-même.

[Kairn]

Salut !

Il rajoute le petit carré et il ne met pas d'alinéa avant le "démonstration".
C'est vrai que ça doit pouvoir se faire pas trop difficilement, je vais essayer.

Merci de m'y faire penser !