このディレクトリの索引

'1+3+5=9=3*3はA1+A2+A3=B=n*nになりますよね。 Bの平方根がnであるとき、ある整数BからAnをすべて求める方法を教えてください。 ただしA1..Anは全て奇数の一意数であり昇順に並んでいます'(_式 = (B = _n * _n)) :- 'Bの平方根がnであるとき、ある整数BからAnをすべて求める'(_式 = (B = _n * _n)). 'Bの平方根がnであるとき、ある整数BからAnをすべて求める'(1=(1=1*1)) :- !. 'Bの平方根がnであるとき、ある整数BからAnをすべて求める'(1+3 = (4 = 2*2)) :- !. 'Bの平方根がnであるとき、ある整数BからAnをすべて求める'(1+3+5 = (9 = 3*3)) :- !. 'Bの平方根がnであるとき、ある整数BからAnをすべて求める'(_式_1+_A_n_1+_A_n = (B = _n*_n)) :- 'Bの平方根がnであるとき、ある整数BからAnをすべて求める'(_式_1,_A_n_1,B,_n,_A_n). 'Bの平方根がnであるとき、ある整数BからAnをすべて求める'(_式_1,_A_n_1,B,_n,_A_n) :- 'Bの平方根がnで、n_1はn引く1、B_1はn_1の二乗'(B,_n,B_1,_n_1), 'Bの平方根がnであるとき、ある整数BからAnをすべて求める'((_式_1+_A_n_1 = (B_1 = _n_1*_n_1))), _A_n is _A_n_1 + 2. 'Bの平方根がnで、n_1はn引く1、B_1はn_1の二乗'(B,_n,B_1,_n_1) :- _n is truncate(sqrt(B)), _n_1 is _n - 1, B_1 is _n_1 * _n_1.