matlab符号向量,向量公式的MATLAB符号证明和应用

年第 期 第 卷

(总 期 )

吉林 省 教 育 学 院学 报

，

向量 公式的 符号证 明和应 用

邹正冬，季红蕾，张加 杰，袁 苑

(盐城 工学院 纺织服装 学院 ；盐城 工学院 基础 教 学部 ；盐城工学院 化 学与生物 工程 学院 ，江苏 盐城 )

摘要 ：用 的符 号计 算功能证 明三向量的混合 积、矢量积和 四向量 的混合积 等 向量公 式 ，用这 些公式 分析 圆周运 动 的 加 速 度 、由功 率公 式 引入 力矩 概 念 以及 导 出圆 周运 动 质 点 的 转动 定律 。

关键词 ：向量 ；；符号计算 中 图分 类 号 ： 文 献标 识 码 ： 文 章 编 号 ：一 ()

在高 等数学 课程 中 ，由于种 种原 因 ，一 些 常用 的

向量公 式没 有介 绍 ，如 三 向量 的矢 量 积 和 四向量 的

混 合积 等 。是 一 种具 有 强 大 数 值 计 算 、可

视 化 和符号计 算 功能 的软件 。本 文介 绍用

的符号 计算 功能证 明三 向量 的混 合积 、矢量 积 和 四

命 题 成立 。

向量 的混合积 等 向量公 式 和在 圆周运 动 的加 速度 分

命 题 向

的二重 向量 积

析 和 由圆周运 动 的功率 公式 引入 力矩概 念 的应用 。

)

一

一 、 向量 公 式的证 明

) ：

一

命 题 向 )

的混合 积

)

)矗

证 明 用 符号计 算证 明 ，将 命题 中的表

证 明 用 符号 计算 证 明 ，将命 题 中 的表

达 式写 成

’

)矗 一( 一 )

达式 写 成

证 明 的 程序 为

) 一 矗 ) 一

) )

，，；，，；，，；

证 明 的 程序 为

： (((，)，)一 一

((，) (，) ))

，，；，，；，，；

((，(，))一

(((，)，) 一

(，)￥(，) ))

一 ((，)，))

程序 执行 结果 为

(((，)，)

一 ((，)，))

，，

程序 执行 结果 为

收稿 日期 ： 作者简介 ：邹正冬 (一 )，男 ，江苏常州人 ，盐城工学 院 纺织服装学院 轻化专业本科三年级学生。研究 方向：轻化工程 。

季红蕾 (一 )，女 ，江苏靖江人 ，盐城工学 院 基础教学部 ，副教授 。研究方 向：大学数学 。 基金项 目：国家大学生创新训练项 目(盐城工学 院)。

【，， 命题 成 立 。 注意 一般地 ，

)矗

)因此 ，

加速 度可 以表 示成 切 向加速 度 和法 向加速 度 的向量

和，耳 矗

应用 圆周 运 动 的质点 相对 于 圆心 的位 矢 ，

二 重 向量 积 不 遵 循 结 合 律 ，表 达 没 有 运 动速度 ，受 到 的合 力 ，则合 力

意 义 。

命题向量

椰 的混合积

’ 的功率 为 ： 矗 ：

) ：

) ：

)

) ) )一 ) )

其 中

称做 力 对 圆心 的力 矩 。

证 明 用 符 号计 算证 明 ，将