Author |
Topic: (A)symmetrical Sums (Read 841 times) |
|
Sir Col
Uberpuzzler
impudens simia et macrologus profundus fabulae
Gender:
Posts: 1825
|
|
(A)symmetrical Sums
« on: Dec 29th, 2004, 4:49pm » |
Quote Modify
|
Given that x,y,k [in] [bbz], find the number of solutions to each of the inequalities. [easy] (1) x+y [le] k, where x,y [ge] 0. (2) |x|+|y| [le] k. [harder] (3) x+y [le] k, where 0 [le] x [le] y. (4) |x|+|y| [le] k, where x [le] y. Note: |x| is the absolute, or unsigned, value of x.
|
|
IP Logged |
mathschallenge.net / projecteuler.net
|
|
|
John_Gaughan
Uberpuzzler
Behold, the power of cheese!
Gender:
Posts: 767
|
|
Re: (A)symmetrical Sums
« Reply #1 on: Dec 29th, 2004, 6:38pm » |
Quote Modify
|
:: 1. n = k + 1 [forall] x, 0 <= x <= k, [exists] y [therefore] x + y = k There are k + 1 such x's. 2. n = 4(k + 1) Same as 1, except that for each value of x there are four possibilities: positive and negative x and y. ::
|
|
IP Logged |
x = (0x2B | ~0x2B) x == the_question
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: (A)symmetrical Sums
« Reply #2 on: Dec 30th, 2004, 1:23am » |
Quote Modify
|
close but no cigar '[le]' [ne] '='
|
« Last Edit: Dec 30th, 2004, 1:24am by towr » |
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
John_Gaughan
Uberpuzzler
Behold, the power of cheese!
Gender:
Posts: 767
|
|
Re: (A)symmetrical Sums
« Reply #3 on: Dec 30th, 2004, 6:15am » |
Quote Modify
|
Ah crap, you're right. I guess this should work then: :: 1. n = [sum]a=0ka+1 n = ((0+1) + (1+1) + (2+1) + ... + (k+1)) n = ((0+1+2+3+...+k) + (1+1+1+1+...+1)) n = k(k+1)/2 + (k+1) 2. n = 4(k(k+1)/2 + (k+1)) ::
|
|
IP Logged |
x = (0x2B | ~0x2B) x == the_question
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: (A)symmetrical Sums
« Reply #4 on: Dec 30th, 2004, 7:23am » |
Quote Modify
|
I'm sceptical about the second. You shouldn't count the points for (0,y) and (x,0) 4 times, nor (0,0) even twice. You can easily draw it for small k in the integer-plane. The first is a triangle, the second two overlaid squares. :: 1) 1/2 (k+1)(k+2) 2) (k+1)2 + k2 ::
|
« Last Edit: Dec 30th, 2004, 7:43am by towr » |
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: (A)symmetrical Sums
« Reply #5 on: Dec 30th, 2004, 7:42am » |
Quote Modify
|
:: 3) (k+2)2/4 for even(k) (k+1)(k+3)/4 for odd(k) 4) [(k+2)2 + k2]/2 - 1 for even(k) (k+1)2 - 1 for odd(k) ::
|
« Last Edit: Dec 30th, 2004, 7:51am by towr » |
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
Sir Col
Uberpuzzler
impudens simia et macrologus profundus fabulae
Gender:
Posts: 1825
|
|
Re: (A)symmetrical Sums
« Reply #6 on: Dec 30th, 2004, 9:09am » |
Quote Modify
|
You're good, towr! I liked your explanation about the two overlapping squares for (2). In fact, it is possible to obtain a compact single function, in terms of k, for each of (3) and (4), by making use of the integer part function. I'm intrigued to know your approach for (3) and (4). When I was playing with these puzzle ideas it was (4) that I started with and after taking an algebraic approach I made the geometrical connection with the graph |x|+|y|[le]k (shaded square region). For efficiency in approach I used a geometrical approach with them all. For (4) I had two overlapping rectangular regions: only counting values below or on the line y=x.
|
|
IP Logged |
mathschallenge.net / projecteuler.net
|
|
|
towr
wu::riddles Moderator Uberpuzzler
Some people are average, some are just mean.
Gender:
Posts: 13730
|
|
Re: (A)symmetrical Sums
« Reply #7 on: Dec 30th, 2004, 10:34am » |
Quote Modify
|
For 3) and 4) I did the same as for 1) and 2), I drew the case k=4 and k=5 It's easy to generalize from there. for the odd case of 4) it took me a while to recognize it was twice two overlaid squares (with sides (k+1)/2), minus of course the origin (which would otherwise be counted twice)
|
|
IP Logged |
Wikipedia, Google, Mathworld, Integer sequence DB
|
|
|
|