Two Possibilities

a , b , c , a, b, c, and d d are positive integers such that a b = c d ab=cd .

Can a + b + c + d a+b+c+d be a prime number?

Yes No

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

29 solutions

Mark Hennings
Mar 7, 2018

Writing d = a b c d = \tfrac{ab}{c} we see that a + b + c + d = a + b + c + a b c = ( a + c ) ( b + c ) c a+b+c+d \; = \; a + b + c + \tfrac{ab}{c} \; = \; \frac{(a+c)(b+c)}{c} Thus we must be able to write c = u v c = uv where u , v u,v are integers such that u u divides a + c a+c and v v divides b + c b+c . But a + c > c u a+c > c \ge u and b + c > c v b+c > c \ge v and so the integers m = a + c u m = \tfrac{a+c}{u} and n = b + c v n = \tfrac{b+c}{v} are both greater than 1 1 , with a + b + c + d = m n a+b+c+d = mn . Thus a + b + c + d a+b+c+d is not prime.

Impressive!

Edward Hubble - 3 years, 2 months ago

Misunderstood question ....concatenation as opposed to product

Michael Fitzgerald - 3 years, 2 months ago

Log in to reply

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
def primes(n): # simple Sieve of Eratosthenes 
   odds = range(3, n+1, 2)
   sieve = set(sum([range(q*q, n+1, q+q) for q in odds],[]))
   return [2] + [p for p in odds if p not in sieve]

primes_ = primes(1000)

split_ = {}
for i in range (10,1000):
    x = str(i)
    for j in range(1,len(x)):
        split_[j] = [x[:j],x[j:]]

    #print split_

    for k in split_.keys():
        for m in split_.keys()[k:]:
            z = [int(split_[k][0]), int(split_[k][1]), int(split_[m][0]),  int(split_[m][1])]
            if len(set(z)) == len(z) and 0 not in set(z) and sum(z) in primes_:
                print '%d%d\t[%s,%s],[%s,%s]\t%d' \
                    %(int(split_[k][0]),int(split_[k][1]), z[0], z[1], z[2], z[3], sum(z))

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
122     [1,22],[12,2]   37
124     [1,24],[12,4]   41
125     [1,25],[12,5]   43
127     [1,27],[12,7]   47
142     [1,42],[14,2]   59
143     [1,43],[14,3]   61
146     [1,46],[14,6]   67
148     [1,48],[14,8]   71
149     [1,49],[14,9]   73
163     [1,63],[16,3]   83
166     [1,66],[16,6]   89
182     [1,82],[18,2]   103
184     [1,84],[18,4]   107
185     [1,85],[18,5]   109
187     [1,87],[18,7]   113
214     [2,14],[21,4]   41
215     [2,15],[21,5]   43
217     [2,17],[21,7]   47
233     [2,33],[23,3]   61
236     [2,36],[23,6]   67
238     [2,38],[23,8]   71
239     [2,39],[23,9]   73
251     [2,51],[25,1]   79
253     [2,53],[25,3]   83
256     [2,56],[25,6]   89
271     [2,71],[27,1]   101
274     [2,74],[27,4]   107
275     [2,75],[27,5]   109
277     [2,77],[27,7]   113
293     [2,93],[29,3]   127
295     [2,95],[29,5]   131
298     [2,98],[29,8]   137
299     [2,99],[29,9]   139
322     [3,22],[32,2]   59
326     [3,26],[32,6]   67
328     [3,28],[32,8]   71
329     [3,29],[32,9]   73
341     [3,41],[34,1]   79
346     [3,46],[34,6]   89
361     [3,61],[36,1]   101
362     [3,62],[36,2]   103
364     [3,64],[36,4]   107
365     [3,65],[36,5]   109
367     [3,67],[36,7]   113
385     [3,85],[38,5]   131
388     [3,88],[38,8]   137
389     [3,89],[38,9]   139
412     [4,12],[41,2]   59
413     [4,13],[41,3]   61
416     [4,16],[41,6]   67
418     [4,18],[41,8]   71
419     [4,19],[41,9]   73
431     [4,31],[43,1]   79
433     [4,33],[43,3]   83
436     [4,36],[43,6]   89
451     [4,51],[45,1]   101
452     [4,52],[45,2]   103
455     [4,55],[45,5]   109
457     [4,57],[45,7]   113
473     [4,73],[47,3]   127
475     [4,75],[47,5]   131
478     [4,78],[47,8]   137
479     [4,79],[47,9]   139
493     [4,93],[49,3]   149
497     [4,97],[49,7]   157
521     [5,21],[52,1]   79
523     [5,23],[52,3]   83
526     [5,26],[52,6]   89
541     [5,41],[54,1]   101
542     [5,42],[54,2]   103
544     [5,44],[54,4]   107
547     [5,47],[54,7]   113
563     [5,63],[56,3]   127
568     [5,68],[56,8]   137
569     [5,69],[56,9]   139
583     [5,83],[58,3]   149
584     [5,84],[58,4]   151
587     [5,87],[58,7]   157
611     [6,11],[61,1]   79
613     [6,13],[61,3]   83
631     [6,31],[63,1]   101
632     [6,32],[63,2]   103
634     [6,34],[63,4]   107
635     [6,35],[63,5]   109
637     [6,37],[63,7]   113
653     [6,53],[65,3]   127
655     [6,55],[65,5]   131
658     [6,58],[65,8]   137
659     [6,59],[65,9]   139
673     [6,73],[67,3]   149
674     [6,74],[67,4]   151
677     [6,77],[67,7]   157
691     [6,91],[69,1]   167
694     [6,94],[69,4]   173
697     [6,97],[69,7]   179
698     [6,98],[69,8]   181
721     [7,21],[72,1]   101
722     [7,22],[72,2]   103
724     [7,24],[72,4]   107
725     [7,25],[72,5]   109
743     [7,43],[74,3]   127
745     [7,45],[74,5]   131
748     [7,48],[74,8]   137
749     [7,49],[74,9]   139
763     [7,63],[76,3]   149
764     [7,64],[76,4]   151
781     [7,81],[78,1]   167
784     [7,84],[78,4]   173
788     [7,88],[78,8]   181
811     [8,11],[81,1]   101
812     [8,12],[81,2]   103
814     [8,14],[81,4]   107
815     [8,15],[81,5]   109
817     [8,17],[81,7]   113
833     [8,33],[83,3]   127
835     [8,35],[83,5]   131
839     [8,39],[83,9]   139
853     [8,53],[85,3]   149
854     [8,54],[85,4]   151
857     [8,57],[85,7]   157
871     [8,71],[87,1]   167
874     [8,74],[87,4]   173
877     [8,77],[87,7]   179
892     [8,92],[89,2]   191
893     [8,93],[89,3]   193
895     [8,95],[89,5]   197
896     [8,96],[89,6]   199
923     [9,23],[92,3]   127
925     [9,25],[92,5]   131
928     [9,28],[92,8]   137
943     [9,43],[94,3]   149
944     [9,44],[94,4]   151
947     [9,47],[94,7]   157
961     [9,61],[96,1]   167
964     [9,64],[96,4]   173
967     [9,67],[96,7]   179
968     [9,68],[96,8]   181
982     [9,82],[98,2]   191
983     [9,83],[98,3]   193
985     [9,85],[98,5]   197
986     [9,86],[98,6]   199

Michael Fitzgerald - 3 years, 2 months ago

This answer is correct. Why couldn't I upvote?

Junjun Mao - 3 years, 2 months ago

Clever solution! I do find it odd that this question would qualify as a 'basic' one.

zico quintina - 3 years, 2 months ago

Ah so [(a+c)/c] [(b+c)/c] HAS to be an integer , and c can't be a prime, but it has to be u v , because (a+c) and (b+c) are integers and their product has to be divisible by c? Can you explain more why this is so? Can't c be a prime and their product be 12 times c or something? What's the proof I'm missing?

Komninos Maraslidis - 3 years, 2 months ago

Log in to reply

Since ( a + c ) ( b + c ) c = a + b + c + d \frac{(a+c)(b+c)}{c} = a+b+c+d is an integer, c c must divide ( a + c ) ( b + c ) (a+c)(b+c) . Let u u be the highest common factor of c c and a + c a+c . Then u u divides a + c a+c and we must be able to write c = u v c = uv for some integer v v . But then v v divides ( a + c ) ( b + c ) (a+c)(b+c) and v v and a + c a+c are coprime, which means that v v divides b + c b+c .

Mark Hennings - 3 years, 2 months ago

Log in to reply

How do we know that c and a+c have a common factor? If (b+c)/c=2 for instance then our integer becomes (a+c)2 and we don't need (a+c)/c to be an integer or have a common factor do we?

Komninos Maraslidis - 3 years, 2 months ago

Log in to reply

@Komninos Maraslidis (a+c) and c can have 1 as the highest common factor. You are right, in your example, you don't need (a+c)/c to be an integer.

(a+c)(b+c)/(uv) = [(a+c)/u] x [(b+c)/v]

When v = c in your case, u = 1, so (a+c) is an integer.

Junjun Mao - 3 years, 2 months ago

Log in to reply

@Junjun Mao thanks guys

Komninos Maraslidis - 3 years, 2 months ago

@Komninos Maraslidis The highest common factor could be 1 1 .

Mark Hennings - 3 years, 2 months ago

But 10=10 And 1+0+1+0=2 is prime

Avishai Feuer - 3 years, 2 months ago

Log in to reply

a b ab here means the product of a a and b b , not the concatenation of a a and b b . While we are at it, 0 0 is not a positive integer.

Mark Hennings - 3 years, 2 months ago

10 = 2 × 5 2 \times 5

\Rightarrow 2 × 5 = 2 × 5 2 \times 5 = 2 \times 5

\Rightarrow 2 + 5 + 2 + 5 = 14 which is not a prime number . As Mark Hennings said a b ab is the product of a and b and not concatenation of a and b .

Ram Mohith - 3 years, 2 months ago

I think that u and v are defined wrongly. If (a+b+c+d) is prime and is equal (a+c)(b+c)/c then either (a+c) or (b+c) has to be a multiplication of that prime. This way u and v does not make sense. Either way (a+c) or (b+c) cannot be equal a multiplication of a+b+c+d, so it is not prime.

Filip Hazubski - 3 years, 2 months ago

Log in to reply

There are two ways of arguing this. One way is the way I have done it. The second is to observe that the supposed prime a + b + c + d a+b+c+d must divide one of a + c a+c and b + c b+c . Both arguments reach the conclusion that a + b + c + d a+b+c+d cannot be prime.

Mark Hennings - 3 years, 2 months ago

i was hoping you'd say, since d = ab|c then either c divides a or b or both and from thereon it is easier to work with

olawale oladeji - 3 years, 2 months ago

Log in to reply

You can only say that if c c is prime. If you rewrite by equation to read c = ( a + c ) ( b + c ) a + b + c + d c = \tfrac{(a+c)(b+c)}{a+b+c+d} , then your argument can be used (if you assume that a + b + c + d a+b+c+d is prime, you obtain a contradiction). That is Jason Dyer's proof. My proof is parallel, but equivalent.

Mark Hennings - 3 years, 2 months ago
Jason Dyer Staff
Mar 20, 2018

This is a version of the proof Sathvik Acharya mentions, which I find to be the easiest to visualize. Our general strategy will be to have an area with one side of a + b + c + d a + b + c + d that we can rearrange into a new area, which we can use to form a contradiction when assuming a + b + c + d a + b + c + d is prime.

First, let's visually represent a + b + c + d , a + b + c + d , but slightly out of order as a + c + d + b a + c + d + b (just to make a later step easier to visualize).

We want to turn this into an area that we can get factors from. Any of the four integers in the sum work, let's go with a : a:

Now, we're going to make a 2 by 2 box. We can turn and move the a d ad side to fit into the bottom left. a b ab is equivalent to c d cd so we can write that area as the lower right corner.

So we've proven that a ( a + b + c + d ) = ( a + c ) ( a + d ) . a(a+b+c+d) = (a+c)(a+d) . This also means the integer a a is ( a + c ) ( a + d ) a + b + c + d . \frac{(a+c)(a+d)}{a+b+c+d} .

Suppose a + b + c + d a + b + c + d is prime. Since a a is an integer, a + b + c + d a+b+c+d must divide evenly into either ( a + c ) (a+c) or ( a + d ) ; (a+d) ; however, a + b + c + d a + b + c + d is larger than both numbers, so this is a contradiction. Hence a + b + c + d a + b + c + d must not be prime.

This assumes that all integers are non-zero though. In the case that: a=1, b=0, c=1, d=0; you get ab=cd=1, and a+b+c+d=2 which is prime.

David Williams - 3 years, 2 months ago

Log in to reply

Or does "positive" mean non-zero in this context?

David Williams - 3 years, 2 months ago

Log in to reply

Zero is not a positive number.

Jason Dyer Staff - 3 years, 2 months ago

When a = c = 1 and b = d = 0 how can you get ab = cd as 1 ?

0 × 1 0 \times 1 = 0 . So ab = cd = 0

Ram Mohith - 3 years, 2 months ago

How can 3 be equal to 5. It can be proved mathematically though. But the question is how and why?

Hacker Cracker - 3 years, 2 months ago
Steven Yuan
Mar 7, 2018

This solution is based off of @Ram Mohith 's idea, taken to completion.

Let r r be a rational number such that a = r c . a = rc. Since a b = c d , ab = cd, we get d = r b . d = rb. Now, we find a + b + c + d a + b + c + d by substituting in these values for a , d a, d :

a + b + c + d = r c + b + c + r b = ( b + c ) ( 1 + r ) . \begin{aligned} a + b + c + d &= rc + b + c + rb \\ &= (b + c)(1 + r). \end{aligned}

Write r = r 1 r 2 , r = \dfrac{r_1}{r_2}, where r 1 , r 2 r_1, r_2 are positive integers such that gcd ( r 1 , r 2 ) = 1. \gcd(r_1, r_2) = 1. (Note that if r r is an integer, r 2 = 1. r_2 = 1. ) Substituting in this for r r yields

a + b + c + d = ( b + c ) ( 1 + r 1 r 2 ) = b + c r 2 ( r 1 + r 2 ) . \begin{aligned} a + b + c + d &= (b + c) \left (1 + \dfrac{r_1}{r_2} \right ) \\ &= \dfrac{b + c}{r_2}(r_1 + r_2). \end{aligned}

We must have r 2 b , c , r_2|b, c, since r c rc and r b rb are integers. Thus, r 2 b + c , r_2|b + c, and furthermore, r 2 < b + c r_2 < b + c due to the divisibility, so b + c r 2 > 1. \dfrac{b + c}{r_2} > 1. This means that a + b + c + d a + b + c + d is always the product of two integers greater than 1, so it cannot be prime. \blacksquare

Thanks My solution helped you a lot I think

Ram Mohith - 3 years, 3 months ago

Log in to reply

Du bist ein spast

Hans Wurst - 3 years, 2 months ago

Log in to reply

what is meant by that

Ram Mohith - 3 years, 2 months ago

Interesting. The conditions are: 1 ) a, b, c, d are positive integers 2) ab = cd

The question is can a + b + c + d be a prime number?

So if a = 1, b = 6 and c = 2 and d = 3, the first condition is met. 1 x 6 = 2 x 3, so the second condition is met.

1 + 6 + 2 + 3 = 13 and 13 is a prime number.

I contend that within the parameters given, the answer should actually be yes.

ROBERT IMPERIO - 3 years, 2 months ago

Log in to reply

But 1 + 6 + 2 + 3 = 12 . You didn't check that .

Ram Mohith - 3 years, 2 months ago

Log in to reply

Doh!!! Ok, there is reason I suck at math. Thx for pointing this out.

ROBERT IMPERIO - 3 years, 2 months ago

Log in to reply

@Robert Imperio Its OK !!! Everybody do mistakes and even I too . I wrote 18 months (instead of 30) for 2 and half years in my maths 10 class board exam and I lost the hundred mark .

Ram Mohith - 3 years, 2 months ago

Mathematics is a brainy subject. I can appreciate but not understand

Athmanathan Seetharaman - 3 years, 2 months ago

I got the same solution as Ram Mohith, but now i understand why it was incorrect. I just want to ask a question; how can I know my proof is valid. I know in my solution i assumed that r is an integer, so I guess I shouldnt assume anything. But is there anything else that would help me.

Hazem Salem - 3 years, 2 months ago

Log in to reply

But doing it in by grouping of terms and assuming that r is an integer,it is necessary to prove that r is an integer!!

erica phillips - 3 years, 2 months ago

For a+b+c+d=p to be prime, p should be odd as it can't be 2(we can verify all cases).

For p to be odd either one or three of a,b,c,d should be odd and others to be even. And ab=cd cannot be satisfied with that, as one side will be odd and other will be even.

So p can't be prime.

30x10=3x100 then 30+10+3+100 = 143 so not even

Komninos Maraslidis - 3 years, 2 months ago

Log in to reply

My bad. Thanks for pointing out the mistake.

Rathees Panneer Selvan - 3 years, 2 months ago

Log in to reply

you're welcome friend

Komninos Maraslidis - 3 years, 2 months ago

both sides are odds..

Peiyao Yu - 3 years, 2 months ago

Log in to reply

If both ab and cd are odd, they 2 is a factor of neither a, b, c or d and they are all odd. Hence a+b+c+d is even, because adding two odd numbers yields an even result.

Pierre Thierry - 3 years, 2 months ago

counterexample: 6x4 = 8x3 6+4+8+3 = 21 which is odd.

Iskander Elderson - 3 years, 2 months ago
Ram Mohith
Mar 7, 2018

It is given that ab = cd

So , a c \frac{a}{c} = d b \frac{d}{b}

Let , a c \frac{a}{c} = d b \frac{d}{b} = k (here k is some constant )

Then , a = ck and d = bk

Now , we have to find the value of a + b+ c + d . So now we will substitute the value of a and c in it .

a + b + c + d = ck + b + c + bk

b + bk + c +ck = b(1 + k) + c(1 + k)

(b + c)(1 + k)

So, we come to know that (a + b + c + d) can be written as product of two numbers (b + c) and (1 + k) out of these two at least one will be an integer .

Therefore we conclude a + b + c + d is not a prime number as it can be written as product of two numbers out of which at least one will be an integer .

Moderator note:

Just a reminder (mentioned in this solution) that Steven Yuan's solution inspired by this one avoids the error contained here.

The error is that while k k is set as possibly a non-integer, the last part requires k k itself to be an integer (we can't assume ( b + c ) (b+c) is an integer otherwise).

You seem to be assuming that k k is an integer, which is not necessarily true.

Mark Hennings - 3 years, 3 months ago

Log in to reply

No k is some constant

Ram Mohith - 3 years, 3 months ago

Log in to reply

Yes, but to say that a + b + c + d = ( b + c ) ( 1 + k ) a+b+c+d = (b+c)(1+k) does not prevent a + b + c + d a+b+c+d being prime, since b + c b+c is no longer a factor of a + b + c + d a+b+c+d , which is the point of your argument. For example, we could have k = 2 3 k=\tfrac23 and 5 = 3 ( 1 + k ) 5 = 3(1+k) , but 5 5 is prime.

Mark Hennings - 3 years, 3 months ago

Log in to reply

@Mark Hennings We still have (b +c) is a factor even we consider (1 + k) or not . So now we will not consider (1 + k) . Hence, there are three factors for a + b + c + d . They are 1 , (b+c) and (a + b + c +d) . So , it is not a prime as it has three factors .

Ram Mohith - 3 years, 3 months ago

Log in to reply

@Ram Mohith No. If 1 + k 1+k is not an integer, we cannot deduce that b + c b+c is a factor.

Mark Hennings - 3 years, 3 months ago

Log in to reply

@Mark Hennings But how ? Suppose we take example as 25 12.5 x 2 = 25 So even if 12.5 is not an integer we still have 2 as factor of 25 .

Ram Mohith - 3 years, 3 months ago

Log in to reply

@Ram Mohith But 2 2 is not a factor of 25 25 . Factors are integers!

Mark Hennings - 3 years, 3 months ago

Log in to reply

@Mark Hennings OK Then what changes do you think i should make in the problem .

Ram Mohith - 3 years, 3 months ago

Log in to reply

@Ram Mohith Look at the other proofs. Steven adjusted your argument to make it work. I and Sathvik have slightly different approaches.

Mark Hennings - 3 years, 3 months ago

Log in to reply

@Mark Hennings I am able to understand your solution more . But how do you get both a + c u \frac{a+c}{u} and b + c v \frac{b+c}{v} are exactly integers .

Ram Mohith - 3 years, 3 months ago

Log in to reply

@Ram Mohith Let u u be the HCF of c c and a + c a+c . Then u u divides a + c a+c and we can write c = u v c = uv where v v divides b + c b+c .

Mark Hennings - 3 years, 3 months ago

Log in to reply

@Mark Hennings Ok .

Thank You for your valuable suggestions .

Ram Mohith - 3 years, 3 months ago

@Ram Mohith 2 is not a factor of 25

because 2 doesn't go evenly into 25 without leaving a remainder.

Laura Gao - 3 years, 2 months ago

I think in most of the cases k will be an integer because if ab = cd then d b \frac{d}{b} and a c \frac{a}{c} will be integers .

Examples : 1 × 6 = 2 × 3 1 \times 6 = 2 \times 3 . Then k = 6 2 = 3 1 k = \frac{6}{2} = \frac{3}{1}

Ram Mohith - 3 years, 2 months ago

Log in to reply

How about 4 × 6 = 3 × 8 4 \times 6 = 3 \times 8 , with neither 8 6 \tfrac86 nor 43 43 being an integer?

Mark Hennings - 3 years, 2 months ago

Log in to reply

@Mark Hennings Whatever may be 4 + 6 + 3 + 8 = 21 which is not a prime number .

Ram Mohith - 3 years, 2 months ago

Log in to reply

@Ram Mohith I know it cannot be a prime number. The point is that your argument does not work, because it mistakenly assumes that 1 + k 1+k must be a factor. While it may often be, it does not have to be, and that puts a flaw in your argument. We have already discussed this at some length in the comment below this one.

Mark Hennings - 3 years, 2 months ago

You have used absolute mathematical knowledge and common sense which I think a lot of solution lack 👏.

Basudeb Jena - 3 years, 2 months ago

A flaw in this proof is that you said that "k is some constant whether integer or real number" this means that (1 + k) is also only a real number, not necessarily an integer. Thus it is not true that (b + c) and (1 + k) are always factors of a + b + c + d.

De4Th BriNGersZz - 3 years, 2 months ago

beautiful solution. very clear and thoughtful and easy to understand and accurate. just one suggestion though: use latex

Laura Gao - 3 years, 2 months ago

As Mark Hennings has stated many times, this solution is incomplete because it assumes that k k is a positive integer, but we cannot make that assumption right away. I'm not sure why people like this solution so much despite having this flaw.

Steven Yuan - 3 years, 2 months ago

Log in to reply

... and your corrected version of this proof has got lost in the crossfire...

Mark Hennings - 3 years, 2 months ago

Log in to reply

I wrote my solution till where my knowledge can take me . And people are liking this solution till where there mind can take . Bagavad Gita says that "Nobody in this world can judge anything why it happens and for what it happens . Only God can judge it ." I accept that there is mistake in my proof . But I was not taught these higher concepts . You all are elder to me and have mastered these concepts . So you can write the solution 100 % correct . I wrote my solution till where I have learned in my school and people are liking it . What can I do for it !!!!!

Ram Mohith - 3 years, 2 months ago

Log in to reply

@Ram Mohith I am not sure that the Gita was talking about mathematical proof, which is capable of objective assessment. You could edit your "proof" to make it correct.

Mark Hennings - 3 years, 2 months ago

Log in to reply

@Mark Hennings I know I could edit my proof but first I should learn the concepts . Without knowing anything how can I change it .

Ram Mohith - 3 years, 2 months ago

Log in to reply

@Ram Mohith How about adding a comment at the start of the proof that you know that this proof is not correct, and referring those interested to Steven's proof, which gives a correct version? Otherwise you are misleading people who read it.

Mark Hennings - 3 years, 2 months ago

Log in to reply

@Mark Hennings I have done it . Now Happy .

Ram Mohith - 3 years, 2 months ago

@Mark Hennings From 47 upvotes I am brought down to 12 upvotes . Now all are happy (expect me) so please do not again comment on my solution saying my solution is wrong . I know it is wrong but please do not make me sad by telling it repeatedly .

Ram Mohith - 3 years, 2 months ago

Log in to reply

@Ram Mohith Don't worry too much about the upvotes. It's more important that you understand what went wrong in your solution and how you can fix it. Also, don't give up on writing solutions; in fact, keep learning solution-writing strategies , and practice writing solutions whenever you can. I believe in you! ¨ \ddot \smile

Steven Yuan - 3 years, 2 months ago

Log in to reply

@Steven Yuan Thank you . I am not worrying too much about upvotes . But little sadness will be there when someone is brought down when he is at a peak .

Ram Mohith - 3 years, 2 months ago

@Ram Mohith I am sorry about the upvotes, but don't worry too much about those - the important thing is to keep on trying/learning.

You and I had discussed your solution almost two weeks ago, and had gone through all these points, which you seemed to appreciate. Earlier this week you raised the whole discussion again, so I wanted to make sure you realized where your proof needed to improve.

Keep on having a go at writing solutions, and you will get better!

Mark Hennings - 3 years, 2 months ago

Log in to reply

@Mark Hennings Thank you .

Ram Mohith - 3 years, 2 months ago

@Mark Hennings Monday night when I saw this question I am amazed to that I have 17 upvotes . In Tuesday morning I was surprised to see that I have 33 upvotes . As a teenager I desired to reach 50 . But I was shocked to see Wednesday morning that I only have 12 upvotes to this solution . I think you will agree that a teenager in my place will do like this and will be sad seeing the sudden fall .That's the only reason and nothing about the solution .

Ram Mohith - 3 years, 2 months ago

Log in to reply

@Ram Mohith What is clear is that people like the way you write solutions - that's why they upvoted it. If you write a solution which is correct, and post it, you can hope to get plenty of upvotes next time. Keep on trying!

Mark Hennings - 3 years, 2 months ago

Amazing! 10/10 explanation. You just received a huge round of applause.

Simon The Great - 3 years, 2 months ago

Log in to reply

Thank you Simon

Ram Mohith - 3 years, 2 months ago

This solution is not correct, as pointed by other readers. Here is a number example to show this: 15x36 = 10x54 15+36+10+54 = 115 Possible (b+c) are 51, 25, 69, 46, 90, 64 You see the sum 115 doesn't have any factor in the form of (b+c).

Junjun Mao - 3 years, 2 months ago

Log in to reply

But (a + b + c + d) = (b +c)(1 + k) . We can prove this :

a c = d b = 54 36 = k = 15 10 = 3 2 \frac{a}{c} = \frac{d}{b} = \frac{54}{36} = k = \frac{15}{10} = \frac{3}{2}

Now (b + c) = 36 = 10 = 46

\Rightarrow (b + c)(1 + k) = 46 × ( 1 + 3 2 ) = 46 × 5 2 = 115 46 \times (1 + \frac{3}{2}) = 46 \times \frac{5}{2} = 115

So , now we can say that 115 can be written as a product of 2 numbers out of which at least one is an integer . So , (a + b + c + d) is not a prime number .

Ram Mohith - 3 years, 2 months ago

Log in to reply

Yet again you are missing the point. It is certainly true that a + b + c + d a+b+c+d is not a prime number, and so 115 115 is not prime. The problem with your proof is that you are using the identity 115 = 46 × 5 2 115 = 46 \times \tfrac52 to say that 115 115 is not prime (you are claiming that b + c = 46 b+c = 46 is a factor of 115 115 , which it is not).

Mark Hennings - 3 years, 2 months ago

Log in to reply

@Mark Hennings I am just saying it as product of two numbers .

Ram Mohith - 3 years, 2 months ago

A number, as a product of two numbers out of which at least one is an integer, doesn't have to be a prime. This is the weak link in your solution.

6 x (17/6) = 17, but the number 17 is a prime.

Junjun Mao - 3 years, 2 months ago

Log in to reply

@Junjun Mao 4 x (9/4) = 9 , 9 is not a prime number .

Ram Mohith - 3 years, 2 months ago

If a,b,c,d are positive integers, then isn't it necessary that b+c is also integer and ur solution correct?? a+b+c+d =(b+c)(1+k) And (b+c) is integer so it is a factor of (a+b+c+d) and it isn't prime

Pls tell if I am wrong.

Mr. India - 3 years, 2 months ago

Log in to reply

(b+c) is an integer but k doesn't have to be integer. You can't really call (b+c) a factor if another number is not an integer.

Junjun Mao - 3 years, 2 months ago

Log in to reply

Oh... Thnx

Mr. India - 3 years, 2 months ago

Yes (b + c) will be an integer

Ram Mohith - 3 years, 2 months ago
Sathvik Acharya
Mar 7, 2018

Lemma: If x , y x,y are positive integers such that m x y m \mid xy and m > x , y m>x,y , then m m is composite.

Proof: Assume to the contrary that m m is prime. Clearly m m cannot divide x x or y y and the condition m x y m \mid xy is not satisfied. This contradiction leads us to the conclusion that m m is prime.

Solution: Observe that a ( a + b + c + d ) = a 2 + a b + a c + a d = a 2 + c d + a c + a d = ( a + c ) ( a + d ) . a(a+b+c+d)=a^2+ab+ac+ad=a^2+cd+ac+ad=(a+c)(a+d). Hence, a ( a + b + c + d ) = ( a + c ) ( a + d ) a + b + c + d ( a + c ) ( a + d ) . a(a+b+c+d)=(a+c)(a+d) \implies a+b+c+d \mid (a+c)(a+d). Since a + b + c + d > ( ( a + c ) , ( a + d ) ) a+b+c+d>((a+c), (a+d)) from the above lemma we get a + b + c + d a+b+c+d is always composite

What does m|xy mean ?

Akshay Aradhya - 3 years, 2 months ago

Log in to reply

it means m is divisible by the product of x and y

olawale oladeji - 3 years, 2 months ago

if ab = cd then if a + b + c + d should be a even number which is not prime number because it is like having 1 + 4 = 2 + 3 and adding two equal numbers will add up to a even number

ab=a+b? It's a product not sum you are confused.

Pau Cantos - 3 years, 2 months ago

30x10=3x100 then 30+10+3+100 = 143 so not even.

Komninos Maraslidis - 3 years, 2 months ago

1, 4, 2 ,2

9 is not even

Akshay Aradhya - 3 years, 2 months ago
Chen Zhangqi
Mar 20, 2018

M=a+b+c+d>=4, if M is a prime number, M need to be an odd number So there two combinations for a, b, c, d. 1)three odd number and one even number, 2) one odd number and three even number. But! How could such two combinations satisfy the equation ab=cd?

9 is odd, 9 = 1+4=2+2 yet 1 4=2 2.

Hongming Chen - 3 years, 2 months ago
Ruben Slechten
Mar 19, 2018

For that, we'll need an odd amount of odd numbers, which is impossible if we still want to get ab = cd

No it is not for example 1x4=2x2 and 1+4+2+2 is odd because has only one odd number (1).

Pau Cantos - 3 years, 2 months ago
John Smith
Mar 25, 2018

if a b = c d ab = cd , there always exists integers x , y , z , t x,y,z,t , such that a = x y , b = z t , c = x z , d = y t a=xy, b=zt, c=xz, d=yt so a + b + c + d = x y + z t + x z + y t = ( x + t ) ( y + z ) a+b+c+d = xy+zt+xz+yt = (x+t)(y+z) which cannot be prime. we can prove that x , y , z , t x,y,z,t exist as follows: x = gcd ( a , c ) x=\gcd(a,c) , y = a gcd ( a , c ) y=\frac{a}{\gcd(a,c)} , z = c gcd ( a , c ) z=\frac{c}{\gcd(a,c)} , t = d gcd ( a , c ) a t=\frac{d\cdot\gcd(a,c)}{a} . It is easy to verify that these are all integers and they satisfy above equalities.

Dipak Sahu
Mar 23, 2018

ab=cd means if a&b both are odd then c&d both must be odd i. e the sum is a even number and therefore the given sum is not a prime number.

if a&b both are even then c&d both must be even i. e the sum is a even number and therefore the given sum is not a prime number.

Hacker Cracker
Mar 24, 2018

How can 3 be equal to 5. It can be proved mathematically though. But the question is how and why?

Michael Borrello
Mar 23, 2018

Let p = a + b + c + d p=a+b+c+d be prime. WLOG for ab and cd, we can write:

( a + b ) 2 = a 2 + 2 a b + b 2 (a+b)^2 = a^2 + 2ab + b^2

2 a b = ( a + b ) 2 a 2 b 2 2ab = (a+b)^2 - a^2-b^2

We now square the expression a+b+c+d:

( a + b + c + d ) 2 (a+b+c+d)^2

a 2 + b 2 + c 2 + d 2 + 2 ( a b + a c + a d + b c + b d + c d ) a^2 + b^2 + c^2 + d^2 + 2(ab + ac + ad + bc + bd + cd)

For the latter part of the expression, we replace the 2ab and 2cd terms with our expressions above:

a 2 a 2 + b 2 b 2 + c 2 c 2 + d 2 d 2 + ( a + b ) 2 + ( c + d ) 2 + 2 ( a c + a d + b c + b d ) a^2-a^2 + b^2-b^2 + c^2-c^2+d^2-d^2+(a+b)^2+(c+d)^2+2(ac+ad+bc+bd)

We simply and factor the last term by grouping:

( a + b ) 2 + ( c + d ) 2 + 2 ( a + b ) ( c + d ) (a+b)^2+(c+d)^2 +2(a+b)(c+d)

[ ( a + b ) 2 + ( c + d ) 2 ] 2 [(a+b)^2+(c+d)^2]^2

This is our expression the square of our prime number, or p 2 = ( a + b + c + d ) 2 p^2 =(a+b+c+d)^2 . So we can write:

p = a + b + c + d = ( a + b ) 2 + ( c + d ) 2 p=a+b+c+d = (a+b)^2 + (c+d)^2

By the Fermat's Theorem, the number a + b + c + d a+b+c+d must also equal some square interger for positive intergers a,b,c,d. Notice, if a + b + c + d a+b+c+d is not an interger, then we have proof by contradiction. Therefore, a+b+c+d cannot be prime.

Q.E.D. \textbf{Q.E.D.}

The last step is not right ("must also equal some square integer"). What you are referring to are the Pythagorean triples, like numbers 3, 4,5 : 3^2+4^2=5^2. But these are rare triples. As a counter example: 4^4+5^2=41=6.4^2 where 6.4 is a real number.

Manos Trypakis - 3 years, 2 months ago

Log in to reply

I agree with what you are saying, however we are only looking at positive intergers a,b,c,d. So if a+b+c+d was not an intergers, it is proof by contradiction. I will add this in the proof though, because you are right.

Michael Borrello - 3 years, 2 months ago
Adam Nicholas
Mar 22, 2018

a+b+c+d is always going to be an even number. Of the 4 variables either none of them are odd, 2 of them are odd, or all four of them are odd. Which means the odds will cancel out when you add them up.

Jack Han
Mar 22, 2018

Since all four values are given to be integers Their sum must be an integer and products of two or more of any of these values must be integer.

You can rewrite two of the summands in terms of the other summands.

One can give the summands a common denominator without changing the expression's value. Dividing by this common denominator still gives an expression that is an integer. Therefore the expression can never be prime.

소리 헛
Mar 22, 2018

let a=a 1*a 2 and b=b 1*b 2, than c*d must contain all of components of a and b. If we calculate all possibilities, there are most be common dividable integer without 1 and a+b+c+d itself.

Liev Birman
Mar 22, 2018

a + b + c + d a+b+c+d and a b = c d ab=cd .

Let's choose b b and d d to simplify our thought process. b = n 1 , d = n 2 b = n_1, d = n_2 .

Using a n 1 = c n 2 a n_1 = c n_2 we can quickly write our sum as c n 2 n 1 + n 2 + n 1 + c c \frac{n_2}{n_1} + n_2 + n_1 + c .

Simplify to ( n 1 + n 2 ) ( c n 1 + 1 ) (n_1+n_2) ( \frac{c}{n_1} + 1)

n 1 1 n_1 \geq 1 , n 2 1 n_2 \geq 1 , and c n 1 + 1 > 1 \frac{c}{n_1} + 1 > 1 from our restriction that all numbers be positive integers.

So, all that's important here is that our number will always be divisible by n 1 + n 2 2 n_1 +n_2 \geq 2 and therefore never prime.

John Keating
Mar 21, 2018

A prime number can never be divisable by 2. If we have a+b+c+d = prime number, then if we divide by 2 like you would if ab=cd, then by definition the product cannot be a prime number.

Benni Bärmann
Mar 21, 2018

For a + b + c + d a+b+c+d to be prime it has to be greater than 2, which means it is an odd prime.

For a + b + c + d a+b+c+d to be odd, one or three of the four numbers has to be even and the others has to be odd.

But than one side of the equation a b = c d ab=cd has to be even and the other side has to be odd, which is impossible, therefore it can not be prime.

David Senecal
Mar 21, 2018

Totally just guessed.

Donald Duck
Mar 21, 2018

Assume the sum a + b + c + d a+b+c+d is odd. Then the residue sets modulo-2 of a,b,c,d can only be { 0 , 0 , 0 , 1 } \{0,0,0,1\} or { 0 , 1 , 1 , 1 } \{0,1,1,1\} . (i.e. Either one summand is odd and all the others even, or one summand is even and all the others odd.)

Given the 2 residue sets above, there is no way to combine the elements such that a b ( m o d 2 ) = c d ( m o d 2 ) ab (mod 2) = cd (mod 2) .

This contradicts our assumption that a + b + c + d a+b+c+d was odd.

Therefore a + b + c + d a+b+c+d must be even, and the only remaining prime value we need to consider is 2 . That cannot happen because we are given that a , b , c , d a,b,c,d are all positive integers so their sum must be > = 4 >= 4 .

Therefore a + b + c + d a+b+c+d cannot be prime.

Developer Luke
Mar 20, 2018

a=1, b=6, c=2, d=3 ab=cd 6=6 1+6+2+3=13 13 is a prime number............

So much for working.

It adds up to 12.

David Weisberg - 3 years, 2 months ago
David Weisberg
Mar 20, 2018

First start with a b = c d ab=cd

Add b d bd to both sides:

a b + b d = c d + b d ab+bd=cd+bd

Factor out the common factor:

b ( a + d ) = d ( c + b ) b(a+d)=d(c+b)

Solve for c + b c+b :

b d ( a + d ) = c + b \frac{b}{d}(a+d)=c+b

Now, when we try to evaluate a + b + c + d a+b+c+d , you see that you can plug in what we solved for:

a + b d ( a + d ) + d = ( 1 + b d ) ( a + d ) = ( d + b d ) ( a + d ) a+\frac{b}{d}(a+d)+d=(1+\frac{b}{d})(a+d)=(\frac{d+b}{d})(a+d)

The only way this number can be prime, keeping in mind the conditions of the problem, is if d d completely divides any of the 2 factors. This can only be done if it equals the terms, which isn't the case since both terms have a d d in them, plus a positive integer. Thus, the sum is always composite given that a a , b b , c c , and d d are positive integers

Hazem Salem
Mar 20, 2018

ijj

Duncan Reynolds
Mar 20, 2018

If a + b + c + d is prime, it must be odd, since 2 cannot be written as the sum of four positive integers. That means that either three of a, b, c and d are odd, or three of them are even. In either case, one of ab and cd will be odd and the other will be even. But ab = cd. So the sum cannot be prime.

Let's rewrite

  • a = 2 a 1 3 a 2 5 a 3 . . . a = 2^{a_1} * 3^{a_2} * 5^{a_3} * ... ;
  • b = 2 b 1 3 b 2 5 b 3 . . . b = 2^{b_1} * 3^{b_2} * 5^{b_3} * ... ;
  • c = 2 c 1 3 c 2 5 c 3 . . . c = 2^{c_1} * 3^{c_2} * 5^{c_3} * ... ;
  • d = 2 d 1 3 d 2 5 d 3 . . . d = 2^{d_1} * 3^{d_2} * 5^{d_3} * ... .

Then using the equation a b = c d ab = cd we can derive a 1 + b 1 = c 1 + d 1 a_1 + b_1 = c_1 +d_1 , a 2 + b 2 = c 2 + d 2 a_2 + b_2 = c_2 + d_2 etc, or a 1 c 1 = d 1 b 1 a_1 - c_1 = d_1 - b_1 , a 2 c 2 = d 2 b 2 a_2 - c_2 = d_2 - b_2 etc

Next (for the sake of simplicity only factors of "2" and "3" are shown),

a + b + c + d = a + b + c + d = = ( 2 a 1 3 a 2 ) + ( 2 b 1 3 b 2 ) + ( 2 c 1 3 c 2 ) + ( 2 d 1 3 d 2 ) = = ( 2^{a_1} * 3^{a_2} ) + ( 2^{b_1} * 3^{b_2} ) + ( 2^{c_1} * 3^{c_2} ) + ( 2^{d_1} * 3^{d_2} ) = = ( 2 c 1 3 c 2 ) ( 1 + 2 a 1 c 1 3 a 2 c 2 ) + ( 2 b 1 3 b 2 ) ( 1 + 2 d 1 b 1 3 d 2 b 2 ) = ( 2^{c_1} * 3^{c_2} ) ( 1 + 2^{a_1 - c_1 } * 3^{a_2 - c_2} ) + ( 2^{b_1} * 3^{b_2} ) ( 1 + 2^{d_1 - b_1 } * 3^{d_2 - b_2} )

Using equation above:

a + b + c + d = ( 1 + 2 a 1 c 1 3 a 2 c 2 ) ( 2 c 1 3 c 2 + 2 b 1 3 b 2 ) a + b + c + d = ( 1 + 2^{a_1 - c_1 } * 3^{a_2 - c_2} ) ( 2^{c_1} * 3^{c_2} + 2^{b_1} * 3^{b_2} )

Thus the sum of these 4 numbers is always equal to a multiplication (of numbers greater than "1") and cannot be a Prime

You don't need to factorize, then you can work whit the hole numbers and you will get the same solution as @Ram Mohith so with his same problem.

Pau Cantos - 3 years, 2 months ago

Then why does 1x6=2x3 become prime when adding them up?

Developer Luke - 3 years, 2 months ago
Matt Lewis
Mar 19, 2018

If ab = cd, then both ab and cd must either be odd or even. In both cases, this requires the number of odd digits to equal 0, 2 or 4 (i.e. none of the numbers are odd, all the numbers are odd, or one variable from either side is odd). As an even number of odd digits always adds up to an even number, the sum of all the variables will always be divisible by 2, and therefore cannot be a prime number.

That's not true, same as I comented in Ruben Slechten solution.

Pau Cantos - 3 years, 2 months ago

Log in to reply

This is true. I made the misassumption that all four variables were discrete!

Matt Lewis - 3 years, 2 months ago
Vijay Neelakantan
Mar 19, 2018

If a & b are both odd, then c & d both need to be odd. If at least one of a & b is even, then at least one of c & d is also even. So a+b+c+d is either a sum of 4 odd numbers (or) a sum of 2 odd and 2 even numbers (or) a sum of 4 even numbers. All of these possibilities end up with an even number for a+b+c+d. So a+b+c+d is even and hence not prime!

No. Same as Matt Lewis and Ruben Slechten.

Pau Cantos - 3 years, 2 months ago

ab=cd so a=c and b=c - If a,b,c and d are odd numbers, the sum would be even, because odd numbers gathered even times will result an even sum. If a,b,c and d are even numbers, the sum would be even too. Because the sum would be even, the sum could be divided by 2. - And if we would have 3 odd numbers and one even, the sum would be odd too, but it will can be divided in an odd number. sorry for my bad english

a=c, b=d? That's not true.

Pau Cantos - 3 years, 2 months ago

Log in to reply

Is it, take an exemple: 12=12, so 1=1 and 2=2.

Choco Ciocolatzica - 3 years, 2 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...