LZ的钻研精神值得我们学习

算看明白你的意思了。
你把ab赋予成K，a+b与K也存在关系，所以不存在二元二次方程无解。你把a+b也换了
不等式就是可以把相加的等式和相乘的等式联系起来，并赋予一个范围。
题中a+b≥2根号ab 你也可以ab换成（a+b）²形式。

这个不等式一直解下去，对于a=b=? 对这个不等式没得半点影响。
对于整道题，a=b=? 没有半点实际意义

这个当然是可以证明它有解的，我的意思不是说不能严格证明它在ab>=16时，满足条件的a,b都存在，而是答案似乎根本没有考虑这方面啊

稍等一下，我把它打出来，传上来，方便讨论，我想，你还没理解我想表达的意思

组织下语言

已论证必ab>=16 当a=b时取等号 故16肯定是最小数 将b写成a的函数 是连续的 然后a→+∞时 b→1 故ab→+∞ 由连续性ab可取遍[16,+∞]

这时是方程了，不是这种情形了吧？

考虑b(a)作为a的函数 对方程ab=a+b+1两边同时取极限a→∞ 有ab→∞

这种方法感觉行不通，我能理解你的意思，等我说说这样的办法的问题在哪里，稍等一下

你就这么考虑 易得ab均要满足大于1 那么要求的就是一个函数g(a)的值域 其中g(a)=a*f(a) 而b=f(a)是被那个方程决定的，且是a从(1,∞)→b从(1,∞)的一一映射

见27L 恒等映射a→a 和f:a→f(a)都是连续的 那么它们的乘积g(a)在定义域内都是连续的

以你认为的这一篇来理解
“解出来ab的范围一定能保证上述方程有解吗？a＞1吗？”必须的。
Δ＝k²－20k+64 由k≥16 可得，Δ≥0 .
∴上述方程一定有解。
你化成平方项，转移a在单独一边，结合k的范围也可讨论出a的范围。