Discussion :

[Gauss75]

Bonsoir à tous,

Je me lance depuis quelques semaines dans LaTeX et ai du mal puisque seul, ce n'est pas aussi évident...

J'aimerais que dans mes documents, soient encadrés les démonstrations, théorèmes et définitions.

pas difficile vous me direz, j'y suis déjà arrivé ! En effet, j'arrive à encadrer mes définitions et théorèmes tels que je les souhaite mais lorsque je souhaite faire une démonstration (proof) le démonstration ne s'affiche pas, ni le carré de fin de démonstration... Juste le texte de démonstration s'affiche mais pas le mot "démonstration" et le carré qui doivent être automatiquement intégrés, s'affichent...

Alors ça m'embête un peu...
Auriez-vous une idée pour compiler les deux et un exemple de document qui répond au problème, s'il-vous-plait? Je n'y arrive plus et c'est assez déstabilisant...

Merci beaucoup de votre aide!
Gauss75

[Winnt]

Bonsoir,

Comment procédez-vous ? Utilisez-vous des extensions ? Lesquelles ?
Pensez à poster un ECM cela nous permettra de vous aider plus efficacement.

[Gauss75]

Bonjour et excusez moi du retard, je n'ai pas eu accès à mon ordi pour cause de réparations...

Je vous met mon exemple de document pour que ça vous aide à comprendre (ce n'est juste qu'une bride puisque c'est là où je bloque).

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
\documentclass[a4paper]{article} 
\usepackage[utf8]{inputenc}
\usepackage{fontenc}
\usepackage[french]{babel}
\usepackage[hmargin=2cm,vmargin=1.5cm]{geometry}
\usepackage{amssymb,amsmath,amsfonts,amsxtra,amsthm}
\usepackage{framed}
\usepackage[framed]{ntheorem}
\newframedtheorem{rmq}{Définition.}[section]
\newframedtheorem{prop}{Propriétés}[section]
 
\begin{document}
 
\section{Divisibilité dans $\mathbb{Z}$}
  \begin{rmq}
     Soient $a$ et $b$ deux nombres relatifs.\\
On dit que $a$ divise $b$, et on note $a\vert b$, ou que $b$ est un multiple de $a$, s'il existe un entier relatif $q$ tel que $b=qa$. $q$ est alors appelé le quotient de $b$ par $a$.
  \end{rmq}
 
  \begin{prop}
Soient $a$ et $b$ deux nombres relatifs.\\
Si un nombre $c$ divise $a$ et $b$, alors il divise tout nombre de la forme $au+bv$, où $(u;v) \in \mathbb{Z} \times \mathbb{Z}$.\\
En particulier, $c\vert(a-b)$ et $c\vert(a+b)$.
  \end{prop}
 
  \begin{proof}
  $\left.
\begin{array}{l}
c\vert a \Rightarrow \exists q\in\Z,\ a=qc\\
c\vert b \Rightarrow \exists q'\in\Z,\ b=q'c
\end{array}\right\}\Rightarrow \forall\coord{u}{v}\in\Z\times\Z,\ au+bv=c(qu+q'v)
$. Donc $c\vert(au+bv)$.
  \end{proof}
 
 
\end{document}

[Winnt]

Bonsoir,

Malgré le fait que ma texlive 2014 soit parfaitement à jour je ne suis pas parvenu à compiler votre code.
Code qui plante en générant des erreurs concernant la redéfinition du style plain dans ntheorem.sty (ligne 524).

Sinon essayez de faire l'appel à ntheorem comme ceci

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

Il semble que cela devrais résoudre votre problème d'après la documentation de ntheorem.