一道2020年高考三角形面积最值试题的探究与变式

1.试题(2020年高考江苏卷,14)在平面直角坐标系xOy中,已知P(√3/2,0),A,B是圆C:x²+(y-1/2)²=36上的两个动点,满足|PA|=|PB|,则△PAB面积的最大值是_.试题考查了圆的标准方程、圆中的最值问题,考查了数学运算、逻辑推理、直观想象等核心素养,检验了学生分析问题与解决问题的能力.     

基于Coq的第三代微积分机器证明系统

本文基于证明辅助工具Coq,完整实现林群院士和张景中院士等倡导的第三代微积分|没有极限的微积分|理论构架的形式化验证,包括对张景中等发表的题为\微积分基础的新视角"论文中全部定义和定理的Coq描述.进而,对定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠.本文是实践研究人员利用计算机学习、理解、构建乃至教育现代数学理论的一个尝试.     

企业与中科院合办食品安全实验室提供第三方检测服务

6月18日,在第九届中国·海峡项目成果交易会上,福建日品食研生物工程有限公司与中科院上海生命科学研究院签订框架协议,在厦门市联合建立一个设施完善的食品安全实验室。“食品企业伤不起。一旦查出问题,企业也就完了”。日品食研总经理徐光荣说。     

锂离子电池及材料发展前瞻——第16届国际锂电会议评述

每两年举行一次的国际锂电会议（1MLB）旨在促进国际合作和交流,为在锂离子电池领域工作的科学家和工程师提供一个讨论锂电基础研究和技术革新的论坛．本文总结了2012年6月17-22日在韩国济州岛召开的第16届国际锂电会议的学术报告情况．具有较好安全性的磷酸铁锂正极材料和具有较高倍率特性和较好循环性能的纳米电极材料依然是研究热点;同时可以看到,富锂锰基材料、钛酸锂材料、5V尖晶石材料和纳米硅负极材料成为新的研究热点;而锂硫电池、锂空气电池和超级电容器等新电池体系正在引起大家的兴趣和关注．     

第六届上海国际分析化学研讨会暨2012年中日韩分析化学研讨会圆满闭幕——专访会议执行主席林金明教授

金秋十月,丹桂飘香.由中国化学会主办,德国慕尼黑国际博览集团协办的第六届上海国际分析化学研讨会（The 6th Shanghai International Symposiumon Analytical Chemistry）暨2012年中日韩分析化学研讨会（2012 China-Japan-Korea Symposiumon Analytica Chemistry）于2012年10月16～17日慕尼黑上海分析生化展期间在上海新国际展览中心顺利召开.     

从不同视角对一道2014年北京高考数学题的解析

问题 （2014年高考数学北京卷理科第18题）已知函数f（x）=xcosx-sin x,x∈[0,π/2]．     

2014年江西卷理第20题的探究

2014年高考江西卷理科第20题为：已知双曲线C：x^2/a^2-y^2=1（a〉0）的右焦点为F,点A,B分别在C的两条渐近线上,AF⊥x轴,AB⊥OB,BF／／OA（O为坐标原点）．（1）求双曲线C的方程。