题目描述
关于数学定理证明,也有高下之分。最暴力的证明方法是“构造性证明”,即当需要证明某种解存在时,直接把解构造出来,而不是仅通过推理证明解之存在。
下面有一个定理:
设ai(i=1,...,5)均为正实数。则一定存在4个互不相同的下标i、j、k、l,使得|ai/aj - ak/al|<1/2。
作为程序员,就请你编写程序构造出正确的下标,验证这个结论。
关于数学定理证明,也有高下之分。最暴力的证明方法是“构造性证明”,即当需要证明某种解存在时,直接把解构造出来,而不是仅通过推理证明解之存在。
下面有一个定理:
设ai(i=1,...,5)均为正实数。则一定存在4个互不相同的下标i、j、k、l,使得|ai/aj - ak/al|<1/2。
作为程序员,就请你编写程序构造出正确的下标,验证这个结论。
Scratch3.0 全国青少年软件编程等级考试 Python Scratch图形化一级 Scratch图形化四级 Scratch图形化三级 Scratch图形化二级 电子学会