How to enclose theorems and definition in rectangles?Vertical space around theoremsTheorems and Definitions as quotesHow to replace all pictures by white rectangles?How to remove line breaks before and after theorems?Horizontal spaces to the left and right of theoremsExtra spacing around restatable theoremsKOMA script and amsthm: Space lost before and after theoremsShrinking spacing around definition environmentTheorems and parskipremove spacing from a definition

Was the Stack Exchange "Happy April Fools" page fitting with the '90's code?

How can I prove that a state of equilibrium is unstable?

Are British MPs missing the point, with these 'Indicative Votes'?

What's the meaning of "Sollensaussagen"?

Sums of two squares in arithmetic progressions

Why are UK visa biometrics appointments suspended at USCIS Application Support Centers?

In the UK, is it possible to get a referendum by a court decision?

Did 'Cinema Songs' exist during Hiranyakshipu's time?

What Exploit Are These User Agents Trying to Use?

How to remove border from elements in the last row?

How do conventional missiles fly?

Convert seconds to minutes

Car headlights in a world without electricity

Placement of More Information/Help Icon button for Radio Buttons

My ex-girlfriend uses my Apple ID to login to her iPad, do I have to give her my Apple ID password to reset it?

What is the opposite of "eschatology"?

Getting extremely large arrows with tikzcd

Why were 5.25" floppy drives cheaper than 8"?

Do Iron Man suits sport waste management systems?

How to show a landlord what we have in savings?

OP Amp not amplifying audio signal

How to stretch the corners of this image so that it looks like a perfect rectangle?

Forgetting the musical notes while performing in concert

How to travel to Japan while expressing milk?



How to enclose theorems and definition in rectangles?


Vertical space around theoremsTheorems and Definitions as quotesHow to replace all pictures by white rectangles?How to remove line breaks before and after theorems?Horizontal spaces to the left and right of theoremsExtra spacing around restatable theoremsKOMA script and amsthm: Space lost before and after theoremsShrinking spacing around definition environmentTheorems and parskipremove spacing from a definition













1















The following code



documentclassarticle


usepackageamsthm
usepackageamsmath
usepackagemathtools

usepackage[left=1.5in, right=1.5in, top=0.5in]geometry



newtheoremdefinitionDefinition
newtheoremtheoremTheorem


begindocument
titleExtra Credit
maketitle

begindefinition
If f is analytic at $z_0$, then the series

beginequation
f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
endequation

is called the Taylor series for f around $z_0$.
enddefinition

begintheorem
If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
beginequation
f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
endequation
endtheorem

begintheorem
(Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
beginequation
f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
endequation
endtheorem
noindent hrulefill

begintheorem
If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
endtheorem


produces the following image
enter image description here



How can I enclose Definition 1, Theorem 1, and Theorem 2 in separate rectangles. And have these rectangles separated by a space?










share|improve this question







New contributor




K.M is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • Do you want all theorems/definition to be enclosed in a frame, or only some?

    – Bernard
    3 hours ago












  • I would like all theorems/definitions to be enclosed in a frame except for Theorem 3

    – K.M
    3 hours ago











  • In this case you should take a look at the newframedtheorem command in ntheorem.

    – Bernard
    3 hours ago















1















The following code



documentclassarticle


usepackageamsthm
usepackageamsmath
usepackagemathtools

usepackage[left=1.5in, right=1.5in, top=0.5in]geometry



newtheoremdefinitionDefinition
newtheoremtheoremTheorem


begindocument
titleExtra Credit
maketitle

begindefinition
If f is analytic at $z_0$, then the series

beginequation
f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
endequation

is called the Taylor series for f around $z_0$.
enddefinition

begintheorem
If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
beginequation
f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
endequation
endtheorem

begintheorem
(Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
beginequation
f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
endequation
endtheorem
noindent hrulefill

begintheorem
If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
endtheorem


produces the following image
enter image description here



How can I enclose Definition 1, Theorem 1, and Theorem 2 in separate rectangles. And have these rectangles separated by a space?










share|improve this question







New contributor




K.M is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • Do you want all theorems/definition to be enclosed in a frame, or only some?

    – Bernard
    3 hours ago












  • I would like all theorems/definitions to be enclosed in a frame except for Theorem 3

    – K.M
    3 hours ago











  • In this case you should take a look at the newframedtheorem command in ntheorem.

    – Bernard
    3 hours ago













1












1








1








The following code



documentclassarticle


usepackageamsthm
usepackageamsmath
usepackagemathtools

usepackage[left=1.5in, right=1.5in, top=0.5in]geometry



newtheoremdefinitionDefinition
newtheoremtheoremTheorem


begindocument
titleExtra Credit
maketitle

begindefinition
If f is analytic at $z_0$, then the series

beginequation
f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
endequation

is called the Taylor series for f around $z_0$.
enddefinition

begintheorem
If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
beginequation
f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
endequation
endtheorem

begintheorem
(Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
beginequation
f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
endequation
endtheorem
noindent hrulefill

begintheorem
If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
endtheorem


produces the following image
enter image description here



How can I enclose Definition 1, Theorem 1, and Theorem 2 in separate rectangles. And have these rectangles separated by a space?










share|improve this question







New contributor




K.M is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












The following code



documentclassarticle


usepackageamsthm
usepackageamsmath
usepackagemathtools

usepackage[left=1.5in, right=1.5in, top=0.5in]geometry



newtheoremdefinitionDefinition
newtheoremtheoremTheorem


begindocument
titleExtra Credit
maketitle

begindefinition
If f is analytic at $z_0$, then the series

beginequation
f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
endequation

is called the Taylor series for f around $z_0$.
enddefinition

begintheorem
If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
beginequation
f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
endequation
endtheorem

begintheorem
(Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
beginequation
f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
endequation
endtheorem
noindent hrulefill

begintheorem
If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
endtheorem


produces the following image
enter image description here



How can I enclose Definition 1, Theorem 1, and Theorem 2 in separate rectangles. And have these rectangles separated by a space?







spacing






share|improve this question







New contributor




K.M is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|improve this question







New contributor




K.M is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|improve this question




share|improve this question






New contributor




K.M is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked 3 hours ago









K.MK.M

1305




1305




New contributor




K.M is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





K.M is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






K.M is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












  • Do you want all theorems/definition to be enclosed in a frame, or only some?

    – Bernard
    3 hours ago












  • I would like all theorems/definitions to be enclosed in a frame except for Theorem 3

    – K.M
    3 hours ago











  • In this case you should take a look at the newframedtheorem command in ntheorem.

    – Bernard
    3 hours ago

















  • Do you want all theorems/definition to be enclosed in a frame, or only some?

    – Bernard
    3 hours ago












  • I would like all theorems/definitions to be enclosed in a frame except for Theorem 3

    – K.M
    3 hours ago











  • In this case you should take a look at the newframedtheorem command in ntheorem.

    – Bernard
    3 hours ago
















Do you want all theorems/definition to be enclosed in a frame, or only some?

– Bernard
3 hours ago






Do you want all theorems/definition to be enclosed in a frame, or only some?

– Bernard
3 hours ago














I would like all theorems/definitions to be enclosed in a frame except for Theorem 3

– K.M
3 hours ago





I would like all theorems/definitions to be enclosed in a frame except for Theorem 3

– K.M
3 hours ago













In this case you should take a look at the newframedtheorem command in ntheorem.

– Bernard
3 hours ago





In this case you should take a look at the newframedtheorem command in ntheorem.

– Bernard
3 hours ago










2 Answers
2






active

oldest

votes


















1














You can try with shadethm package, it can do all you want and many more. In you example what you need is:



documentclassarticle
usepackageshadethm
usepackagemathtools

newshadetheoremboxdefDefinition[section]
newshadetheoremboxtheorem[boxdef]Theorem
newtheoremtheorem[boxdef]Theorem

setlengthshadeboxsep2pt
setlengthshadeboxrule.4pt
setlengthshadedtextwidthtextwidth
addtolengthshadedtextwidth-2shadeboxsep
addtolengthshadedtextwidth-2shadeboxrule
setlengthshadeleftshift0pt
setlengthshaderightshift0pt
definecolorshadethmcolorcmyk0,0,0,0
definecolorshaderulecolorcmyk0,0,0,1

begindocument

sectionBoxed theorems

beginboxdef
If f is analytic at $z_0$, then the series

beginequation
f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
endequation

is called the Taylor series for f around $z_0$.
endboxdef

beginboxtheorem
If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
beginequation
f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
endequation
endboxtheorem

beginboxtheorem
(Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
beginequation
f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
endequation
endboxtheorem
noindent hrulefill

begintheorem
If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
endtheorem

enddocument


which produces the following:



enter image description here






share|improve this answer























  • For newshadetheoremboxdefDefinition[section] newshadetheoremboxtheorem[boxdef]Theorem newtheoremtheorem[boxdef]Theorem, why is boxdef in brackets?

    – K.M
    2 hours ago



















2














Here is a solution with thmtools, which cooperates wit amsthm. Unrelated: you don't have to load amsmath if you load mathtools, as the latter does it for you:



documentclassarticle
usepackageamsthm, thmtools
usepackagemathtools

usepackage[left=1.5in, right=1.5in, top=0.5in]geometry

newtheoremdefinitionDefinition
newtheoremtheoremTheorem

declaretheorem[sibling=definition, shaded=rulecolor=black, rulewidth=0.6pt, bgcolor=rgb1,1,1,name=Definition]boxeddef
declaretheorem[sibling=theorem, shaded=rulecolor=black, rulewidth=0.6pt, bgcolor=rgb1,1,1,name=Theorem]boxedthm

begindocument
titleExtra Credit
author
maketitle

beginboxeddef
If f is analytic at $z_0$, then the series

beginequation
f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
endequation

is called the Taylor series for f around $z_0$.
endboxeddef

beginboxedthm
If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
beginequation
f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
endequation
endboxedthm

beginboxedthm
(Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
beginequation
f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
endequation
endboxedthm

noindent hrulefill

begintheorem
If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
endtheorem

enddocument


enter image description here






share|improve this answer























    Your Answer








    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "85"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: false,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: null,
    bindNavPrevention: true,
    postfix: "",
    imageUploader:
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    ,
    onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );






    K.M is a new contributor. Be nice, and check out our Code of Conduct.









    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f482860%2fhow-to-enclose-theorems-and-definition-in-rectangles%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1














    You can try with shadethm package, it can do all you want and many more. In you example what you need is:



    documentclassarticle
    usepackageshadethm
    usepackagemathtools

    newshadetheoremboxdefDefinition[section]
    newshadetheoremboxtheorem[boxdef]Theorem
    newtheoremtheorem[boxdef]Theorem

    setlengthshadeboxsep2pt
    setlengthshadeboxrule.4pt
    setlengthshadedtextwidthtextwidth
    addtolengthshadedtextwidth-2shadeboxsep
    addtolengthshadedtextwidth-2shadeboxrule
    setlengthshadeleftshift0pt
    setlengthshaderightshift0pt
    definecolorshadethmcolorcmyk0,0,0,0
    definecolorshaderulecolorcmyk0,0,0,1

    begindocument

    sectionBoxed theorems

    beginboxdef
    If f is analytic at $z_0$, then the series

    beginequation
    f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
    endequation

    is called the Taylor series for f around $z_0$.
    endboxdef

    beginboxtheorem
    If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
    beginequation
    f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
    endequation
    endboxtheorem

    beginboxtheorem
    (Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
    beginequation
    f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
    endequation
    endboxtheorem
    noindent hrulefill

    begintheorem
    If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
    endtheorem

    enddocument


    which produces the following:



    enter image description here






    share|improve this answer























    • For newshadetheoremboxdefDefinition[section] newshadetheoremboxtheorem[boxdef]Theorem newtheoremtheorem[boxdef]Theorem, why is boxdef in brackets?

      – K.M
      2 hours ago
















    1














    You can try with shadethm package, it can do all you want and many more. In you example what you need is:



    documentclassarticle
    usepackageshadethm
    usepackagemathtools

    newshadetheoremboxdefDefinition[section]
    newshadetheoremboxtheorem[boxdef]Theorem
    newtheoremtheorem[boxdef]Theorem

    setlengthshadeboxsep2pt
    setlengthshadeboxrule.4pt
    setlengthshadedtextwidthtextwidth
    addtolengthshadedtextwidth-2shadeboxsep
    addtolengthshadedtextwidth-2shadeboxrule
    setlengthshadeleftshift0pt
    setlengthshaderightshift0pt
    definecolorshadethmcolorcmyk0,0,0,0
    definecolorshaderulecolorcmyk0,0,0,1

    begindocument

    sectionBoxed theorems

    beginboxdef
    If f is analytic at $z_0$, then the series

    beginequation
    f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
    endequation

    is called the Taylor series for f around $z_0$.
    endboxdef

    beginboxtheorem
    If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
    beginequation
    f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
    endequation
    endboxtheorem

    beginboxtheorem
    (Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
    beginequation
    f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
    endequation
    endboxtheorem
    noindent hrulefill

    begintheorem
    If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
    endtheorem

    enddocument


    which produces the following:



    enter image description here






    share|improve this answer























    • For newshadetheoremboxdefDefinition[section] newshadetheoremboxtheorem[boxdef]Theorem newtheoremtheorem[boxdef]Theorem, why is boxdef in brackets?

      – K.M
      2 hours ago














    1












    1








    1







    You can try with shadethm package, it can do all you want and many more. In you example what you need is:



    documentclassarticle
    usepackageshadethm
    usepackagemathtools

    newshadetheoremboxdefDefinition[section]
    newshadetheoremboxtheorem[boxdef]Theorem
    newtheoremtheorem[boxdef]Theorem

    setlengthshadeboxsep2pt
    setlengthshadeboxrule.4pt
    setlengthshadedtextwidthtextwidth
    addtolengthshadedtextwidth-2shadeboxsep
    addtolengthshadedtextwidth-2shadeboxrule
    setlengthshadeleftshift0pt
    setlengthshaderightshift0pt
    definecolorshadethmcolorcmyk0,0,0,0
    definecolorshaderulecolorcmyk0,0,0,1

    begindocument

    sectionBoxed theorems

    beginboxdef
    If f is analytic at $z_0$, then the series

    beginequation
    f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
    endequation

    is called the Taylor series for f around $z_0$.
    endboxdef

    beginboxtheorem
    If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
    beginequation
    f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
    endequation
    endboxtheorem

    beginboxtheorem
    (Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
    beginequation
    f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
    endequation
    endboxtheorem
    noindent hrulefill

    begintheorem
    If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
    endtheorem

    enddocument


    which produces the following:



    enter image description here






    share|improve this answer













    You can try with shadethm package, it can do all you want and many more. In you example what you need is:



    documentclassarticle
    usepackageshadethm
    usepackagemathtools

    newshadetheoremboxdefDefinition[section]
    newshadetheoremboxtheorem[boxdef]Theorem
    newtheoremtheorem[boxdef]Theorem

    setlengthshadeboxsep2pt
    setlengthshadeboxrule.4pt
    setlengthshadedtextwidthtextwidth
    addtolengthshadedtextwidth-2shadeboxsep
    addtolengthshadedtextwidth-2shadeboxrule
    setlengthshadeleftshift0pt
    setlengthshaderightshift0pt
    definecolorshadethmcolorcmyk0,0,0,0
    definecolorshaderulecolorcmyk0,0,0,1

    begindocument

    sectionBoxed theorems

    beginboxdef
    If f is analytic at $z_0$, then the series

    beginequation
    f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
    endequation

    is called the Taylor series for f around $z_0$.
    endboxdef

    beginboxtheorem
    If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
    beginequation
    f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
    endequation
    endboxtheorem

    beginboxtheorem
    (Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
    beginequation
    f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
    endequation
    endboxtheorem
    noindent hrulefill

    begintheorem
    If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
    endtheorem

    enddocument


    which produces the following:



    enter image description here







    share|improve this answer












    share|improve this answer



    share|improve this answer










    answered 2 hours ago









    Luis TurcioLuis Turcio

    1259




    1259












    • For newshadetheoremboxdefDefinition[section] newshadetheoremboxtheorem[boxdef]Theorem newtheoremtheorem[boxdef]Theorem, why is boxdef in brackets?

      – K.M
      2 hours ago


















    • For newshadetheoremboxdefDefinition[section] newshadetheoremboxtheorem[boxdef]Theorem newtheoremtheorem[boxdef]Theorem, why is boxdef in brackets?

      – K.M
      2 hours ago

















    For newshadetheoremboxdefDefinition[section] newshadetheoremboxtheorem[boxdef]Theorem newtheoremtheorem[boxdef]Theorem, why is boxdef in brackets?

    – K.M
    2 hours ago






    For newshadetheoremboxdefDefinition[section] newshadetheoremboxtheorem[boxdef]Theorem newtheoremtheorem[boxdef]Theorem, why is boxdef in brackets?

    – K.M
    2 hours ago












    2














    Here is a solution with thmtools, which cooperates wit amsthm. Unrelated: you don't have to load amsmath if you load mathtools, as the latter does it for you:



    documentclassarticle
    usepackageamsthm, thmtools
    usepackagemathtools

    usepackage[left=1.5in, right=1.5in, top=0.5in]geometry

    newtheoremdefinitionDefinition
    newtheoremtheoremTheorem

    declaretheorem[sibling=definition, shaded=rulecolor=black, rulewidth=0.6pt, bgcolor=rgb1,1,1,name=Definition]boxeddef
    declaretheorem[sibling=theorem, shaded=rulecolor=black, rulewidth=0.6pt, bgcolor=rgb1,1,1,name=Theorem]boxedthm

    begindocument
    titleExtra Credit
    author
    maketitle

    beginboxeddef
    If f is analytic at $z_0$, then the series

    beginequation
    f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
    endequation

    is called the Taylor series for f around $z_0$.
    endboxeddef

    beginboxedthm
    If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
    beginequation
    f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
    endequation
    endboxedthm

    beginboxedthm
    (Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
    beginequation
    f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
    endequation
    endboxedthm

    noindent hrulefill

    begintheorem
    If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
    endtheorem

    enddocument


    enter image description here






    share|improve this answer



























      2














      Here is a solution with thmtools, which cooperates wit amsthm. Unrelated: you don't have to load amsmath if you load mathtools, as the latter does it for you:



      documentclassarticle
      usepackageamsthm, thmtools
      usepackagemathtools

      usepackage[left=1.5in, right=1.5in, top=0.5in]geometry

      newtheoremdefinitionDefinition
      newtheoremtheoremTheorem

      declaretheorem[sibling=definition, shaded=rulecolor=black, rulewidth=0.6pt, bgcolor=rgb1,1,1,name=Definition]boxeddef
      declaretheorem[sibling=theorem, shaded=rulecolor=black, rulewidth=0.6pt, bgcolor=rgb1,1,1,name=Theorem]boxedthm

      begindocument
      titleExtra Credit
      author
      maketitle

      beginboxeddef
      If f is analytic at $z_0$, then the series

      beginequation
      f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
      endequation

      is called the Taylor series for f around $z_0$.
      endboxeddef

      beginboxedthm
      If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
      beginequation
      f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
      endequation
      endboxedthm

      beginboxedthm
      (Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
      beginequation
      f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
      endequation
      endboxedthm

      noindent hrulefill

      begintheorem
      If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
      endtheorem

      enddocument


      enter image description here






      share|improve this answer

























        2












        2








        2







        Here is a solution with thmtools, which cooperates wit amsthm. Unrelated: you don't have to load amsmath if you load mathtools, as the latter does it for you:



        documentclassarticle
        usepackageamsthm, thmtools
        usepackagemathtools

        usepackage[left=1.5in, right=1.5in, top=0.5in]geometry

        newtheoremdefinitionDefinition
        newtheoremtheoremTheorem

        declaretheorem[sibling=definition, shaded=rulecolor=black, rulewidth=0.6pt, bgcolor=rgb1,1,1,name=Definition]boxeddef
        declaretheorem[sibling=theorem, shaded=rulecolor=black, rulewidth=0.6pt, bgcolor=rgb1,1,1,name=Theorem]boxedthm

        begindocument
        titleExtra Credit
        author
        maketitle

        beginboxeddef
        If f is analytic at $z_0$, then the series

        beginequation
        f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
        endequation

        is called the Taylor series for f around $z_0$.
        endboxeddef

        beginboxedthm
        If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
        beginequation
        f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
        endequation
        endboxedthm

        beginboxedthm
        (Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
        beginequation
        f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
        endequation
        endboxedthm

        noindent hrulefill

        begintheorem
        If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
        endtheorem

        enddocument


        enter image description here






        share|improve this answer













        Here is a solution with thmtools, which cooperates wit amsthm. Unrelated: you don't have to load amsmath if you load mathtools, as the latter does it for you:



        documentclassarticle
        usepackageamsthm, thmtools
        usepackagemathtools

        usepackage[left=1.5in, right=1.5in, top=0.5in]geometry

        newtheoremdefinitionDefinition
        newtheoremtheoremTheorem

        declaretheorem[sibling=definition, shaded=rulecolor=black, rulewidth=0.6pt, bgcolor=rgb1,1,1,name=Definition]boxeddef
        declaretheorem[sibling=theorem, shaded=rulecolor=black, rulewidth=0.6pt, bgcolor=rgb1,1,1,name=Theorem]boxedthm

        begindocument
        titleExtra Credit
        author
        maketitle

        beginboxeddef
        If f is analytic at $z_0$, then the series

        beginequation
        f(z_0) + f'(z_0)(z-z_0) + fracf''(z_0)2!(z-z_0)^2 + cdots = sum_n=0^infty fracf^(n)(z_0)n!(z-z_0)^n
        endequation

        is called the Taylor series for f around $z_0$.
        endboxeddef

        beginboxedthm
        If f is analytic inside and on the simple closed positively oriented contour $Gamma$ and if $z_0$ is any point inside $Gamma$, then
        beginequation
        f^(n)(z_0) = fracn!2pi i int_Gamma fracf(zeta)(zeta - z_0)^n+1dzeta hspace1cm (n=1,2,3, cdots )
        endequation
        endboxedthm

        beginboxedthm
        (Cauchy's Integral Formula) Let $Gamma$ be a simple closed positively oriented contour. If $f$ is analytic in some simply connected domain $D$ containing $Gamma$ and $z_0$ is any point inside $Gamma$, then
        beginequation
        f(z_0)= frac12pi i int_Gamma fracf(z)z-z_0 dz
        endequation
        endboxedthm

        noindent hrulefill

        begintheorem
        If f is analytic in the disk $|z-z_0|<R'$, then the Taylor series $(1)$ converges to $f(z)$ for all $z$ in this disk.
        endtheorem

        enddocument


        enter image description here







        share|improve this answer












        share|improve this answer



        share|improve this answer










        answered 2 hours ago









        BernardBernard

        175k776207




        175k776207




















            K.M is a new contributor. Be nice, and check out our Code of Conduct.









            draft saved

            draft discarded


















            K.M is a new contributor. Be nice, and check out our Code of Conduct.












            K.M is a new contributor. Be nice, and check out our Code of Conduct.











            K.M is a new contributor. Be nice, and check out our Code of Conduct.














            Thanks for contributing an answer to TeX - LaTeX Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid


            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.

            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f482860%2fhow-to-enclose-theorems-and-definition-in-rectangles%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            名間水力發電廠 目录 沿革 設施 鄰近設施 註釋 外部連結 导航菜单23°50′10″N 120°42′41″E / 23.83611°N 120.71139°E / 23.83611; 120.7113923°50′10″N 120°42′41″E / 23.83611°N 120.71139°E / 23.83611; 120.71139計畫概要原始内容臺灣第一座BOT 模式開發的水力發電廠-名間水力電廠名間水力發電廠 水利署首件BOT案原始内容《小檔案》名間電廠 首座BOT水力發電廠原始内容名間電廠BOT - 經濟部水利署中區水資源局

            Prove that NP is closed under karp reduction?Space(n) not closed under Karp reductions - what about NTime(n)?Class P is closed under rotation?Prove or disprove that $NL$ is closed under polynomial many-one reductions$mathbfNC_2$ is closed under log-space reductionOn Karp reductionwhen can I know if a class (complexity) is closed under reduction (cook/karp)Check if class $PSPACE$ is closed under polyonomially space reductionIs NPSPACE also closed under polynomial-time reduction and under log-space reduction?Prove PSPACE is closed under complement?Prove PSPACE is closed under union?

            Is my guitar’s action too high? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Strings too stiff on a recently purchased acoustic guitar | Cort AD880CEIs the action of my guitar really high?Μy little finger is too weak to play guitarWith guitar, how long should I give my fingers to strengthen / callous?When playing a fret the guitar sounds mutedPlaying (Barre) chords up the guitar neckI think my guitar strings are wound too tight and I can't play barre chordsF barre chord on an SG guitarHow to find to the right strings of a barre chord by feel?High action on higher fret on my steel acoustic guitar