如何证明数学上的对于任意值满足条件

就比如 http://acm.hdu.edu.cn/showproblem.php?pid=1098

这是一个证明对任意 a 都满足等式的题

在这种证明问题上， 我们最多的是使用数学归纳法

一般地，证明一个与自然数n有关的命题P(n)，有如下步骤：

　　（1）证明当n取第一个值n0时命题成立。n0对于一般数列取值为0或1，但也有特殊情况；

　　（2）假设当n=k（k≥n0，k为自然数）时命题成立，证明当n=k+1时命题也成立。

　　综合（1）（2），对一切自然数n（≥n0），命题P(n)都成立。

#include <iostream>using namespace std;int main(){int k, result, t;while( cin >> k ){t = 1;for( int a = 0; a <= 65; a++ ){result = 18 + k * a;if( result % 65 == 0 ){cout << a << endl;t = 0;break;}}if( t ){cout<< "no" << endl;}}}

分析见百度 HDU1098