HDU - 5924 不等式证明或打表找规律

解题思路:

【题意】
给你两个正整数A和B

要求找出所有的整数对(C,D)

满足A≤C≤B,A≤D≤B且A/B+B/A≤C/D+D/C

【类型】
数学证明
【分析】
网上的很多题解貌似都直接说是规律就完事了

作为一个合格的Acmer,我们应该要纠结一下为什么

∵C/D+D/C是对称的

∴我们不妨假设D≥C

为了简化运算,我们令D=C+k(k≥0)

由上式可知,当k越大,C越小时,D/C+C/D越大

∵A≤C≤B

∴C(min)=A

此时,当k达到最大时,即为D(max)=B

而该情况下,C/D+D/C恰好等于A/B+B/A

故满足A/B+B/A≤C/D+D/C的解仅有A==C&&B==D||A==D&&B==C

而当A==B时,解唯一,即A==B==C==D

/**
    不等式证明，https://blog.csdn.net/queuelovestack/article/details/52791679
    或打表找规律
*/

#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
int main()
{
#ifdef _WY
freopen("data.in","r",stdin);
#endif // _WY
    int T;scanf("%d",&T);
    LL a,b;int kase=0;
    while(T--){
        printf("Case #%d:\n",++kase);
        scanf("%lld%lld",&a,&b);
        if(a>b) swap(a,b);
        if(a==b)printf("%d%\n%lld %lld\n",1,a,b);
        else printf("%d\n%lld %lld\n%lld %lld\n",2,a,b,b,a);
    }
    return 0;
}