期刊文献+

再谈函数最小正周期的机器证明 被引量:2

下载PDF
导出
摘要 在文[1]中,笔者对函数最小正周期的机器证明作了初步讨论,文中所举实例均是定义在实数集R上的连续函数.对于更一般的周期函数,特别是定义域不是R的周期函数的最小正周期,如何借助信息技术给出机器证明,值得进一步探索.一、周期函数的课本定义与常用定义在我国现行的各种高中新老教材中,对周期函数都是这样定义的(以下简称为课本定义):对于函数y=f(x),如果存在一个不为零的常数T,使得当x取定义域内的每一个值时,f(x+T)=f(x)
作者 李世杰 李盛
出处 《上海中学数学》 2014年第Z2期82-86,共5页
  • 相关文献

参考文献4

二级参考文献3

共引文献10

同被引文献9

引证文献2

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部