【CodeAC 683解密 题解】CSP-J 2022真题

题目链接：http://codeac.com.cn/problem/729
题解原链接http://codeac.com.cn/problem/729/solution/content/12

题目描述

给定一个正整数 $k$，有 $k$ 次询问，每次给定三个正整数 $n_i,e_i,d_i$，求两个正整数 $p_i,q_i$，使 $n_i=p_i\times q_i$、$e_i\times d_i=(p_i-1)(q_i-1)+1$。

输入格式

第一行一个正整数 $k$，表示有 $k$ 次询问。
接下来 $k$ 行，第 $i$ 行三个正整数 $n_i,d_i,e_i$。

输出格式

输出 $k$ 行，每行两个正整数 $p_i,q_i$ 表示答案。

为使输出统一，你应当保证 $p_i\le q_i$。

如果无解，请输出 NO。

解题思路

前置知识

韦达定理
在一元二次方程$a{x}^2+bx+c=0$中，两根$x_1,x_2$有如下关系：
$$\begin{gathered} x_1+x_2=-\frac{b}{a} \\ {x}_1\ast x_2=\frac{c}{a} \end{gathered}$$
求根公式
在一元二次方程$a{x}^2+bx+c=0$中，两根$x_1,x_2$的值为:
$$x_{1,2}=\frac{-b\pm \sqrt{b^2-4ac}}{2}$$

公式推导

已知$e\ast d=(p-1)(q-1)+1,n=pq$
$$\begin{gathered} ed=(p-1)(q-1)+1 \\ ⟹ed=pq-p-q+2 \\ ⟹ed=n-p-q+2 \\ ⟹p+q=n-ed+2 \\ 设m=n-ed+2 \end{gathered}$$
故
$$\begin{array}{c}\{\begin{array}{l}pq=n\\ p+q=m\end{array}\end{array}$$
由韦达定理的逆定理可得，$p,q$是$x^2-mx+n=0$的两根

带入求根公式得：
$$\begin{gathered} p=\frac{m\pm \sqrt{m^2-4n}}{2} \\ q=\frac{m\pm \sqrt{m^2+4n}}{2} \end{gathered}$$
由题意$p,q$为正整数,因此需要满足下列条件：
$$\begin{gathered} m^2-4n>0 \\ \sqrt{m^2+4n}为正整数 \\ \frac{m\pm \sqrt{m^2+4n}}{2}为正整数即m\pm \sqrt{m^2+4n}为偶数 \end{gathered}$$
如果满足上述条件则有解，解为
$$\begin{gathered} p=\frac{m\pm \sqrt{m^2-4n}}{2} \\ q=\frac{m\pm \sqrt{m^2+4n}}{2} \end{gathered}$$
否则无解，输出NO

代码：

#include <iostream>
#include <cmath>
using namespace std;

typedef long long LL;

int main() {
    int k;
    LL n, e, d;
    scanf("%d", &k);
    while (k --) {
        scanf("%lld%lld%lld", &n, &d, &e);
        LL m = n - e * d + 2;
        LL delta = m * m - 4 * n;
        LL r = sqrt(delta);
        if (delta < 0 || r * r != delta || (m - r) % 2) puts("NO");        
        else printf("%lld %lld\n", (m - r) / 2, (m + r) / 2);
    }
    
    
    return 0;
}