{"id":2785,"date":"2022-03-30T11:31:45","date_gmt":"2022-03-30T02:31:45","guid":{"rendered":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/?page_id=2785"},"modified":"2024-02-20T12:04:21","modified_gmt":"2024-02-20T03:04:21","slug":"%e5%8f%82%e8%80%83%ef%bc%9amaxima-jupyter-%e3%81%a7%e3%83%99%e3%82%af%e3%83%88%e3%83%ab%e3%81%ae%e6%bc%94%e7%ae%97","status":"publish","type":"page","link":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/%e9%9b%bb%e7%a3%81%e6%b0%97%e5%ad%a6-i\/%e3%83%99%e3%82%af%e3%83%88%e3%83%ab%e3%81%ae%e6%bc%94%e7%ae%97\/%e5%8f%82%e8%80%83%ef%bc%9amaxima-jupyter-%e3%81%a7%e3%83%99%e3%82%af%e3%83%88%e3%83%ab%e3%81%ae%e6%bc%94%e7%ae%97\/","title":{"rendered":"\u53c2\u8003\uff1aMaxima-Jupyter \u3067\u30d9\u30af\u30c8\u30eb\u306e\u6f14\u7b97"},"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<h3 id=\"Maxima-\u306b\u304a\u3051\u308b\u30d9\u30af\u30c8\u30eb\u306e\u8868\u8a18\">Maxima \u306b\u304a\u3051\u308b\u30d9\u30af\u30c8\u30eb\u306e\u8868\u8a18<\/h3>\n<p>Maxima \u3067\u306f\uff0c\u30ea\u30b9\u30c8\uff08<code>[<\/code> \u3068 <code>]<\/code> \u306e\u9593\u306b\u6210\u5206\u3092\u30ab\u30f3\u30de\u3067\u533a\u5207\u3063\u3066\u4e26\u3079\u305f\u3082\u306e\uff09\u3067\u8868\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\uff08<code>matrix()<\/code> \u3092\u4f7f\u3063\u305f\u8868\u3057\u65b9\u3082\u3042\u308a\u307e\u3059\u304c\uff0c\u3053\u3053\u3067\u306f\u7701\u7565\u3002\uff09<\/p>\n<p>Maxima \u306e\u30ea\u30b9\u30c8\u3067\u306f\uff0c$x$ \u6210\u5206\uff0c$y$ \u6210\u5206&#8230; \u306e\u3088\u3046\u306b\u6307\u5b9a\u3059\u308b\u3088\u308a\u3082\uff0c1\u756a\u76ee\u306e\u6210\u5206\uff0c2\u756a\u76ee\u306e\u6210\u5206&#8230; \u306e\u3088\u3046\u306b\u6307\u5b9a\u3057\u305f\u307b\u3046\u304c\u4fbf\u5229\u3067\u3059\u3002<\/p>\n<p><code>[a1, a2, a3]<\/code> \u306e\u3088\u3046\u306b\u66f8\u304f\u3068\u6dfb\u5b57\u3068\u3057\u3066\u8868\u793a\u3057\u3066\u304f\u308c\u307e\u3059\u3057\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[1]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nv\">a<\/span><span class=\"o\">:<\/span> <span class=\"p\">[<\/span><span class=\"nv\">a1<\/span>, <span class=\"nv\">a2<\/span>, <span class=\"nv\">a3<\/span><span class=\"p\">]<\/span>;\r\n<span class=\"nv\">b<\/span><span class=\"o\">:<\/span> <span class=\"p\">[<\/span><span class=\"nv\">b1<\/span>, <span class=\"nv\">b2<\/span>, <span class=\"nv\">b3<\/span><span class=\"p\">]<\/span>;\r\n<span class=\"nv\">c<\/span><span class=\"o\">:<\/span> <span class=\"p\">[<\/span><span class=\"nv\">c1<\/span>, <span class=\"nv\">c2<\/span>, <span class=\"nv\">c3<\/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}_{1}$}\\left[ a_{1} , a_{2} , a_{3} \\right] \\]<\/div>\n<\/div>\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}_{2}$}\\left[ b_{1} , b_{2} , b_{3} \\right] \\]<\/div>\n<\/div>\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}_{3}$}\\left[ c_{1} , c_{2} , c_{3} \\right] \\]<\/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=\"\u30d9\u30af\u30c8\u30eb\u306e\u6f14\u7b97\">\u30d9\u30af\u30c8\u30eb\u306e\u6f14\u7b97<\/h3>\n<h4 id=\"\u8db3\u7b97\uff0c\u5f15\u304d\u7b97\">\u8db3\u7b97\uff0c\u5f15\u304d\u7b97<\/h4>\n<p>\u30d9\u30af\u30c8\u30eb\u306e\u8db3\u7b97\u5f15\u304d\u7b97\u3092\u3057\u3066\u307f\u308b\u3068\uff0c\u6210\u5206\u540c\u58eb\u306e\u8db3\u7b97\u5f15\u304d\u7b97\u306b\u306a\u3063\u3066\u3044\u308b\u3053\u3068\u304c\u308f\u304b\u308a\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=\"nv\">a<\/span> <span class=\"o\">+<\/span> <span class=\"nv\">b<\/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[2]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{4}$}\\left[ b_{1}+a_{1} , b_{2}+a_{2} , b_{3}+a_{3} \\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[3]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nv\">a<\/span> <span class=\"o\">-<\/span> <span class=\"nv\">b<\/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[3]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{5}$}\\left[ a_{1}-b_{1} , a_{2}-b_{2} , a_{3}-b_{3} \\right] \\]<\/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=\"\u30d9\u30af\u30c8\u30eb\u306e\u5b9a\u6570\u500d\">\u30d9\u30af\u30c8\u30eb\u306e\u5b9a\u6570\u500d<\/h4>\n<p>\u30d9\u30af\u30c8\u30eb\u306e\u5b9a\u6570\u500d\u306f\uff0c\u5404\u6210\u5206\u3092\u305d\u308c\u305e\u308c\u5b9a\u6570\u500d\u3057\u305f\u3082\u306e\u306b\u306a\u3063\u3066\u3044\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[4]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nv\">C<\/span> <span class=\"o\">*<\/span> <span class=\"nv\">a<\/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}_{6}$}\\left[ C\\,a_{1} , C\\,a_{2} , C\\,a_{3} \\right] \\]<\/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=\"\u30d9\u30af\u30c8\u30eb\u306e\u5185\u7a4d\">\u30d9\u30af\u30c8\u30eb\u306e\u5185\u7a4d<\/h3>\n<p>Maxima \u3067\u306f\uff0c\u30d9\u30af\u30c8\u30eb\u306e\u5185\u7a4d\u306f <code>.<\/code>\uff08\u30c9\u30c3\u30c8\uff0c\u30d4\u30ea\u30aa\u30c9\uff09\u3067\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=\"nv\">a<\/span> <span class=\"o\">.<\/span> <span class=\"nv\">b<\/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[5]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{7}$}a_{3}\\,b_{3}+a_{2}\\,b_{2}+a_{1}\\,b_{1}\\]<\/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=\"\u30d9\u30af\u30c8\u30eb\u306e\u5927\u304d\u3055\">\u30d9\u30af\u30c8\u30eb\u306e\u5927\u304d\u3055<\/h4>\n<p>\u30d9\u30af\u30c8\u30eb $\\boldsymbol{a}$ \u306e\u5927\u304d\u3055 $|\\boldsymbol{a}|$ \u306f\u81ea\u5206\u81ea\u8eab\u3068\u306e\u5185\u7a4d\u306e\u5e73\u65b9\u6839\u3068\u3057\u3066\u5b9a\u7fa9\u3055\u308c\u307e\u3059\u3002<br \/>\n$$|\\boldsymbol{a}| \\equiv \\sqrt{\\boldsymbol{a}\\cdot\\boldsymbol{a}}$$<\/p>\n<p>\u30d9\u30af\u30c8\u30eb\u306e\u5927\u304d\u3055\u3092\u8fd4\u3059\u95a2\u6570 <code>norm()<\/code> \u3092\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u5b9a\u7fa9\u3057\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[6]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">norm<\/span><span class=\"p\">(<\/span><span class=\"nv\">v<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> <span class=\"nf\">sqrt<\/span><span class=\"p\">(<\/span><span class=\"nv\">v<\/span> <span class=\"o\">.<\/span> <span class=\"nv\">v<\/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}_{8}$}{\\it norm}\\left(v\\right):=\\sqrt{v\\cdot v}\\]<\/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>\u4eca\u5b9a\u7fa9\u3057\u305f <code>norm()<\/code> \u3092\u4f7f\u3063\u3066\uff0c\u30d9\u30af\u30c8\u30eb $\\boldsymbol{a}$ \u306e\u5927\u304d\u3055 $|\\boldsymbol{a}|$ \u3092\u8a08\u7b97\u3057\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[7]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">norm<\/span><span class=\"p\">(<\/span><span class=\"nv\">a<\/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}_{9}$}\\sqrt{a_{3}^2+a_{2}^2+a_{1}^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<h3 id=\"\u30d9\u30af\u30c8\u30eb\u306e\u5916\u7a4d\">\u30d9\u30af\u30c8\u30eb\u306e\u5916\u7a4d<\/h3>\n<p>\u30d9\u30af\u30c8\u30eb\u306e\u5916\u7a4d\u3092\u8a08\u7b97\u3059\u308b\u95a2\u6570 <code>cross()<\/code> \u3092\u4ee5\u4e0b\u306e\u3088\u3046\u306b\uff0c\u81ea\u5206\u3067\u5b9a\u7fa9\u3057\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[8]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">cross<\/span><span class=\"p\">(<\/span><span class=\"nv\">u<\/span>, <span class=\"nv\">v<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span>\r\n           <span class=\"p\">[<\/span><span class=\"nv\">u<\/span><span class=\"p\">[<\/span>2<span class=\"p\">]<\/span><span class=\"o\">*<\/span><span class=\"nv\">v<\/span><span class=\"p\">[<\/span>3<span class=\"p\">]<\/span> <span class=\"o\">-<\/span> <span class=\"nv\">u<\/span><span class=\"p\">[<\/span>3<span class=\"p\">]<\/span><span class=\"o\">*<\/span><span class=\"nv\">v<\/span><span class=\"p\">[<\/span>2<span class=\"p\">]<\/span>,\r\n            <span class=\"nv\">u<\/span><span class=\"p\">[<\/span>3<span class=\"p\">]<\/span><span class=\"o\">*<\/span><span class=\"nv\">v<\/span><span class=\"p\">[<\/span>1<span class=\"p\">]<\/span> <span class=\"o\">-<\/span> <span class=\"nv\">u<\/span><span class=\"p\">[<\/span>1<span class=\"p\">]<\/span><span class=\"o\">*<\/span><span class=\"nv\">v<\/span><span class=\"p\">[<\/span>3<span class=\"p\">]<\/span>,\r\n            <span class=\"nv\">u<\/span><span class=\"p\">[<\/span>1<span class=\"p\">]<\/span><span class=\"o\">*<\/span><span class=\"nv\">v<\/span><span class=\"p\">[<\/span>2<span class=\"p\">]<\/span> <span class=\"o\">-<\/span> <span class=\"nv\">u<\/span><span class=\"p\">[<\/span>2<span class=\"p\">]<\/span><span class=\"o\">*<\/span><span class=\"nv\">v<\/span><span class=\"p\">[<\/span>1<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}_{10}$}{\\it cross}\\left(u , v\\right):=\\left[ u_{2}\\,v_{3}-u_{3}\\,v_{2} , u_{3}\\,v_{1}-u_{1}\\,v_{3} , u_{1}\\,v_{2}-u_{2}\\,v_{1} \\right] \\]<\/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>$\\boldsymbol{c} = \\boldsymbol{a}\\times \\boldsymbol{b}$ \u306e\u8a08\u7b97\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[9]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nv\">c<\/span><span class=\"o\">:<\/span> <span class=\"nf\">cross<\/span><span class=\"p\">(<\/span><span class=\"nv\">a<\/span>, <span class=\"nv\">b<\/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}_{11}$}\\left[ a_{2}\\,b_{3}-a_{3}\\,b_{2} , a_{3}\\,b_{1}-a_{1}\\,b_{3} , a_{1}\\,b_{2}-a_{2}\\,b_{1} \\right] \\]<\/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>$\\boldsymbol{c}$ \u306e\u6210\u5206\u3054\u3068\u306b\u8868\u793a\u3055\u305b\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[10]:<\/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=\"nv\">c<\/span><span class=\"p\">[<\/span>1<span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">c<\/span><span class=\"p\">[<\/span>1<span class=\"p\">]<\/span>;\r\n<span class=\"o\">'<\/span><span class=\"nv\">c<\/span><span class=\"p\">[<\/span>2<span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">c<\/span><span class=\"p\">[<\/span>2<span class=\"p\">]<\/span>;\r\n<span class=\"o\">'<\/span><span class=\"nv\">c<\/span><span class=\"p\">[<\/span>3<span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"nv\">c<\/span><span class=\"p\">[<\/span>3<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[10]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{12}$}c_{1}=a_{2}\\,b_{3}-a_{3}\\,b_{2}\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[10]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{13}$}c_{2}=a_{3}\\,b_{1}-a_{1}\\,b_{3}\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[10]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{14}$}c_{3}=a_{1}\\,b_{2}-a_{2}\\,b_{1}\\]<\/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=\"\u5916\u7a4d\u306f\u300c\u53cd\u4ea4\u63db\u300d\">\u5916\u7a4d\u306f\u300c\u53cd\u4ea4\u63db\u300d<\/h4>\n<p>$\\boldsymbol{a}\\times\\boldsymbol{b} {\\color{red}{\\neq}} \\boldsymbol{b}\\times\\boldsymbol{a}$ \u3067\u3042\u308b\u3053\u3068\uff0c\u5177\u4f53\u7684\u306b\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u300c\u53cd\u4ea4\u63db\u300d\u3067\u3042\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3057\u307e\u3059\u3002<br \/>\n$$\\boldsymbol{a}\\times\\boldsymbol{b} = &#8211; \\boldsymbol{b}\\times\\boldsymbol{a}$$<\/p>\n<p>$\\boldsymbol{a}\\times\\boldsymbol{b} + \\boldsymbol{b}\\times\\boldsymbol{a} = \\boldsymbol{0}$ \u3068\u306a\u308b\u3053\u3068\u3092\u793a\u305b\u3070\u3044\u3044\u3067\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[11]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">cross<\/span><span class=\"p\">(<\/span><span class=\"nv\">a<\/span>, <span class=\"nv\">b<\/span><span class=\"p\">)<\/span> <span class=\"o\">+<\/span> <span class=\"nf\">cross<\/span><span class=\"p\">(<\/span><span class=\"nv\">b<\/span>, <span class=\"nv\">a<\/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}_{15}$}\\left[ 0 , 0 , 0 \\right] \\]<\/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=\"\u30d9\u30af\u30c8\u30eb\u306e\u4e09\u91cd\u7a4d\">\u30d9\u30af\u30c8\u30eb\u306e\u4e09\u91cd\u7a4d<\/h3>\n<h4 id=\"\u30b9\u30ab\u30e9\u30fc\u4e09\u91cd\u7a4d\">\u30b9\u30ab\u30e9\u30fc\u4e09\u91cd\u7a4d<\/h4>\n<p>3\u3064\u306e\u30d9\u30af\u30c8\u30eb $\\boldsymbol{a}, \\boldsymbol{b}, \\boldsymbol{c}$ \u306b\u3088\u308b\u30b9\u30ab\u30e9\u30fc\u4e09\u91cd\u7a4d\u306f $\\boldsymbol{a} \\cdot (\\boldsymbol{b}\\times\\boldsymbol{c})$ \u3067\u3042\u308a\uff0c\u3053\u308c\u306f\u7d50\u5c40\u306f\u30b9\u30ab\u30e9\u30fc\u3068\u306a\u308a\u307e\u3059\u3002\u30b9\u30ab\u30e9\u30fc\u4e09\u91cd\u7a4d\u306b\u306f\uff0c\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u516c\u5f0f\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n<p>$$\\boldsymbol{a} \\cdot (\\boldsymbol{b}\\times\\boldsymbol{c})<br \/>\n= \\boldsymbol{b} \\cdot (\\boldsymbol{c}\\times\\boldsymbol{a})<br \/>\n= \\boldsymbol{c} \\cdot (\\boldsymbol{a}\\times\\boldsymbol{b}) $$<\/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<p>$\\boldsymbol{a} \\cdot (\\boldsymbol{b}\\times\\boldsymbol{c})<br \/>\n= \\boldsymbol{b} \\cdot (\\boldsymbol{c}\\times\\boldsymbol{a})$ \u3064\u307e\u308a\uff0c<br \/>\n$\\boldsymbol{a} \\cdot (\\boldsymbol{b}\\times\\boldsymbol{c}) \\,-\\, \\boldsymbol{b} \\cdot (\\boldsymbol{c}\\times\\boldsymbol{a}) = 0$ \u3092\u793a\u3057\u3066\u307f\u307e\u3059\u3002<\/p>\n<p>Maxima \u306e\u7c21\u7565\u8868\u8a18\u3067\uff0c1\u884c\u3067\uff08\u76f4\u524d\u306e\u7d50\u679c\u3092\uff09<code>ratsimp<\/code> \u306b\u3088\u308b\u7c21\u5358\u5316\u307e\u3067\u884c\u3044\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[12]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nv\">a<\/span> <span class=\"o\">.<\/span> <span class=\"nf\">cross<\/span><span class=\"p\">(<\/span><span class=\"nv\">b<\/span>, <span class=\"nv\">c<\/span><span class=\"p\">)<\/span> <span class=\"o\">-<\/span> <span class=\"nv\">b<\/span> <span class=\"o\">.<\/span> <span class=\"nf\">cross<\/span><span class=\"p\">(<\/span><span class=\"nv\">c<\/span>, <span class=\"nv\">a<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">ratsimp<\/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}_{16}$}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>$\\boldsymbol{b} \\cdot (\\boldsymbol{c}\\times\\boldsymbol{a}) \\,-\\, \\boldsymbol{c} \\cdot (\\boldsymbol{a}\\times\\boldsymbol{b}) = 0$ \u3092\u793a\u3057\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[13]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nv\">b<\/span> <span class=\"o\">.<\/span> <span class=\"nf\">cross<\/span><span class=\"p\">(<\/span><span class=\"nv\">c<\/span>, <span class=\"nv\">a<\/span><span class=\"p\">)<\/span> <span class=\"o\">-<\/span> <span class=\"nv\">c<\/span> <span class=\"o\">.<\/span> <span class=\"nf\">cross<\/span><span class=\"p\">(<\/span><span class=\"nv\">a<\/span>, <span class=\"nv\">b<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">ratsimp<\/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}_{17}$}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<h4 id=\"\u30d9\u30af\u30c8\u30eb\u4e09\u91cd\u7a4d\">\u30d9\u30af\u30c8\u30eb\u4e09\u91cd\u7a4d<\/h4>\n<p>3\u3064\u306e\u30d9\u30af\u30c8\u30eb $\\boldsymbol{a}, \\boldsymbol{b}, \\boldsymbol{c}$ \u306b\u3088\u308b\u30d9\u30af\u30c8\u30eb\u4e09\u91cd\u7a4d\u306f $\\boldsymbol{a} \\times (\\boldsymbol{b}\\times\\boldsymbol{c})$ \u3067\u3042\u308a\uff0c\u3053\u308c\u306f\u7d50\u5c40\u306f\u30d9\u30af\u30c8\u30eb\u3092\u3064\u304f\u308a\u307e\u3059\u3002\u30d9\u30af\u30c8\u30eb\u4e09\u91cd\u7a4d\u306b\u306f\uff0c\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u516c\u5f0f\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n<p>$$\\boldsymbol{a} \\times (\\boldsymbol{b}\\times\\boldsymbol{c})<br \/>\n= (\\boldsymbol{a}\\cdot\\boldsymbol{c})\\,\\boldsymbol{b} &#8211;<br \/>\n(\\boldsymbol{a}\\cdot\\boldsymbol{b})\\,\\boldsymbol{c} $$<\/p>\n<p>\u4e00\u6319\u306b\u8a3c\u660e\u3059\u308b\u306b\u306f\uff0c<\/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\">cross<\/span><span class=\"p\">(<\/span><span class=\"nv\">a<\/span>, <span class=\"nf\">cross<\/span><span class=\"p\">(<\/span><span class=\"nv\">b<\/span>, <span class=\"nv\">c<\/span><span class=\"p\">))<\/span> <span class=\"o\">-<\/span> <span class=\"p\">((<\/span><span class=\"nv\">a<\/span><span class=\"o\">.<\/span><span class=\"nv\">c<\/span><span class=\"p\">)<\/span> <span class=\"o\">*<\/span> <span class=\"nv\">b<\/span> <span class=\"o\">-<\/span> <span class=\"p\">(<\/span><span class=\"nv\">a<\/span><span class=\"o\">.<\/span><span class=\"nv\">b<\/span><span class=\"p\">)<\/span> <span class=\"o\">*<\/span> <span class=\"nv\">c<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">ratsimp<\/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}_{18}$}\\left[ 0 , 0 , 0 \\right] \\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":33,"featured_media":0,"parent":2592,"menu_order":10,"comment_status":"closed","ping_status":"closed","template":"","meta":{"inline_featured_image":false,"footnotes":""},"class_list":["post-2785","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\/2785","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=2785"}],"version-history":[{"count":5,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages\/2785\/revisions"}],"predecessor-version":[{"id":2836,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages\/2785\/revisions\/2836"}],"up":[{"embeddable":true,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages\/2592"}],"wp:attachment":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/media?parent=2785"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}