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

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

2 つの円の交点をシンボリックに求めます。

1. ソルブブロックの初期条件を設定します。

2. find 関数を使用して、円の交点を求めます。

3. 円の交点を表す新しい変数を定義します。

4. ソルブブロックの外側で変数 M を使用します。

5. キーワード float を使用して数値結果を評価します。

<region id="ID0EFWHLB" height="399.45786705465321" width="533.25666666666677" actualWidth="533.25666666666677" actualHeight="399.45786705465321" top="902.40000000000009" left="0" xmlns="http://schemas.mathsoft.com/worksheet50">
  <solveblock>
    <regions>
      <region id="" actualWidth="87.31" actualHeight="27.752000000000002" top="19.2" left="19.2" solve-block-category="constraint">
        <math resultRef="21">
          <apply xmlns="http://schemas.mathsoft.com/math50">
            <equal />
            <apply>
              <plus />
              <apply>
                <pow />
                <id xml:space="preserve">x</id>
                <real>2</real>
              </apply>
              <apply>
                <pow />
                <id xml:space="preserve">y</id>
                <real>2</real>
              </apply>
            </apply>
            <apply>
              <pow />
              <id xml:space="preserve">r</id>
              <real>2</real>
            </apply>
          </apply>
          <resultFormat>
            <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
          </resultFormat>
        </math>
      </region>
      <region id="" actualWidth="123.76666666666668" actualHeight="27.752000000000002" top="57.6" left="19.2" solve-block-category="constraint">
        <math resultRef="22">
          <apply xmlns="http://schemas.mathsoft.com/math50">
            <equal />
            <apply>
              <plus />
              <apply>
                <pow />
                <parens>
                  <apply>
                    <minus />
                    <id xml:space="preserve">x</id>
                    <id xml:space="preserve">α</id>
                  </apply>
                </parens>
                <real>2</real>
              </apply>
              <apply>
                <pow />
                <id xml:space="preserve">y</id>
                <real>2</real>
              </apply>
            </apply>
            <apply>
              <pow />
              <id xml:space="preserve">r</id>
              <real>2</real>
            </apply>
          </apply>
          <resultFormat>
            <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
          </resultFormat>
        </math>
      </region>
      <region id="" actualWidth="514.05666666666673" actualHeight="51.356" top="134.4" left="19.2" solve-block-category="solver">
        <math resultRef="23">
          <define xmlns="http://schemas.mathsoft.com/math50">
            <id xml:space="preserve" labels="KEYWORD">M</id>
            <symEval>
              <apply>
                <id xml:space="preserve" labels="KEYWORD">find</id>
                <sequence>
                  <id xml:space="preserve">x</id>
                  <id xml:space="preserve">y</id>
                </sequence>
              </apply>
              <command>
                <id xml:space="preserve">float</id>
              </command>
              <symResult>
                <matrix rows="2" cols="2">
                  <apply>
                    <mult />
                    <real>0.5</real>
                    <id xml:space="preserve" labels="VARIABLE">α</id>
                  </apply>
                  <apply>
                    <mult />
                    <real>0.5</real>
                    <apply>
                      <pow />
                      <parens>
                        <apply>
                          <minus />
                          <apply>
                            <mult />
                            <real>4.0</real>
                            <apply>
                              <pow />
                              <id xml:space="preserve" labels="VARIABLE">r</id>
                              <real>2</real>
                            </apply>
                          </apply>
                          <apply>
                            <mult />
                            <real>1.0</real>
                            <apply>
                              <pow />
                              <id xml:space="preserve" labels="VARIABLE">α</id>
                              <real>2</real>
                            </apply>
                          </apply>
                        </apply>
                      </parens>
                      <real>0.5</real>
                    </apply>
                  </apply>
                  <apply>
                    <mult />
                    <real>0.5</real>
                    <id xml:space="preserve" labels="VARIABLE">α</id>
                  </apply>
                  <apply>
                    <mult />
                    <real>-0.5</real>
                    <apply>
                      <pow />
                      <parens>
                        <apply>
                          <minus />
                          <apply>
                            <mult />
                            <real>4.0</real>
                            <apply>
                              <pow />
                              <id xml:space="preserve" labels="VARIABLE">r</id>
                              <real>2</real>
                            </apply>
                          </apply>
                          <apply>
                            <mult />
                            <real>1.0</real>
                            <apply>
                              <pow />
                              <id xml:space="preserve" labels="VARIABLE">α</id>
                              <real>2</real>
                            </apply>
                          </apply>
                        </apply>
                      </parens>
                      <real>0.5</real>
                    </apply>
                  </apply>
                </matrix>
              </symResult>
            </symEval>
          </define>
          <resultFormat>
            <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
          </resultFormat>
        </math>
      </region>
    </regions>
  </solveblock>
</region>