find によるシンボリックな求解

ソルブブロック > find によるシンボリックな求解

find によるシンボリックな求解

find 関数を使用して、方程式または連立方程式のシンボリック解を評価します。

find 関数は、ソルブブロックの内側でのみ使用できます。

• ソルブブロックの内側で find によってシンボリック解を評価します。

• または、解を新しい変数に割り当て、ソルブブロックの外側で結果を評価します。

ソルブブロックの外側で変数 a を評価します。

find での不等式の使用

• find では、数値評価にのみ推定値を使用できます。シンボリック評価では、不等式を使用して解を最適化します。

find でのシンボリックキーワードの使用

• 方程式の解の数が無限である場合、シンボリックな find が基礎の解を提供します。

キーワード fully を使用して、この方程式の完全な解を求めます。

<region id="ID0EM6FKB" height="215.6" width="300.00000000000006" actualWidth="300.00000000000006" actualHeight="215.6" top="1267.2000000000003" left="38.400000000000006" xmlns="http://schemas.mathsoft.com/worksheet50">
  <solveblock>
    <regions>
      <region id="" actualWidth="41.346666666666664" actualHeight="25.6" top="38.4" left="19.2" solve-block-category="guess-value">
        <math resultRef="39">
          <define xmlns="http://schemas.mathsoft.com/math50">
            <id xml:space="preserve" labels="VARIABLE">x</id>
            <real>3</real>
          </define>
          <resultFormat>
            <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
          </resultFormat>
        </math>
      </region>
      <region id="" actualWidth="74.536666666666676" actualHeight="25.6" top="76.8" left="19.2" solve-block-category="constraint">
        <math resultRef="40">
          <apply xmlns="http://schemas.mathsoft.com/math50">
            <equal />
            <apply>
              <id xml:space="preserve">sin</id>
              <id xml:space="preserve">x</id>
            </apply>
            <real>0</real>
          </apply>
          <resultFormat>
            <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
          </resultFormat>
        </math>
      </region>
      <region id="" actualWidth="218.04333333333335" actualHeight="112" top="134.4" left="19.2" solve-block-category="solver">
        <math resultRef="41">
          <symEval xmlns="http://schemas.mathsoft.com/math50">
            <apply>
              <id xml:space="preserve" labels="KEYWORD">find</id>
              <id xml:space="preserve">x</id>
            </apply>
            <command>
              <id xml:space="preserve">fully</id>
            </command>
            <symResult>
              <program>
                <if>
                  <test>
                    <apply>
                      <elementOf />
                      <id xml:space="preserve" labels="VARIABLE">_n</id>
                      <id xml:space="preserve" labels="CONSTANT">ℤ</id>
                    </apply>
                  </test>
                  <then>
                    <program>
                      <apply>
                        <mult />
                        <id xml:space="preserve" labels="VARIABLE">_n</id>
                        <id xml:space="preserve" labels="CONSTANT">π</id>
                      </apply>
                    </program>
                  </then>
                  <else>
                    <program>
                      <id xml:space="preserve" labels="*">undefined</id>
                    </program>
                  </else>
                </if>
              </program>
            </symResult>
          </symEval>
          <resultFormat>
            <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
          </resultFormat>
        </math>
      </region>
    </regions>
  </solveblock>
</region>

• キーワード float を使用して、方程式の数値結果を評価できます。

<region id="ID0EABGKB" height="172.29000000000002" width="300.00000000000006" actualWidth="300.00000000000006" actualHeight="172.29000000000002" top="1728.0000000000002" left="57.600000000000009" xmlns="http://schemas.mathsoft.com/worksheet50">
  <solveblock>
    <regions>
      <region id="" actualWidth="49.326666666666668" actualHeight="25.6" top="19.200000000000003" left="19.200000000000003" solve-block-category="guess-value">
        <math resultRef="42">
          <define xmlns="http://schemas.mathsoft.com/math50">
            <id xml:space="preserve" labels="VARIABLE">x</id>
            <real>10</real>
          </define>
        </math>
      </region>
      <region id="" actualWidth="49.13666666666667" actualHeight="25.6" top="57.600000000000009" left="19.200000000000003" solve-block-category="guess-value">
        <math resultRef="43">
          <define xmlns="http://schemas.mathsoft.com/math50">
            <id xml:space="preserve" labels="VARIABLE">y</id>
            <real>10</real>
          </define>
        </math>
      </region>
      <region id="" actualWidth="62.63333333333334" actualHeight="25.6" top="115.20000000000002" left="19.200000000000003" solve-block-category="constraint">
        <math resultRef="44">
          <apply xmlns="http://schemas.mathsoft.com/math50">
            <equal />
            <apply>
              <minus />
              <id xml:space="preserve">y</id>
              <id xml:space="preserve">x</id>
            </apply>
            <real>3</real>
          </apply>
        </math>
      </region>
      <region id="" actualWidth="208.16000000000003" actualHeight="49.49" top="153.60000000000002" left="19.200000000000003" solve-block-category="solver">
        <math resultRef="45">
          <symEval xmlns="http://schemas.mathsoft.com/math50">
            <apply>
              <plus />
              <apply>
                <id xml:space="preserve" labels="KEYWORD">find</id>
                <sequence>
                  <id xml:space="preserve">x</id>
                  <id xml:space="preserve">y</id>
                </sequence>
              </apply>
              <matrix rows="2" cols="1">
                <real>1</real>
                <real>3</real>
              </matrix>
            </apply>
            <command>
              <id xml:space="preserve">float</id>
            </command>
            <symResult>
              <matrix rows="2" cols="1">
                <real>-2.0</real>
                <real>3.0</real>
              </matrix>
            </symResult>
          </symEval>
        </math>
      </region>
    </regions>
  </solveblock>
</region>