mathematica可以验证公式吗
nb后缀名的是什么文件？
nb后缀名的是什么文件？
NB是Mathematica Notebook的文件扩展名。
NB是Wolfram Mathematica的默认文件格式，其中可包含公式、数据、程序、文字、图片、声音等各种内容。可用Wolfram Mathematica打开和编辑。
用Wolfram Mathematica Player也可以打开nb格式的文件，但不能编辑。
bxt格式怎么做？
NB是Mathematica Notebook的文件扩展名。
NB是Wolfram Mathematica的默认文件格式，其中可包含公式、数据、程序、文字、图片、声音等各种内容。可用Wolfram Mathematica打开和编辑。用Wolfram Mathematica Player也可以打开nb格式的文件，但不能编辑。
MX文件扩展名是被称为这是由Wolfram Research公司开发的数学序列化封装文件。 Mathematica的序列化包装是用于计算和可视化的桌面应用程序。它存储在一个专有的序列化格式Mathematica表达式。它是用于散发的Mathematica软件包和优化的快速加载。这个二进制文件格式这意味着，是不是人类可读的。它们不能被不同的操作系统或数学的版本之间的交换，因为它们是系统相关的。他们可以使用DumpSave来创建和读取使用GET。 DumpSave写道定义为一个符号，所有的符号，或几个符号。它们也可以导入并使用导入和导出命令导出。例如，输入[“”]读取MX文件，并返回一个表达式。同样，出口[“”中，expr]序列化“expr的”表达，并将其保存到一个MX文件。在MX格式的文件可以打开沃尔夫勒姆研究数学在Microsoft Windows或Mac平台上。
三角函数的起源及发展历史？
早期对于三角函数的研究可以追溯到古代。古希腊三角术的奠基人是公元前2世纪的喜帕恰斯。他按照古巴比伦人的做法，将圆周分为360等份（即圆周的弧度为360度，与现代的弧度制不同）。对于给定的弧度，他给出了对应的弦的长度数值，这个记法和现代的正弦函数是等价的。喜帕恰斯实际上给出了最早的三角函数公式表。然而古希腊的三角学基本是球面三角学。
这与古希腊人研究的主体是天文学有关。梅涅劳斯在他的著作《球面学》中使用了正弦来描述球面的梅涅劳斯定理。古希腊三角函数与其天文学的应用在埃及的托勒密时代达到了高峰，托勒密在《数学汇编》（Syntaxis Mathematica）中计算了36度角和72度角的三角函数的正弦值，还给出了计算和三角函数公式表以及角公式和半角公式的方法。托勒密还给出了所有0到180度的所有整数和半整数弧度对应的正弦值。
古希腊文化传播到古印度后，古印度人对三角术进行了进一步的研究。公元5世纪末的数学家阿耶波多提出用弧对应的弦长的一半来对应半弧的正弦，这个做法被后来的古印度数学家使用，和现代的正弦定义一致了。阿耶波多的计算中也使用了余弦和正割。他在计算弦长时使用了不同的单位，重新计算了0到90度中间隔三又四分之三度（3.75°）的三角函数值表。然而古印度的数学与当时的中国一样，停留在计算方面，缺乏系统的定义和演绎的证明。阿拉伯人也采用了古印度人的正弦定义，但他们的三角函数学是直接继承于古希腊。
阿拉伯天文学家引入了三角函数公式中的正切和余切、正割和余割的概念，并计算了间隔10分(10′)的正弦和正切数值表。到了公元14世纪，阿拉伯人将三角计算重新以算术方式代数化（古希腊人采用的是建立在几何上的推导方式）的努力为后来三角函数从天文学中独立出来，成为了有更广泛应用的学科奠定了基础。