证明思路

摘要： 题目已知x>0,求证e^(x)-ln x>11/4-3/4 ln7/4.该题题干简炼,内涵丰富,但证明思路不易寻找,本文将给出该题的四个巧证、二个推广以及两个变式.

摘要： 平面几何逻辑证明绝不是简单地将条件叠加就可得出结论的,而是要通过题设条件、题断结论与证明思路"三要素"的整合,形成有价值的结构.这种组建结构的观点,对于发现平面几何推理论证思路具有很好的启示.

摘要： 平面几何逻辑证明绝不是简单地将条件叠加就可得出结论的,而是要通过题设条件、题断结论与证明思路“三要素”的整合,形成有价值的结构.这种组建结构的观点,对于发现平面几何推理论证思路具有很好的启示.

摘要： 初中是发展逻辑推理能力的关键期,平面几何是其发展的最佳载体.很多人爱好数学都是从学习平面几何开始的,学生喜欢几何图形的丰富多变,同时又畏惧平面几何的证明,表现为证明思路难以形成和容易想当然,追根究底还是逻辑推理能力上的欠缺。因此,如何通过平面几何有效发展逻辑推理能力值得数学教师深入思考与实践.

摘要： 本刊2019年9月下《等腰三角形的两种证法》(以下简称原文)内容很有趣,对我们提高分析问题的能力很有裨益.说有趣,是因为这个题目的逆命题非常简单,但是呈现为题目所示之后,看似直观简单,实则比较棘手,有可望而不可得之感.

摘要： 本文笔者以本刊2019年第9期发表的微课“圆周角定理的证明”为例,对作者分享的研究成果进行再研究﹐以问题的方式与同行交流。问题1圆周角定理有哪些教学价值?翻看人教版教材,关于圆周角定理的叙述是“一条弧所对的圆周角等于它所对的圆心角的一半”,从研究对象来看,是研究了具有不同顶点但角的两边都过圆弧端点的两个角之间的数量关系﹐启示我们常常从构成角的主要元素(顶点,边)来研究角之间的关系;其次,圆周角的顶点在圆弧上运动,角度却始终保持不变,这种“变化中的不变性”也是数学研究的基本内容和方法。特别重要的是,“圆周角定理”的证明需要分3种情况﹐将无限转化为有限﹐这种思维方式和方法对学生的终身发展都是非常有益的。仔细阅读文本,作者周杨老师(以下简称“周老师”)深刻地认识到圆周角定理的作用﹐并在微视频中生动演绎,让学生充分感受圆周角定理的学习价值。

摘要： 考虑问题:设正实数a、b、c满足a^2+b^2+c^2+abc=4.求证:a+b+c≤3.本题证法很多,可以用三角换元(见文[1]),也可以用抽屉原理(见文[2]),还可以直接证明(见文[3]).笔者尝试先弱化竞赛试题,再考虑其逆否命题的等价转化,进而强化逆否命题,最后利用直接证法或调整法加以证明.按这个证明思路,可以将这一竞赛试题进行加强推广.

摘要： 本发明的目的在于提供例如证明已巡查的地点和巡查时刻的保安巡查的证明系统。另外，例如通过附加经证明的拍摄了地点和时刻的信息的映像，能够使映像证明拍摄的地点和时刻。存在如下各部分：提供地球上的位置信息的GPS卫星10；提供地球上的气象信息的气象卫星20；保安巡查时携带的信息处理设备30；证明时刻信息和位置信息的证明书发行服务器40；保管经证明的位置信息和时刻信息及添加这些信息的映像的信息保管服务器50；验证拍摄映像的地点和时刻的验证装置60；将信息处理设备30、证明书发行服务器40、信息保管服务器50和验证装置60等相互连接的网络70。

摘要： 一种工作量证明运算方法、工作量证明芯片及上位机，所述工作量证明芯片包括：中央控制单元，用于接收上位机发送的DAG数据；外部DAG处理单元，用于将所述DAG数据保存至存储单元；存储单元，用于保存DAG数据；计算单元，用于根据所述保存的DAG数据进行工作量证明运算。本公开实施例通过由上位机将DAG数据发送给工作量证明芯片进行处理，工作量证明芯片无需保存Cache数据，从而有足够的空间保证DAG数据的完整性，进而延长了芯片的使用寿命。

摘要： 本申请提供一种生成区块状态承诺和证明及验证区块状态证明的方法，包括：每次在区块中写入状态时，记录写入状态的版本；将所述写入状态的状态名和所述版本输入全局过滤器，得到过滤器结果，并在所述区块中记录所述过滤器结果作为不存在性承诺；对所述区块所有写入状态的状态名和复合状态值进行计算，将计算结果作为存在性承诺；在区块中记录所述存在性承诺；其中，所述区块包含全部区块的所有非过期写入状态的不存在性承诺。通过以区块为单位组织状态树，状态树的规模小，结合写入状态的过期机制，在全局状态规模巨大但活跃状态规模有限的场景下，极大降低了计算状态存在性证明的代价，缩短了状态证明数据的长度。

摘要： 本发明实施例公开了一种可信状态证明的方法和相关设备，用于降低证明服务器进行可信状态证明的过程中需要处理的信息量以及证明服务器的负担。本发明实施例方法包括：首先，对该网络设备的第一可信证明代理进行度量以获取第一代理度量值；随后，向该上游设备发送该第一代理度量值；最后，接收来自该上游设备的至少一个基线值，该至少一个基线值中的至少部分基线值用于证明该下游网络设备的可信状态。

摘要： 本申请涉及零知识证明的技术领域，尤其是涉及一种用于零知识证明的证明方法、系统、电子设备和计算机可读存储介质。通过本申请，当存在尚未被FFT计算处理的R1CS子数据时，基于R1CS子数据，使用GPU进行FFT计算处理，得到R1CS子数据对应的多项式数据；以及基于R1CS子数据及R1CS子数据对应的多项式数据，使用CPU进行MultiExp计算处理，得到R1CS子数据对应的证明分量。当所有的R1CS子数据均已被FFT计算处理时，基于R1CS子数据及R1CS子数据对应的多项式数据，使用CPU和GPU并行进行MultiExp计算处理，得到R1CS子数据对应的证明分量；最后基于R1CS数据中所有的R1CS子数据对应的证明分量，生成证明。本申请能够加快零知识证明的生成。

摘要： 本申请公开了一种基于零知识证明的100％资产准备金证明方法及证明装置，利用了零知识证明，证明平台对所宣示资产的所有权的合法性。本技术基于零知识证明的100％资产准备金证明方法旨在提高资产所有人和资产管理平台之间的信任，让资产所有人的资产不被随意挪用，让资产管理平台能自证清白。基于该方法，资产管理平台可以向所有的平台用户证明，平台的准备金率不低于100％，证明平台拥有的数字资产大于所有用户资产的总额；所有用户都可以采用本技术流程进行资产验证，所有用户都能确认自己的资产数目在平台公布的储备资产数据中，没有任何用户提出资产数据被重复验证或者伪造。

摘要： 本发明的目的在于提供例如证明已巡查的地点和巡查时刻的保安巡查的证明系统。另外，例如通过附加经证明的拍摄了地点和时刻的信息的映像，能够使映像证明拍摄的地点和时刻。存在如下各部分：提供地球上的位置信息的GPS卫星10；提供地球上的气象信息的气象卫星20；保安巡查时携带的信息处理设备30；证明时刻信息和位置信息的证明书发行服务器40；保管经证明的位置信息和时刻信息及添加这些信息的映像的信息保管服务器50；验证拍摄映像的地点和时刻的验证装置60；将信息处理设备30、证明书发行服务器40、信息保管服务器50和验证装置60等相互连接的网络70。

摘要： 一种工作量证明运算方法、工作量证明芯片及上位机，所述工作量证明芯片包括：中央控制单元，用于接收上位机发送的DAG数据；外部DAG处理单元，用于将所述DAG数据保存至存储单元；存储单元，用于保存DAG数据；计算单元，用于根据所述保存的DAG数据进行工作量证明运算。本公开实施例通过由上位机将DAG数据发送给工作量证明芯片进行处理，工作量证明芯片无需保存Cache数据，从而有足够的空间保证DAG数据的完整性，进而延长了芯片的使用寿命。

摘要： 本申请提供一种生成区块状态承诺和证明及验证区块状态证明的方法，包括：每次在区块中写入状态时，记录写入状态的版本；将所述写入状态的状态名和所述版本输入全局过滤器，得到过滤器结果，并在所述区块中记录所述过滤器结果作为不存在性承诺；对所述区块所有写入状态的状态名和复合状态值进行计算，将计算结果作为存在性承诺；在区块中记录所述存在性承诺；其中，所述区块包含全部区块的所有非过期写入状态的不存在性承诺。通过以区块为单位组织状态树，状态树的规模小，结合写入状态的过期机制，在全局状态规模巨大但活跃状态规模有限的场景下，极大降低了计算状态存在性证明的代价，缩短了状态证明数据的长度。

摘要： 本发明提供了一种证明数据处理系统与方法，在该证明数据处理方法中，多个电子签章在一时间区间内被接收，其中各该电子签章是分别根据一电子凭证的一私钥对一原始数据进行处理及加密所生成。在该证明数据处理方法中，在该时间区间之后，一梅克尔树根据该多个电子签章被产生，且针对各该电子签章的一令牌被产生。各该令牌记录着该梅克尔树的一梅克尔根、各该电子签章、各该电子签章所对应的电子凭证、对应各该电子签章的一梅克尔证明、以及时戳集合。