『割り切れる? Part4』解答


◆広島県 清川 育男 さんからの解答。

【問題1】

1<a<b<c<d としても一般性はそこなわれない。

 その商
1)1211,7,2,1
2)109,4,3,1
3)142120,6,2,1
4)127,5,3,1
5)121811,8,2,1
6)162415,7,2,1
7)12284227,6,2,1
8)18 
9)2436 
10)121530 

イ)
 c | d+a+b-1 商2
 a+b+c-1=d

ロ)
 c | d+a+b-1 商3
 a+b+c-1=d

イ)、ロ)の2つのパターンが予想されます。
a,b,c,d をm、nを使って表現出来ると思います。
計算が煩雑なので省略します。
結論としていくらでもあると思われます。

28,36,63,126 商8,6,3,1

【問題2】

a,b,cが奇素数であれば (a+b+c-1)は偶数になり、dは素数でありえない。
したがって、題意を満たすものがあるためにはa=2でなくてはならない。

a=2,m1,m2は自然数とする。

イ)の場合
b+c+d-1=2m1...........1)
c+d+1=bm2...........2)
d+b+1=2c...........3)
b+c+1=d  ..........4)
b=2(m1+1)
m2+1
c=m1m2-m1-2
m2+1

d=m1+1

m1は偶数、m2は奇数でなくてはならない。

d+b+1
=m1+2+2(m1+1)
m2+1
=m1m2+3m1+2m2+3
m2+1
=2m1m2-2m1-4
m2+1

m1m2+3m1+2m2+3
=2m1m2-2m1-4

m1m2-5m1-4m2=7

(m2-5)m1=4m2+7
m1=4m2+7
m2-5

分子は奇数、分母は偶数。
したがってm1は自然数になりえない。

ロ)の場合
m1=2m2+9
2(m2-3)

同様にm1は自然数になりえない。
よって、題意を満たす素数の組みは存在しない。

答え 存在しない。


◆京都府 the king of water gate さんからの解答。

清川 育男さんの解答について
1<a<b<c<dを満たすものは33個しかありません。

予想のイ)では
2m+8
−5
3)と4)からd=3(b+1)となるのでdは素数でなく、

ロ)では
+5
−3
d=2(b+1)となるのでdは素数ではありません。


まず整数a,b,c,dで

a≧b≧c≧d≧0
a|b+c+d−1
b|a+c+d−1
c|a+b+d−1
d|a+b+c−1

となるものを求める。

e=a+b+c+d−1とすると、
a|e,b|e,c|e,d|eとなるので
ap=bq=cr=ds=eとなる整数p,q,r,sがある。

d=0とするとe=a+b+c−1=0となるので、
(a,b,c,d)=(1,0,0,0)となる。

0<dとする。
0<eなのでa+b+c+d=e+1をeで割って、





=1+

1≦p≦q≦r≦s≦e

(A)


=1+

≦1
(B)1<



(A)より1<p、(B)よりp<4

p=2のとき
  (A)より2<q、(B)よりq<6

  q=3のとき
    (A)より6≦r、(B)よりr<12

  q=4のとき
    4≦r、(B)よりr<8

  q=5のとき
    5≦r、(B)よりr<20/3

p=3のとき
  3≦q、(B)よりq<9/2

  q=3のとき
    3≦r、(B)よりr<6

  q=4のとき
    4≦r、(B)よりr<24/5

よって

(p,q,r)=
(2,3,6),(2,3,7),(2,3,8),(2,3,9),
(2,3,10),(2,3,11),(2,4,4),(2,4,5),
(2,4,6),(2,4,7),(2,5,5),(2,5,6),
(3,3,3),(3,3,4),(3,3,5),(3,4,4)
となる。

(p,q,r)=(2,3,6),(2,4,4),(3,3,3)のとき
c=tとすると、




=1
なので、
s=e=rt,d=1,
a=rt
,b=rt
となる。

(a,b,c,d)
=(3t,2t,t,1),(2t,t,t,1),(t,t,t,1)
(p,q,r)≠(2,3,6),(2,4,4),(3,3,3)のとき




<1
となる。

=1−(


m,nは正の整数とすると、




=0

ne−mse−ns=0
(n−ms)(n+me)=n

p|e,q|e,r|e,s|e,(n−ms)|n

2≦dの解
 2 3 7 14221  42  21 14  6  2
          28  84  42 28 12  3
          35 210 105 70 30  6
          36 252 126 84 36  7
          39 546 273182 78 14
          40 840 420280120 21
          411722 861574246 42
 2 3 8 12412  24  12  8  3  2
          16  48  24 16  6  3
          18  72  36 24  9  4
          20 120  60 40 15  6
          21 168  84 56 21  8
          22 264 132 88 33 12
          23 552 276184 69 24
 2 3 9 118 9  18   9  6  2  2
          12  36  18 12  4  3
          15  90  45 30 10  6
          16 144  72 48 16  9
          17 306 153102 34 18
 2 310 11510  30  15 10  3  3
          12  60  30 20  6  5
          14 210 105 70 21 15
 2 311 56611  66  33 22  6  6
          12 132  66 44 12 11
          13 858 429286 78 66
 2 4 5 12010  20  10  5  4  2
          15  60  30 15 12  4
          16  80  40 20 16  5
          18 180  90 45 36 10
          19 380 190 95 76 20
 2 4 6 112 6  12   6  3  2  2
           8  24  12  6  4  3
           9  36  18  9  6  4
          10  60  30 15 10  6
          11 132  66 33 22 12
 2 4 7 328 7  28  14  7  4  4
           8  56  28 14  8  7
           9 252 126 63 36 28
 2 5 5 110 5  10   5  2  2  2
           8  40  20  8  8  5
           9  90  45 18 18 10
 2 5 6 215 6  30  15  6  5  5
 3 3 4 112 6  12   4  4  3  2
           8  24   8  8  6  3
           9  36  12 12  9  4
          10  60  20 20 15  6
          11 132  44 44 33 12
 3 3 5 215 5  15   5  5  3  3
           6  30  10 10  6  5
           7 105  35 35 21 15
 3 4 4 1 6 4  12   4  3  3  3

まとめると(a,b,c,d)は(1,0,0,0)と
tを1以上の整数として
(3t,2t,t,1),
(2t,t,t,1),
(t,t,t,1)と
2≦dの解の表の51個となる。


【問題1】

条件を満たすa,b,c,dは存在する。
a,b,c,dを大きい順に並び替えたものを全てあげると、

( 21, 14,  6,  2)
( 42, 28, 12,  3)
(105, 70, 30,  6)
(126, 84, 36,  7)
(273,182, 78, 14)
(420,280,120, 21)
(861,574,246, 42)
( 12,  8,  3,  2)
( 24, 16,  6,  3)
( 36, 24,  9,  4)
( 60, 40, 15,  6)
( 84, 56, 21,  8)
(132, 88, 33, 12)
(276,184, 69, 24)
( 18, 12,  4,  3)
( 45, 30, 10,  6)
( 72, 48, 16,  9)
(153,102, 34, 18)
( 30, 20,  6,  5)
(105, 70, 21, 15)
( 66, 44, 12, 11)
(429,286, 78, 66)
( 10,  5,  4,  2)
( 30, 15, 12,  4)
( 40, 20, 16,  5)
( 90, 45, 36, 10)
(190, 95, 76, 20)
( 12,  6,  4,  3)
( 18,  9,  6,  4)
( 30, 15, 10,  6)
( 66, 33, 22, 12)
( 28, 14,  8,  7)
(126, 63, 36, 28)
の33個とtを2以上の整数として (3t,2t,t,1)である。

【問題2】

・解1

問題1の解よりa,b,c,dの中で最大のものは素数でないので存在しない。

・解2

e=a+b+c+d−1とすると、
a|e,b|e,c|e,d|eであり、
a,b,c,dは全て異なるので
abcd|eとなり、eは正なので
abcd≦eとなる。

a,b,c,dの中で最大のものがaであるとする。

2×3×5×a≦abcd≦e≦4a

となるので条件を満たすa,b,c,dは存在しない。


 『割り切れる? Part4』へ

 数学の部屋へもどる