{"id":2401,"date":"2022-02-26T20:05:58","date_gmt":"2022-02-26T11:05:58","guid":{"rendered":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/?page_id=2401"},"modified":"2023-04-13T15:15:04","modified_gmt":"2023-04-13T06:15:04","slug":"maxima-jupyter-%e3%81%a6%e3%82%99%e5%a4%9a%e9%87%8d%e7%a9%8d%e5%88%86","status":"publish","type":"page","link":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/%e7%90%86%e5%b7%a5%e7%b3%bb%e3%81%ae%e6%95%b0%e5%ad%a6c\/maxima-%e3%81%a7%e7%90%86%e5%b7%a5%e7%b3%bb%e3%81%ae%e6%95%b0%e5%ad%a6c\/maxima-jupyter-%e3%81%a6%e3%82%99%e5%a4%9a%e9%87%8d%e7%a9%8d%e5%88%86\/","title":{"rendered":"Maxima \u3066\u3099\u591a\u91cd\u7a4d\u5206"},"content":{"rendered":"<p><!--more--><\/p>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>\u591a\u5909\u6570\u95a2\u6570\u306e\u7a4d\u5206\u3067\u3042\u308b\u591a\u91cd\u7a4d\u5206\u306e\u3046\u3061\uff0c\u3082\u3063\u3068\u3082\u7c21\u5358\u306a2\u5909\u6570\u95a2\u6570\u306e\u7a4d\u5206\u3064\u307e\u308a2\u91cd\u7a4d\u5206\u306b\u3064\u3044\u3066\u307e\u3068\u3081\u308b\u3002<\/p>\n<h3 id=\"2\u91cd\u7a4d\u5206\u306f\u7d2f\u6b21\u7a4d\u5206\u3067\">2\u91cd\u7a4d\u5206\u306f\u7d2f\u6b21\u7a4d\u5206\u3067<\/h3>\n<p>Maxima \u306b\u304a\u3051\u308b2\u91cd\u7a4d\u5206\u306e\u8a08\u7b97\u306f\uff0c\u57fa\u672c\u7684\u306b\u7d2f\u6b21\u7a4d\u5206\u3067\u3084\u308a\u307e\u3059\u3002<\/p>\n<p>$\\displaystyle \\iint_D f(x, y)\\, dx dy$ \u306e\u9818\u57df $D$ \u304c\u4f55\u3068\u4f55\u3067\u56f2\u307e\u308c\u3066\u3044\u308b\u304b\u3092\u660e\u3089\u304b\u306b\u3057\u3066\u7a4d\u5206\u3059\u308b\u3002<\/p>\n<h4 id=\"\u7d2f\u6b21\u7a4d\u5206-1\">\u7d2f\u6b21\u7a4d\u5206 1<\/h4>\n<p>\u9818\u57df $D$ \u304c $x_1 \\leq x \\leq x_2,\\ y_1 \\leq y \\leq y_2$ \u3067\u3042\u308b\u5834\u5408\uff1a<\/p>\n<p>$$\\iint_D f(x, y) \\,dx\\,dy = \\int_{x_1}^{x_2} \\left\\{\\int_{y_1}^{y_2} f(x, y)\\,dy \\right\\} dx$$<\/p>\n<p>\u307e\u305f\u306f<\/p>\n<p>$$\\iint_D f(x, y) \\,dx\\,dy = \\int_{y_1}^{y_2} \\left\\{\\int_{x_1}^{x_2} f(x, y)\\,dx \\right\\} dy$$<\/p>\n<h4 id=\"\u7d2f\u6b21\u7a4d\u5206-2\">\u7d2f\u6b21\u7a4d\u5206 2<\/h4>\n<p>\u9818\u57df $D$ \u304c $x_1 \\leq x \\leq x_1,\\ \\phi_1(x) \\leq y \\leq \\phi_2(x)$ \u3067\u3042\u308b\u5834\u5408\uff1a<\/p>\n<p>$$ \\iint_D f(x, y) \\,dx\\,dy = \\int_{x_1}^{x_2} \\left\\{\\int_{\\phi_1(x)}^{\\phi_2(x)} f(x, y)\\,dy \\right\\} dx$$<\/p>\n<h4 id=\"\u7d2f\u6b21\u7a4d\u5206-3\">\u7d2f\u6b21\u7a4d\u5206 3<\/h4>\n<p>\u9818\u57df $D$ \u304c $\\psi_1(y)\\leq x \\leq \\psi_2(y),\\ y_1 \\leq y \\leq y_2$ \u3067\u3042\u308b\u5834\u5408\uff1a<\/p>\n<p>$$ \\iint_D f(x, y) \\,dx\\,dy = \\int_{y_1}^{y_2} \\left\\{\\int_{\\psi_1(y)}^{\\psi_2(y)} f(x, y)\\,dx \\right\\} dy$$<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h4 id=\"\u4f8b\u984c\">\u4f8b\u984c<\/h4>\n<p>$$I = \\iint_D y \\,dx dy, \\quad D: 0\\leq x\\leq 2, \\ 0 \\leq y \\leq 2$$<\/p>\n<p>\u3053\u308c\u306f\uff0c\u30b1\u30fc\u30b9 1\u3002\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u7d2f\u6b21\u7a4d\u5206\u306b\u3057\u3066&#8230;<br \/>\n\\begin{eqnarray}<br \/>\nf(x, y) &amp;=&amp; y \\\\<br \/>\nx_1 &amp;=&amp; 0\\\\<br \/>\nx_2 &amp;=&amp; 2\\\\<br \/>\ny_1 &amp;=&amp; 0\\\\<br \/>\ny_2 &amp;=&amp; 2<br \/>\n\\end{eqnarray}<\/p>\n<p>\\begin{eqnarray}<br \/>\n\\iint_D y \\,dx dy &amp;=&amp; \\int_{x_1}^{x_2} \\left\\{\\int_{y_1}^{y_2} f(x, y) dy \\right\\} dx\\\\<br \/>\n&amp;=&amp; \\cdots<br \/>\n\\end{eqnarray}<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[1]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"nv\">y<\/span>$\r\n<span class=\"nv\">x1<\/span><span class=\"o\">:<\/span> 0$\r\n<span class=\"nv\">x2<\/span><span class=\"o\">:<\/span> 2$\r\n<span class=\"nv\">y1<\/span><span class=\"o\">:<\/span> 0$\r\n<span class=\"nv\">y2<\/span><span class=\"o\">:<\/span> 2$\r\n\r\n<span class=\"nv\">I<\/span> <span class=\"o\">=<\/span> <span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span>\r\n      <span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>,<span class=\"nv\">y<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">y<\/span>, <span class=\"nv\">y1<\/span>, <span class=\"nv\">y2<\/span><span class=\"p\">)<\/span>, \r\n      <span class=\"nv\">x<\/span>, <span class=\"nv\">x1<\/span>, <span class=\"nv\">x2<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[1]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{5}$}I=4\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h4 id=\"\u53c2\u8003\uff1a\u9818\u57df-$D$-\u306e\u5857\u308a\u3064\u3076\u3057\">\u53c2\u8003\uff1a\u9818\u57df $D$ \u306e\u5857\u308a\u3064\u3076\u3057<\/h4>\n<p>\u3064\u3044\u3067\u306b\uff0c\u9818\u57df $D$ \u306e\u90e8\u5206\u3092\u5857\u308a\u3064\u3076\u3057\u3066\u63cf\u3044\u3066\u307f\u307e\u3059\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[2]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"nv\">y<\/span>$\r\n<span class=\"nv\">x1<\/span><span class=\"o\">:<\/span> 0$\r\n<span class=\"nv\">x2<\/span><span class=\"o\">:<\/span> 2$\r\n<span class=\"nv\">y1<\/span><span class=\"o\">:<\/span> 0$\r\n<span class=\"nv\">y2<\/span><span class=\"o\">:<\/span> 2$\r\n\r\n<span class=\"nf\">draw2d<\/span><span class=\"p\">(<\/span>\r\n  <span class=\"nv\">title<\/span> <span class=\"o\">=<\/span> <span class=\"s\">\"\u9818\u57df D\"<\/span>,\r\n  <span class=\"cm\">\/* x \u8ef8 y \u8ef8\u306e\u8868\u793a\u7bc4\u56f2\u306e\u8a2d\u5b9a\u3002*\/<\/span> \r\n  <span class=\"nv\">xrange<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"o\">-<\/span><span class=\"mf\">0.5<\/span>, 2<span class=\"o\">.<\/span>5<span class=\"p\">]<\/span>, <span class=\"nv\">xaxis<\/span> <span class=\"o\">=<\/span> <span class=\"no\">true<\/span>, <span class=\"nv\">xlabel<\/span><span class=\"o\">=<\/span><span class=\"s\">\"x\"<\/span>, \r\n  <span class=\"nv\">yrange<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"o\">-<\/span><span class=\"mf\">0.5<\/span>, 2<span class=\"o\">.<\/span>5<span class=\"p\">]<\/span>, <span class=\"nv\">yaxis<\/span> <span class=\"o\">=<\/span> <span class=\"no\">true<\/span>, <span class=\"nv\">ylabel<\/span><span class=\"o\">=<\/span><span class=\"s\">\"y\"<\/span>, \r\n  <span class=\"nv\">user_preamble<\/span><span class=\"o\">=<\/span><span class=\"s\">\"set grid front\"<\/span>,\r\n  <span class=\"cm\">\/* \u7e26\u6a2a\u6bd4 *\/<\/span>\r\n  <span class=\"nv\">proportional_axes<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">xy<\/span>,\r\n  \r\n  <span class=\"cm\">\/* \u5857\u308a\u3064\u3076\u3059\u8272\u306e\u6307\u5b9a\u3002*\/<\/span>\r\n  <span class=\"nv\">fill_color<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">yellow<\/span>, \r\n  \r\n  <span class=\"cm\">\/* \u4e0a\u306e\u7dda\u3002y = y2 \u3092 filled_func \u306b\u4ee3\u5165\u3002*\/<\/span>\r\n  <span class=\"nv\">filled_func<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">y2<\/span>, \r\n  \r\n  <span class=\"cm\">\/* \u4e0b\u306e\u7dda\u3002y = y1 \u3092 x1 &lt; x &lt; x2 \u306e\u7bc4\u56f2\u3067\u63cf\u304f\u3002*\/<\/span>\r\n  <span class=\"nf\">explicit<\/span><span class=\"p\">(<\/span><span class=\"nv\">y1<\/span>, <span class=\"nv\">x<\/span>, <span class=\"nv\">x1<\/span>, <span class=\"nv\">x2<\/span><span class=\"p\">)<\/span>  \r\n<span class=\"p\">)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt\"><\/div>\n<div class=\"output_svg output_subarea \">\n<p><!--?xml version=\"1.0\" encoding=\"utf-8\" standalone=\"no\"?--><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-large wp-image-6132\" src=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/mmathc301.svg\" alt=\"\" width=\"640\" height=\"481\" \/><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>\u3064\u3044\u3067\u306b\uff0c3\u6b21\u5143\u7684\u306a\u30b0\u30e9\u30d5\u3092\u63cf\u3044\u3066\u307f\u307e\u3059\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[3]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"nv\">y<\/span>$\r\n<span class=\"nv\">x1<\/span><span class=\"o\">:<\/span> 0$\r\n<span class=\"nv\">x2<\/span><span class=\"o\">:<\/span> 2$\r\n<span class=\"nv\">y1<\/span><span class=\"o\">:<\/span> 0$\r\n<span class=\"nv\">y2<\/span><span class=\"o\">:<\/span> 2$\r\n\r\n<span class=\"nf\">draw3d<\/span><span class=\"p\">(<\/span>\r\n  <span class=\"cm\">\/* \u8868\u793a\u7bc4\u56f2 *\/<\/span>\r\n  <span class=\"nv\">xrange<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"o\">-<\/span><span class=\"mf\">0.5<\/span>, 2<span class=\"o\">.<\/span>5<span class=\"p\">]<\/span>,\r\n  <span class=\"nv\">yrange<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"o\">-<\/span><span class=\"mf\">0.5<\/span>, 2<span class=\"o\">.<\/span>5<span class=\"p\">]<\/span>, \r\n  <span class=\"nv\">zrange<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"mi\">0<\/span>, 2<span class=\"o\">.<\/span>5<span class=\"p\">]<\/span>, \r\n  <span class=\"cm\">\/* \u7e26\u6a2a\u6bd4 *\/<\/span>\r\n  <span class=\"nv\">proportional_axes<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">xyz<\/span>, <span class=\"nv\">xyplane<\/span><span class=\"o\">=<\/span><span class=\"mi\">0<\/span>,\r\n\r\n  <span class=\"cm\">\/* \u9818\u57df D*\/<\/span>\r\n  <span class=\"nv\">color<\/span><span class=\"o\">=<\/span><span class=\"nv\">yellow<\/span>,\r\n  <span class=\"nf\">parametric_surface<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span>, <span class=\"mi\">0<\/span>, \r\n                     <span class=\"nv\">x<\/span>, <span class=\"nv\">x1<\/span>, <span class=\"nv\">x2<\/span>, <span class=\"nv\">y<\/span>, <span class=\"nv\">y1<\/span>, <span class=\"nv\">y2<\/span><span class=\"p\">)<\/span>,\r\n  <span class=\"cm\">\/* z = f(x, y) *\/<\/span>\r\n  <span class=\"nv\">color<\/span><span class=\"o\">=<\/span><span class=\"nv\">blue<\/span>,\r\n  <span class=\"nf\">explicit<\/span><span class=\"p\">(<\/span><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"nv\">x1<\/span>, <span class=\"nv\">x2<\/span>, <span class=\"nv\">y<\/span>, <span class=\"nv\">y1<\/span>, <span class=\"nv\">y2<\/span><span class=\"p\">)<\/span>\r\n<span class=\"p\">)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt\"><\/div>\n<div class=\"output_svg output_subarea \">\n<p><!--?xml version=\"1.0\" encoding=\"utf-8\" standalone=\"no\"?--><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-large wp-image-6133\" src=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/mmathc302.svg\" alt=\"\" width=\"640\" height=\"481\" \/><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>2\u91cd\u7a4d\u5206\u306e\u7d50\u679c\u306f\uff0c\u9ec4\u8272\u3067\u5857\u308a\u3064\u3076\u3055\u308c\u305f\u9818\u57df $D$ \u3068\u9752\u8272\u3067\u5857\u3089\u308c\u305f\u5e73\u9762\u3067\u631f\u307e\u308c\u305f\u90e8\u5206\u306e\u4f53\u7a4d\u3092\u8868\u3059\u3002<\/p>\n<p>\u7e26\u6a2a\u9ad8\u3055\u3068\u3082\u306b $2$ \u306e\u7acb\u65b9\u4f53\u3092\u659c\u3081\u306b2\u3064\u306b\u5207\u3063\u305f\u7acb\u4f53\u3067\u3042\u308b\u306e\u3067\u4f53\u7a4d\u306f<\/p>\n<p>$$\\frac{2\\cdot 2\\cdot 2}{2} = 4$$<\/p>\n<p>\u306b\u306a\u308b\u306f\u305a\u3067\uff0c\u7b54\u3048\u3082\u78ba\u304b\u306b\u305d\u3046\u306a\u3063\u3066\u3044\u308b\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h4 id=\"\u4f8b\u984c\">\u4f8b\u984c<\/h4>\n<p>$$I = \\iint_D dx dy, \\quad D: x^2 + y^2 \\leq 1$$<\/p>\n<p>\u7d2f\u6b21\u7a4d\u5206\u306e\u5f62\u306b\u3059\u308b\u3002\u307e\u305a\u5148\u306b $-\\sqrt{1-x^2} &lt; y &lt; \\sqrt{1-x^2}$ \u306e\u7bc4\u56f2\u3067 $y$ \u3067\u5b9a\u7a4d\u5206\u3057\uff0c\u305d\u306e\u3042\u3068\u306b $ -1 &lt; x &lt; 1$ \u306e\u7bc4\u56f2\u3067 $x$ \u3067\u5b9a\u7a4d\u5206\u3059\u308b\u3002<br \/>\n\u88ab\u7a4d\u5206\u95a2\u6570\u306f $1$\u3002<\/p>\n<p>\u30b1\u30fc\u30b9 2 \u306e\u7d2f\u6b21\u7a4d\u5206\u306e\u5f62\uff1a<br \/>\n\\begin{eqnarray}<br \/>\nf(x, y) &amp;=&amp; 1 \\\\<br \/>\nx_1 &amp;=&amp; -1\\\\<br \/>\nx_2 &amp;=&amp; 1 \\\\<br \/>\n\\phi_1(x) &amp;=&amp; -\\sqrt{1-x^2}\\\\<br \/>\n\\phi_2(x) &amp;=&amp; \\sqrt{1-x^2}<br \/>\n\\end{eqnarray}<\/p>\n<p>\\begin{eqnarray}<br \/>\n\\iint_D dx dy &amp;=&amp; \\int_{x_1}^{x_2} \\left\\{\\int_{\\phi_1(x)}^{\\phi_2(x) } f(x, y)\\,dy \\right\\} dx \\\\<br \/>\n&amp;=&amp; \\cdots<br \/>\n\\end{eqnarray}<\/p>\n<p>$I$ \u306f\u534a\u5f84 $1$ \u306e\u5186\u306e\u9762\u7a4d\u3067\u3042\u308b\u304b\u3089\uff0c$\\pi r^2 = \\pi \\ (\\because r=1)$ \u3068\u306a\u308b\u306f\u305a\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[4]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> 1$\r\n<span class=\"nf\">phi1<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"o\">-<\/span><span class=\"nf\">sqrt<\/span><span class=\"p\">(<\/span>1<span class=\"o\">-<\/span><span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>$\r\n<span class=\"nf\">phi2<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"nf\">sqrt<\/span><span class=\"p\">(<\/span>1<span class=\"o\">-<\/span><span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>$\r\n<span class=\"nv\">x1<\/span><span class=\"o\">:<\/span> <span class=\"o\">-<\/span>1$\r\n<span class=\"nv\">x2<\/span><span class=\"o\">:<\/span> 1$\r\n\r\n<span class=\"nv\">I<\/span> <span class=\"o\">=<\/span> <span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span> \r\n      <span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span><span class=\"nf\">f<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">y<\/span>, <span class=\"nf\">phi1<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span>, <span class=\"nf\">phi2<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">))<\/span>, \r\n      <span class=\"nv\">x<\/span>, <span class=\"nv\">x1<\/span>, <span class=\"nv\">x2<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[4]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{25}$}I=\\pi\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h4 id=\"\u53c2\u8003\uff1a\u9818\u57df-$D$-\u306e\u5857\u308a\u3064\u3076\u3057\">\u53c2\u8003\uff1a\u9818\u57df $D$ \u306e\u5857\u308a\u3064\u3076\u3057<\/h4>\n<p>\u3064\u3044\u3067\u306b\uff0c\u9818\u57df $D$ \u306e\u90e8\u5206\u3092\u5857\u308a\u3064\u3076\u3057\u3066\u63cf\u3044\u3066\u307f\u307e\u3059\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[5]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">phi1<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"o\">-<\/span><span class=\"nf\">sqrt<\/span><span class=\"p\">(<\/span>1<span class=\"o\">-<\/span><span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>$\r\n<span class=\"nf\">phi2<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"nf\">sqrt<\/span><span class=\"p\">(<\/span>1<span class=\"o\">-<\/span><span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>$\r\n<span class=\"nv\">x1<\/span><span class=\"o\">:<\/span> <span class=\"o\">-<\/span>1$\r\n<span class=\"nv\">x2<\/span><span class=\"o\">:<\/span> 1$\r\n\r\n<span class=\"nf\">draw2d<\/span><span class=\"p\">(<\/span>\r\n  <span class=\"nv\">title<\/span><span class=\"o\">=<\/span><span class=\"s\">\"\u9818\u57df D\"<\/span>, \r\n  <span class=\"cm\">\/* x \u8ef8 y \u8ef8\u306e\u8868\u793a\u7bc4\u56f2\u306e\u8a2d\u5b9a\u3002*\/<\/span> \r\n  <span class=\"nv\">xrange<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"o\">-<\/span><span class=\"mf\">1.5<\/span>, 1<span class=\"o\">.<\/span>5<span class=\"p\">]<\/span>, <span class=\"nv\">xaxis<\/span> <span class=\"o\">=<\/span> <span class=\"no\">true<\/span>, <span class=\"nv\">xlabel<\/span><span class=\"o\">=<\/span><span class=\"s\">\"x\"<\/span>, \r\n  <span class=\"nv\">yrange<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"o\">-<\/span><span class=\"mf\">1.5<\/span>, 1<span class=\"o\">.<\/span>5<span class=\"p\">]<\/span>, <span class=\"nv\">yaxis<\/span> <span class=\"o\">=<\/span> <span class=\"no\">true<\/span>, <span class=\"nv\">ylabel<\/span><span class=\"o\">=<\/span><span class=\"s\">\"y\"<\/span>, \r\n  <span class=\"nv\">proportional_axes<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">xy<\/span>,   <span class=\"cm\">\/* \u5186\u3092\u307e\u3093\u307e\u308b\u304f\u8868\u793a\u3057\u305f\u3044\u3068\u304d\u306b *\/<\/span>\r\n  <span class=\"nv\">user_preamble<\/span><span class=\"o\">=<\/span><span class=\"s\">\"set grid front\"<\/span>,\r\n\r\n  <span class=\"nv\">fill_color<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">yellow<\/span>, \r\n  <span class=\"cm\">\/* \u7e01\u3092\u306a\u3081\u3089\u304b\u306b\u3059\u308b\u306b\u306f\u9069\u5b9c\u5927\u304d\u3044\u5024\u3092 *\/<\/span>\r\n  <span class=\"nv\">x_voxel<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">50<\/span>, <span class=\"nv\">y_voxel<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">50<\/span>, \r\n  <span class=\"cm\">\/* \u4e0d\u7b49\u5f0f\u3067\u793a\u3055\u308c\u305f\u9818\u57df\u3092\u5857\u308a\u3064\u3076\u3059\u4f8b *\/<\/span>\r\n  <span class=\"nf\">region<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span> <span class=\"o\">+<\/span> <span class=\"nv\">y<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span> <span class=\"o\">&lt;<\/span> <span class=\"mi\">1<\/span>, <span class=\"nv\">x<\/span>, <span class=\"o\">-<\/span><span class=\"mf\">1.5<\/span>, <span class=\"mf\">1.5<\/span>, <span class=\"nv\">y<\/span>, <span class=\"o\">-<\/span><span class=\"mf\">1.5<\/span>, <span class=\"mf\">1.5<\/span><span class=\"p\">)<\/span>\r\n<span class=\"p\">)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt\"><\/div>\n<div class=\"output_svg output_subarea \">\n<p><!--?xml version=\"1.0\" encoding=\"utf-8\" standalone=\"no\"?--><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-large wp-image-6134\" src=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-content\/uploads\/sites\/76\/mmathc303.svg\" alt=\"\" width=\"640\" height=\"481\" \/><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"\u30ac\u30a6\u30b9\u7a4d\u5206\u306e\u6e96\u5099\u3068\u3057\u3066\u306e2\u91cd\u7a4d\u5206\">\u30ac\u30a6\u30b9\u7a4d\u5206\u306e\u6e96\u5099\u3068\u3057\u3066\u306e2\u91cd\u7a4d\u5206<\/h3>\n<p>$$ S = \\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} e^{-x^2 &#8211; y^2} dx\\,dy$$<\/p>\n<h4 id=\"\u6975\u5ea7\u6a19\u306b\u5909\u63db\u3057\u3066\u7a4d\u5206\">\u6975\u5ea7\u6a19\u306b\u5909\u63db\u3057\u3066\u7a4d\u5206<\/h4>\n<p>\u6975\u5ea7\u6a19\u306b\u5909\u63db\u3057\u3066\u8a08\u7b97\u3059\u308b\u3002<\/p>\n<p>\u30c7\u30ab\u30eb\u30c8\u5ea7\u6a19 $x, y$ \u30682\u6b21\u5143\u6975\u5ea7\u6a19 $r, \\theta$ \u3068\u306e\u9593\u306e\u95a2\u4fc2\u306f<br \/>\n\\begin{eqnarray}<br \/>\nx &amp;=&amp; r\\cos\\theta\\\\<br \/>\ny &amp;=&amp; r\\sin\\theta<br \/>\n\\end{eqnarray}<br \/>\n\u3067\u3042\u308a\uff0c\u5fae\u5c0f\u9762\u7a4d\u8981\u7d20 $dx\\,dy$ \u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u5909\u63db\u3055\u308c\u308b\u3002<\/p>\n<p>\\begin{eqnarray}<br \/>\ndx\\,dy &amp;=&amp; \\frac{\\partial(x, y)}{\\partial(r,\\theta)} \\,dr\\, d\\theta<br \/>\n\\end{eqnarray}<\/p>\n<p>\u3053\u3053\u3067\uff0c\u3053\u3053\u3067\uff0c$$ \\frac{\\partial(x,y)}{\\partial(r,\\theta)} \\equiv<br \/>\n\\begin{vmatrix}<br \/>\n\\frac{\\partial x}{\\partial r} &amp; \\frac{\\partial x}{\\partial \\theta}\\\\<br \/>\n\\frac{\\partial y}{\\partial r} &amp; \\frac{\\partial y}{\\partial \\theta}\\\\<br \/>\n\\end{vmatrix}<br \/>\n= \\frac{\\partial x}{\\partial r} \\frac{\\partial y}{\\partial \\theta} &#8211; \\frac{\\partial y}{\\partial r}\\frac{\\partial x}{\\partial \\theta}$$ \u3092\u30e4\u30b3\u30d3\u30a2\u30f3\u3068\u3044\u3046\u3002<\/p>\n<p>Maxima \u3067\u30e4\u30b3\u30d3\u30a2\u30f3\u3092\u8a08\u7b97\u3059\u308b\u4f8b\uff1a<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[6]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nv\">x<\/span><span class=\"o\">:<\/span> <span class=\"nv\">r<\/span> <span class=\"o\">*<\/span> <span class=\"nf\">cos<\/span><span class=\"p\">(<\/span><span class=\"nv\">theta<\/span><span class=\"p\">)<\/span>;\r\n<span class=\"nv\">y<\/span><span class=\"o\">:<\/span> <span class=\"nv\">r<\/span> <span class=\"o\">*<\/span> <span class=\"nf\">sin<\/span><span class=\"p\">(<\/span><span class=\"nv\">theta<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[6]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{32}$}r\\,\\cos \\vartheta\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[6]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{33}$}r\\,\\sin \\vartheta\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[7]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">jacobian<\/span><span class=\"p\">([<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">]<\/span>, <span class=\"p\">[<\/span><span class=\"nv\">r<\/span>, <span class=\"nv\">theta<\/span><span class=\"p\">])<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[7]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{34}$}\\begin{pmatrix}\\cos \\vartheta &amp; -r\\,\\sin \\vartheta \\\\ \\sin \\vartheta &amp; r\\,\\cos \\vartheta \\\\ \\end{pmatrix}\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>Maxima \u306e <code>jacobian()<\/code> \u95a2\u6570\u306f\u300c\u95a2\u6570\u884c\u5217\u300d\u3092\u4e0e\u3048\u308b\u306e\u3067\uff0c\u300c\u95a2\u6570\u884c\u5217\u5f0f\u300d\u306b\u3059\u308b\u306b\u306f\uff0c\u3055\u3089\u306b <code>determinant()<\/code> \u3092\u3068\u308b\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[8]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">determinant<\/span><span class=\"p\">(<\/span><span class=\"nf\">jacobian<\/span><span class=\"p\">([<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">]<\/span>, <span class=\"p\">[<\/span><span class=\"nv\">r<\/span>, <span class=\"nv\">theta<\/span><span class=\"p\">]))<\/span>;\r\n<span class=\"nf\">trigsimp<\/span><span class=\"p\">(<\/span><span class=\"nv\">%<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[8]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{35}$}r\\,\\sin ^2\\vartheta+r\\,\\cos ^2\\vartheta\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[8]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{36}$}r\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>\u30e4\u30b3\u30d3\u30a2\u30f3\u304c $r$ \u3068\u306a\u308b\u3053\u3068\u304c\u308f\u304b\u3063\u305f\u3002<\/p>\n<p>\\begin{eqnarray}<br \/>\n\\therefore\\ \\ S &amp;=&amp; \\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} e^{-x^2 &#8211; y^2} dx\\,dy \\\\<br \/>\n&amp;=&amp; \\int_0^{2\\pi} \\int_0^{\\infty} e^{-r^2} r \\,dr \\,d\\theta\\\\<br \/>\n&amp;=&amp; 2 \\pi \\int_0^{\\infty} e^{-r^2} r \\,dr<br \/>\n\\end{eqnarray}<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[9]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre>2<span class=\"o\">*<\/span><span class=\"nv\">%pi<\/span><span class=\"o\">*<\/span> <span class=\"o\">'<\/span><span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"o\">-<\/span><span class=\"nv\">r<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span> <span class=\"o\">*<\/span> <span class=\"nv\">r<\/span>, <span class=\"nv\">r<\/span>, <span class=\"mi\">0<\/span>, <span class=\"no\">inf<\/span><span class=\"p\">)<\/span> <span class=\"o\">=<\/span>\r\n 2<span class=\"o\">*<\/span><span class=\"nv\">%pi<\/span><span class=\"o\">*<\/span> <span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"o\">-<\/span><span class=\"nv\">r<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span> <span class=\"o\">*<\/span> <span class=\"nv\">r<\/span>, <span class=\"nv\">r<\/span>, <span class=\"mi\">0<\/span>, <span class=\"no\">inf<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[9]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{37}$}2\\,\\pi\\,\\int_{0}^{\\infty }{r\\,e^ {- r^2 }\\;dr}=\\pi\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[10]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"cm\">\/* \u6b21\u306b\u9032\u3080\u524d\u306b *\/<\/span>\r\n<span class=\"cm\">\/* x \u3084 y \u306e\u5b9a\u7fa9\u3092\u306a\u3057\u306b\u3057\u3066\u304a\u304f\u3002*\/<\/span>\r\n<span class=\"nf\">kill<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span>, <span class=\"nv\">y<\/span><span class=\"p\">)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"\u30ac\u30a6\u30b9\u7a4d\u5206\">\u30ac\u30a6\u30b9\u7a4d\u5206<\/h3>\n<p>$$ I = \\int_{-\\infty}^{\\infty} e^{-x^2 } dx$$<\/p>\n<p>\u3068\u3059\u308b\u3068\uff0c\u4e0a\u3067<\/p>\n<p>\\begin{eqnarray}<br \/>\nS &amp;=&amp; \\int_{-\\infty}^{\\infty} \\int_{-\\infty}^{\\infty} e^{-x^2 &#8211; y^2} dx\\,dy \\\\<br \/>\n&amp;=&amp; I^2 \\\\<br \/>\n&amp;=&amp; \\pi<br \/>\n\\end{eqnarray}<\/p>\n<p>\u3068\u3044\u3046\u3053\u3068\u304c\u308f\u304b\u3063\u305f\u306e\u3067\uff0c<\/p>\n<p>$$ I = \\int_{-\\infty}^{\\infty} e^{-x^2 } dx = \\sqrt{S} = \\sqrt{\\pi}$$<\/p>\n<p>\u3068\u3044\u3046\u3053\u3068\u306b\u306a\u308b\u3002Maxima \u304c\u30ac\u30a6\u30b9\u7a4d\u5206 $I$ \u3092\u77e5\u3063\u3066\u3044\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3059\u308b\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[11]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"o\">'<\/span><span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"o\">-<\/span><span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"o\">-<\/span><span class=\"no\">inf<\/span>, <span class=\"no\">inf<\/span><span class=\"p\">)<\/span> <span class=\"o\">=<\/span> \r\n <span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"o\">-<\/span><span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"o\">-<\/span><span class=\"no\">inf<\/span>, <span class=\"no\">inf<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[11]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{39}$}\\int_{-\\infty }^{\\infty }{e^ {- x^2 }\\;dx}=\\sqrt{\\pi}\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>\u88ab\u7a4d\u5206\u95a2\u6570\u306f\u5076\u95a2\u6570\u3067\u3042\u308b\u304b\u3089\uff0c\u7a4d\u5206\u7bc4\u56f2\u3092 $0$ \u304b\u3089\u306b\u3059\u308b\u3068\u7b54\u3048\u306f\u534a\u5206\u306b\u306a\u308b\u306f\u305a\u3067\uff0c\u3053\u308c\u3082\u78ba\u8a8d\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[12]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"o\">'<\/span><span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"o\">-<\/span><span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"mi\">0<\/span>, <span class=\"no\">inf<\/span><span class=\"p\">)<\/span> <span class=\"o\">=<\/span> \r\n <span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"o\">-<\/span><span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"mi\">0<\/span>, <span class=\"no\">inf<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[12]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{40}$}\\int_{0}^{\\infty }{e^ {- x^2 }\\;dx}=\\frac{\\sqrt{\\pi}}{2}\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>\u30ac\u30a6\u30b9\u7a4d\u5206\u306f\uff0c\u7a4d\u5206\u306e\u4e0a\u9650\u304c $\\infty$ \u306e\u3068\u304d\u306b\u3060\u3051\u89e3\u6790\u7684\u306b\u7a4d\u5206\u3067\u304d\u308b\u4f8b\u3002<\/p>\n<p>\u7a4d\u5206\u7bc4\u56f2\u304c $0$ \u304b\u3089\u4e00\u822c\u306b $x$ \u307e\u3067\u3060\u3068\u7a4d\u5206\u3067\u304d\u306a\u3044\uff08\u7d50\u679c\u304c\u521d\u7b49\u95a2\u6570\u3067\u8868\u305b\u306a\u3044\uff09\u3002\u5b9f\u969b\u306b\u3084\u3063\u3066\u307f\u308b\u3068&#8230;<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[13]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">assume<\/span><span class=\"p\">(<\/span><span class=\"nv\">x<\/span> <span class=\"o\">&gt;<\/span> <span class=\"mi\">0<\/span><span class=\"p\">)<\/span>$\r\n<span class=\"o\">'<\/span><span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"o\">-<\/span><span class=\"nv\">t<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">t<\/span>, <span class=\"mi\">0<\/span>, <span class=\"nv\">x<\/span><span class=\"p\">)<\/span> <span class=\"o\">=<\/span> \r\n <span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"o\">-<\/span><span class=\"nv\">t<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">t<\/span>, <span class=\"mi\">0<\/span>, <span class=\"nv\">x<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[13]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{42}$}\\int_{0}^{x}{e^ {- t^2 }\\;dt}=\\frac{\\sqrt{\\pi}\\,\\mathrm{erf}\\left(x\\right)}{2}\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h4 id=\"\u53c2\u8003\uff1a\u8aa4\u5dee\u95a2\u6570\">\u53c2\u8003\uff1a\u8aa4\u5dee\u95a2\u6570<\/h4>\n<p>$\\operatorname{erf} (x)$ \u306f\u300c\u8aa4\u5dee\u95a2\u6570\u300d\u3068\u547c\u3070\u308c\uff0c\u3053\u308c\u304c\u5b9a\u7fa9\uff1a<\/p>\n<p>\\begin{eqnarray}<br \/>\n\\operatorname{erf} (x) &amp;\\equiv&amp; \\frac{2}{\\sqrt{\\pi}} \\int_0^x e^{-t^2} \\, dt<br \/>\n\\end{eqnarray}<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"\u30ac\u30a6\u30b9\u7a4d\u5206\u306b\u95a2\u9023\u3057\u305f\u7a4d\u5206\">\u30ac\u30a6\u30b9\u7a4d\u5206\u306b\u95a2\u9023\u3057\u305f\u7a4d\u5206<\/h3>\n<p>$$I(m) \\equiv \\int_{0}^{\\infty} x^m e^{-x^2 } dx$$<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[14]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"nv\">m<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span> <span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"nv\">m<\/span> <span class=\"o\">*<\/span> <span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"o\">-<\/span><span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"mi\">0<\/span>, <span class=\"no\">inf<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[14]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{43}$}I\\left(m\\right):={\\it integrate}\\left(x^{m}\\,\\exp \\left(-x^2\\right) , x , 0 , \\infty \\right)\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[15]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">0<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[15]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{44}$}\\frac{\\sqrt{\\pi}}{2}\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[16]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>;\r\n<span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">4<\/span><span class=\"p\">)<\/span>;\r\n<span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">6<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[16]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{45}$}\\frac{\\sqrt{\\pi}}{4}\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[16]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{46}$}\\frac{3\\,\\sqrt{\\pi}}{8}\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[16]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{47}$}\\frac{15\\,\\sqrt{\\pi}}{16}\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>$m = 2 n$ ($n$ \u306f\u6574\u6570) \u306e\u5834\u5408\u3092\u63a8\u6e2c\u3059\u308b\u305f\u3081\u306b\uff0c$I(0)$ \u306e\u5024\u3067\u5272\u3063\u3066\uff0c<code>factor()<\/code> \u95a2\u6570\u3067\u5206\u6bcd\u5206\u5b50\u3092\u7d20\u56e0\u6570\u5206\u89e3\u3057\u3066\u307f\u308b\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[17]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span><span class=\"o\">\/<\/span><span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">0<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">factor<\/span>;\r\n<span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">4<\/span><span class=\"p\">)<\/span><span class=\"o\">\/<\/span><span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">0<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">factor<\/span>;\r\n<span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">6<\/span><span class=\"p\">)<\/span><span class=\"o\">\/<\/span><span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">0<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">factor<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[17]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{48}$}\\frac{1}{2}\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[17]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{49}$}\\frac{3}{2^2}\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[17]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{50}$}\\frac{3\\,5}{2^3}\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>\u3068\u3044\u3046\u3053\u3068\u306f\uff0c<\/p>\n<p>\\begin{eqnarray}<br \/>\nI(2) &amp;=&amp; 1\\times \\frac{1}{2} \\times I(0), \\\\<br \/>\nI(4) &amp;=&amp; \\frac{3\\cdot 1}{2^2} \\times I(0), \\\\<br \/>\nI(6) &amp;=&amp; \\frac{5\\cdot3\\cdot 1}{2^3} \\times I(0), \\dots<br \/>\n\\end{eqnarray}<\/p>\n<p>\u3060\u304b\u3089\uff0c<\/p>\n<p>$$\\displaystyle I(2 n) = \\frac{(2n-1)!!}{2^{n}} \\frac{\\sqrt{\\pi}}{2}$$<\/p>\n<p>\u3068\u63a8\u6e2c\u3055\u308c\u308b\u3002\u5b9f\u969b\u78ba\u304b\u3081\u3066\u307f\u308b\u3068&#8230;<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[18]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"cm\">\/* m &gt;= 2 \u306e\u5076\u6570\u306b\u5bfe\u3057\u3066\uff0c\u4e0a\u8a18\u306e 2 n \u3092 m \u3068\u304a\u3044\u3066 *\/<\/span>\r\n\r\n<span class=\"nf\">EvenI<\/span><span class=\"p\">(<\/span><span class=\"nv\">m<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"p\">(<\/span><span class=\"nv\">m<\/span><span class=\"o\">-<\/span><span class=\"mi\">1<\/span><span class=\"p\">)<\/span><span class=\"o\">!!\/<\/span>2<span class=\"o\">**<\/span><span class=\"p\">(<\/span><span class=\"nv\">m<\/span><span class=\"o\">\/<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span> <span class=\"o\">*<\/span> <span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">0<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[18]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{51}$}{\\it EvenI}\\left(m\\right):=\\frac{{\\it genfact}\\left(m-1 , \\frac{m-1}{2} , 2\\right)\\,I\\left(0\\right)}{2^{\\frac{m}{2}}}\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[19]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"cm\">\/* \u305f\u3068\u3048\u3070 m = 8 \u306e\u3068\u304d *\/<\/span>\r\n<span class=\"nf\">EvenI<\/span><span class=\"p\">(<\/span><span class=\"mi\">8<\/span><span class=\"p\">)<\/span> <span class=\"o\">-<\/span> <span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">8<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[19]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{52}$}0\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>\u3053\u308c\u3067 $m \\geq 2$ \u304c\u5076\u6570\u306e\u5834\u5408\u306e $I(m)$ \u306f\u6c42\u307e\u3063\u305f\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[20]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"cm\">\/* m = 2 \u304b\u3089 10 \u307e\u3067 MyEvenI(m) \u306e\u5024\u3092\u8868\u793a\u3055\u305b\u308b\u3002*\/<\/span>\r\n<span class=\"k\">for<\/span> <span class=\"nv\">m<\/span><span class=\"o\">:<\/span> <span class=\"mi\">2<\/span> <span class=\"k\">thru<\/span> <span class=\"mi\">10<\/span> <span class=\"k\">step<\/span> <span class=\"mi\">2<\/span>\r\n    <span class=\"k\">do<\/span><span class=\"p\">(<\/span><span class=\"nf\">print<\/span><span class=\"p\">(<\/span><span class=\"s\">\"m = \"<\/span>, <span class=\"nv\">m<\/span>, <span class=\"s\">\" \u306e\u3068\u304d: \"<\/span>, \r\n    <span class=\"o\">'<\/span><span class=\"nf\">integrate<\/span><span class=\"p\">(<\/span> <span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"nv\">m<\/span> <span class=\"o\">*<\/span> <span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"o\">-<\/span><span class=\"nv\">x<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">x<\/span>, <span class=\"mi\">0<\/span>, <span class=\"no\">inf<\/span><span class=\"p\">)<\/span> <span class=\"o\">=<\/span> <span class=\"nf\">EvenI<\/span><span class=\"p\">(<\/span><span class=\"nv\">m<\/span><span class=\"p\">)))<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt\"><\/div>\n<div class=\"output_latex output_subarea \">m = \\(2\\) \u306e\u3068\u304d: \\(\\int_{0}^{\\infty }{x^2\\,e^ {- x^2 }\\;dx}=\\frac{\\sqrt{\\pi}}{4}\\)<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt\"><\/div>\n<div class=\"output_latex output_subarea \">m = \\(4\\) \u306e\u3068\u304d: \\(\\int_{0}^{\\infty }{x^4\\,e^ {- x^2 }\\;dx}=\\frac{3\\,\\sqrt{\\pi}}{8}\\)<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt\"><\/div>\n<div class=\"output_latex output_subarea \">m = \\(6\\) \u306e\u3068\u304d: \\(\\int_{0}^{\\infty }{x^6\\,e^ {- x^2 }\\;dx}=\\frac{15\\,\\sqrt{\\pi}}{16}\\)<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt\"><\/div>\n<div class=\"output_latex output_subarea \">m = \\(8\\) \u306e\u3068\u304d: \\(\\int_{0}^{\\infty }{x^8\\,e^ {- x^2 }\\;dx}=\\frac{105\\,\\sqrt{\\pi}}{32}\\)<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt\"><\/div>\n<div class=\"output_latex output_subarea \">m = \\(10\\) \u306e\u3068\u304d: \\(\\int_{0}^{\\infty }{x^{10}\\,e^ {- x^2 }\\;dx}=\\frac{945\\,\\sqrt{\\pi}}{64}\\)<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>\u6b21\u306b\uff0c$m$ \u304c\u5947\u6570\uff08$m = 2 n +1$\uff09\u306e\u5834\u5408\u306e $I(m)$ \u306e\u4e00\u822c\u5f62\u3092\u4e88\u60f3\u3057\u3066\u307f\u308b\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[21]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">1<\/span><span class=\"p\">)<\/span>;\r\n<span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">3<\/span><span class=\"p\">)<\/span>;\r\n<span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">5<\/span><span class=\"p\">)<\/span>;\r\n<span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">7<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[21]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{54}$}\\frac{1}{2}\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[21]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{55}$}\\frac{1}{2}\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[21]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{56}$}1\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[21]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{57}$}3\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[22]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">3<\/span><span class=\"p\">)<\/span><span class=\"o\">\/<\/span><span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">1<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">factor<\/span>;\r\n<span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">5<\/span><span class=\"p\">)<\/span><span class=\"o\">\/<\/span><span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">1<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">factor<\/span>;\r\n<span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">7<\/span><span class=\"p\">)<\/span><span class=\"o\">\/<\/span><span class=\"nf\">I<\/span><span class=\"p\">(<\/span><span class=\"mi\">1<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">factor<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[22]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{58}$}1\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[22]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{59}$}2\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[22]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{60}$}2\\,3\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>\u4ee5\u4e0a\u306e\u3053\u3068\u304b\u3089\u6b21\u306e\u3088\u3046\u306a\u63a8\u6e2c\u304c\u3067\u304d\u308b\u3002<\/p>\n<p>$$ I(2n+1) = n! \\times I(1) $$<\/p>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":33,"featured_media":0,"parent":6118,"menu_order":30,"comment_status":"closed","ping_status":"closed","template":"","meta":{"inline_featured_image":false,"footnotes":""},"class_list":["post-2401","page","type-page","status-publish","hentry","nodate","item-wrap"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages\/2401","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/users\/33"}],"replies":[{"embeddable":true,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/comments?post=2401"}],"version-history":[{"count":4,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages\/2401\/revisions"}],"predecessor-version":[{"id":6135,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages\/2401\/revisions\/6135"}],"up":[{"embeddable":true,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages\/6118"}],"wp:attachment":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/media?parent=2401"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}