75.8 Package sqdnst

関数: sqrtdenest (expr)

可能なら、簡単で、数値的で、二項無理数(binomial surds)のsqrtをdenestします。

例えば、

(%i1) load ("sqdnst")$
(%i2) sqrt(sqrt(3)/2+1)/sqrt(11*sqrt(2)-12);
                                    sqrt(3)
                               sqrt(------- + 1)
                                       2
(%o2)                        ---------------------
                             sqrt(11 sqrt(2) - 12)
(%i3) sqrtdenest(%);
                                  sqrt(3)   1
                                  ------- + -
                                     2      2
(%o3)                            -------------
                                    1/4    3/4
                                 3 2    - 2

時々、 (19601-13860 sqrt(2))^(7/4)に対してのように、 sqrtdenestを複数回適用することが役立ちます。

load ("sqdnst")はこの関数をロードします。

Expressions ·Share packages ·Package sqdnst ·