- Tim Poe . . . . . . . . . . . . . 10 pts - The first entry with a holes-free proof; go poe!
- Marcello Cammarata . . 8 pts - I agree with the 2000 but I needed more reasons
- Zahi Teitelman . . . . . . . 6 pts - Early entry gets the big points; still near-proof
- Nick McGrath. . . . . . . . . 5 pts - I followed (y-4)(y+1)=0 but not why y^2 > 3x+1
- Zeke Moore . . . . . . . . . . . 5 pts - Good use of proportions not being integers, Zeke.
- Art Morris . . . . . . . . . . . 4 pts - True x^3 =/= y^2 but doesn't make x^3 = (y+1)^3
- Hermen Jacobs . . . . . . . . 4 pts - Did thorough search up to x, y <= 1000, not a proof
- Kirk Bresniker . . . . . . . . 4 pts - The 5-pointed star wasn't a hint even though x = 5
- Ed Wern . . . . . . . . . . . . . 4 pts - Nice that w = y+1 ; prove w = ax/b implies a/b = 1
- Mark Rickert . . . . . . . . . 3 pts - Assuming x = y+1 does give y=4 but it's a big ass.
- Yakov Macak . . . . . . . . . 3 pts - Yes x = y+1 simplifies it; y and y+1 always rel prime
- Phil Sayre . . . . . . . . . . . . 3 pts - Docked 1/2 point for resub; proof still not flawless
- Denis Borris . . . . . . . . . . 3 pts - If x = y+1 then y^2 - 3y - 4 = 0 ; thanks for 2nd try
- Al Nelson . . . . . . . . . . . . 3 pts - Good, if x =/= y+1 then x | y+1 bec of cube factors
- Vince LoCascio . . . . . . . 3 pts - Interesting x = k(y+1); y^2 = k^3(3x+1) prove k=1
- Jack Dostal. . . . . . . . . . . 3 pts - Good show; see solution quoted above for details
- Akifumi . . . . . . . . . . . . . 3 pts - Yes, if x=1 then L=3, R=8; y^2 | 3x+1 | y^2 => =.
- Ravi Raja . . . . . . . . . . . . 3 pts - Nice use of quadratic formula, note discrim = square
- Radu Ionescu . . . . . . . . . 2 pts - Unsure whether 3x+1 is a line unless y = 3x+1?
- Ajit Athle . . . . . . . . . . . . 2 pts - Halloween eve brings out the fact that x=5 and y=4
- problem #233 - posted monday, nov 7, 2005
- Lucas Square Sums (back to top)
- The Lucas numbers are defined as L0 = 2, L1 = 1, Ln+1 = Ln + Ln-1 for n > 1
- Find a closed form for the sum of the squares of Lk , from k = 0 to n ,
- in terms of the Ln's. Verify your result numerically up to n = 10.
- "Closed form" is an algebraic formula without "sum of" or ". . . " Show your reasoning.
- Solution: Opinions varied as to what "closed form" meant. Here are three or more answers:
- (1) Let Sn = L0^2 + L1^2 + . . . + Ln^2. Make a table of values in Excel and have it do the sum
- of squares, and notice a pattern: Sn = Ln Ln+1 + 2 or also Sn = L(2n+1) + 3 + (-1)^n.
- Note: MathWorld had this answer listed as Ln Ln+1 - 2 but this was an error. - Dan
- (2) Let a = (1+\/5)/2 and b = (1-\/5)/2 ; then Ln = a^n + b^n is well known (MathWorld e.g.)
- Lk^2 = (a^k + b^k)^2 = a^(2k) + 2(ab)^k + b^(2k); add these up and form three geom series.
- Sn = (1 + a^2 + . . . + a^(2n)) + 2(1+ ab + . . . + (ab)^n) + (1 + b^2 + . . . + b^(2n))
- Sn = (1 - a^(2n+1))/(1 - a^2) + 2(1 - (ab)^(n+1))/(1 - ab) + (1 - b^(2n+1))/(1 - b^2)
- (3) Phil noticed that the logs of the Ln get more evenly spaced, making Ln appox geom with ratio
- a = (1 + \/5)/2. Thus Ln is approx [a^n] the greatest (really nearest) integer to a^n, for n > 2.
- Thus Sn = 2^2 + 1^2 + a^2 + a^3 + . . . + a^n = 5 + (a^2 - a^(n+1))/(1 - a) ;
- but I think this is off by 5 for the 10th term; maybe without the 5 it's correct-er!
- (4) Use the golden rectangle pattern as sent in by Yakov M, Tile squares : 2x2 then 1x1, then
- 3x3 below, 4x4 to the right, 7x7 below, etc. You get a Ln by Ln+1 rectangle, with 2 square
- units hanging off the top from the first 2x2. Thus visually Sn = Ln Ln+1 + 2 as desired.
- (5) And new contestant Claudio gave Ln = x^n + y^n, x and y are roots of z^2 - z - 1 = 0
- An appropriate table for this problem:
n . . . Ln. . . . .Ln^2 . . . .Sn . . . Ln*Ln+1 0 . . . 2 . . . . . 4 . . . . . 4 . . . . 2 1 . . . 1 . . . . . 1 . . . . . 5 . . . 3 2 . . . 3 . . . . . 9 . . . . .14 . . . .12 3 . . . 4 . . . . .16 . . . . .30 . . . .28 4 . . . 7 . . . . .49 . . . . .79 . . . .77 5 . . .11 . . . . 121 . . . . 200 . . . 198 6 . . .18 . . . . 324 . . . .524 . . . 522 7 . . .29 . . . . 841 . . . .1365 . . .1363 8 . . .47 . . . .2209 . . . .3574 . . .3572 9 . . .76 . . . .5776 . . . .9350 . . .9348 10. . .123 . . .15129 . . .24479 . . 24477 11. . .199 . . . . . . .
- Tim Poe . . . . . . . . . . . . . 10 pts - Phrased it as Ln(Ln+1 + (2/Ln)) which works
- Ed Wern . . . . . . . . . . . . . 8 pts - Your spreadsheet was good but shoulda had +2
- Marcello Cammarata . . 7 pts - Second fully correct answer; I like use of phi...
- Nick McGrath . . . . . . . . 6 pts - Caught the error of MathWorld; should we send bug?
- Mark Rickert. . . . . . . . . 5 pts - Also looked up incorrect formula, used it as hint ;-}
- Radu Ionescu. . . . . . . . . 4 pts - Left out the in between ones but had ends covered
- Kirk Bresniker . . . . . . . 4 pts - Pointed out that Ln = a^n + b^n as above, thanks!
- Akifumi . . . . . . . . . . . . . 4 pts - Thanks for the induction proof and staying up late!
- Denis Borris. . . . . . . . . . 3 pts - No deduct for 2nd entry; didn't catch orig question sorry
- Joe Alvord . . . . . . . . . . . 3 pts - Got 2nd entry 1st, thanx for gen result, good geom series
- Hermen Jacobs. . . . . . . . 3 pts - Nice approach with the triple geometric series Hermen
- Phil Sayre . . . . . . . . . . . . 3 pts - Cool idea taking logs of Ln and finding differences
- Claudio Baiocchi (new) . 3 pts - Welcome to my contest, thanks for generating function
- Jeremy Galvagni . . . . . . 3 pts - Nice table, verified Ln = phi^n + (1-phi)^n on TI-83
- Yakov Macak . . . . . . . . . 3 pts - I really like the clear geometric approach and picture
- Vince LoCascio . . . . . . . 2 pts - Correct general formula for the individual Ln's.
- problem #234 - posted saturday, nov 19, 2005
- Saturated Numbers? (back to top)
- Ok, bear with me on this . . . Every integer n > 1 has a prime factorization.
- If no primes are skipped; 2^a 3^b 5^c . . . the n is called saturated (sat).
- If also exponents in order; a >= b >= c . . . n is saturated ordered (s.o.).
- If n has more divisors than any smaller number, it's supercomposite (s.c.).
- a) For n <= 20, 40, 60, 80, 100, 120: how many composite, sat, s.o.,
- . . and s.c. nos are there? (ex: for n <= 10 there are 5, 4, 4, and 3 of each.)
- b) List all the n <= 200 that are sat but not s.o.
- c) List all the n <= 200 that are s.o. but not s.c.
- d) And finally, list all the n <= 200 that are s.c.
10 . . 5 . . . . 4 . . . . . 4 . . . . 3 20 . . 11 . . . 7 . . . . . 6 . . . . 4 40 . . 27 . . . . 11 . . . . .10 . . . 6 60. . .42 . . . . 14 . . . . .12 . . . 8 80. . .57 . . . . 16 . . . . .14 . . . . 8 100. . .74 . . . . 18 . . . . .15 . . . . 8 120 89 . . 11 .20. . . . . 16 . . . . 9 200. . 153 . . . . 26 . . . . 20 . . . 10
- b) Sat but not Ord: n with <exps> of prime fac. of n
- 18=<1,2>, 54=<1,2>, 90=<1,2,1>, 108=<2,3>, 150=<1,1,2>,162=<1,4>
- c) Sat Ord but not Supercomp:
- 8=<3>, 16=<4>, 30=<1,1,1>, 32=<5>, 64=<6>, 72=<3,2>, 96=<5,1>,
- 128=<7>, 144=<4,2>, 192=<6,1>
- c) Sat, Ord, and Supercomp (all s.c. are s.o.)
- 2=<1>, 4=<2>, 6=<1,1>, 12=<2,1>, 24=<3,1>, 36=<2,2>, 48=<4,1>,
- 60=<2,1,1>, 120=<3,1,1>, 180=<2,2,1>
- WINNERS - Problem 234 . . (back to top) . leader board
- Mark Rickert. . . . . . . . . 9 pts - Wonder how to use the gap-system.org for this
- Marcello Cammarata . . 8 pts - Lists made answer easy to read, good use of exps
- Nick McGrath . . . . . . . . 6 pts - Thanks for extra table and results up to 200 sauf 100
- Vince LoCascio . . . . . . . 5 pts - Good to pin down the rules before listing data
- Tim Poe . . . . . . . . . . . . . 4 pts - T\Yes the resub was worth a couple, minus one
- Jeremy Galvagni. . . . . . 4 pts - Yes 2 is super-comp and also prime, even even.
- Kirk Bresniker . . . . . . . 4 pts - Your full table and clear answer scored a bonus pt
- Denis Borris. . . . . . . . . . 3 pts - Bonus pt for list of n: s(n) and d(n) primes (all sqs)
- Zahi Teitelman . . . . . . . 3 pts - Gave an accurate (and uncaptioned) spreadsheet
- Jack Dostal. . . . . . . . . . . 2 pts - Wrote C++ prog ; it missed some and gave others
- Hermen Jacobs. . . . . . . . 2 pts - Some good table values but 2^k not s.c. for k>2
- WINNERS - Problem 235 . . (back to top) . leader board
- Marcello Cammarata . 10 pts - Yes, solve 2x^2 - 3y^2 = d^2 in integers, use conjug!
- Vince LoCascio . . . . . . . 6 pts - Great use of mod 3 and sqrts, need pf of inf of sols
- Mark Rickert. . . . . . . . . 5 pts - First ans submitted, nice recursion, lacking 1st part
- Nick McGrath . . . . . . . . 5 pts - Good 1st ans, great 2nd ans, see above curves link.
- Hermen Jacobs. . . . . . . . 4 pts - Good argt for 1st part, needed proof of inf, typo 119
- Phil Sayre . . . . . . . . . . . 4 pts - I like using the 'last digit' & u proved the recursion
- Denis Borris. . . . . . . . . . 1 pt - Good ans, using mod 3 to disprove, nice list of sol'ns!
- Akifumi. . . . . . . . . . . . . 4 pts - Taking a break from studying by doing contest problems!
- Denis Borris . . . . . . . . . 3 pts - Might have proved odd terms drop out, and maybe Kidd > Nash
- Kirk Bresniker . . . . . . . 3 pts - That's right; | b\/2 - nint | < |1 - \/2|^n ; also cont frac bn/an.
- Vince LoCascio. . . . . . . 2 pts - Right idea to get recursion ; I missed the integer part of 5\/2 etc
- Hermen Jacobs . . . . . . . 2 pts - Good idea bounding then taking log of powers; but 1+\/2 /</ 2
- Thad (new) . . . . . . . . . . . 1 pt - Welcome new podcast fan! See the above solution to problem.
- Claudio Baiocchi . . . . . 1 pt - I like the recursion leading to the continued fractions. Nice!;-}
![]()
- problem #238 - posted monday, jan 9, 2006
- Cube It Together! (back to top)
- a) (warmup) Start with a 2" by 6" rectangle. Say how to cut it up in the fewest number
- of pieces and rearrange into a 3" by 4" rect. b) Start with a block 8cm by 8cm by 27cm.
- Find the fewest number of pieces to cut it into to rearrange into a 12 by 12 by 12 cube.
- Explain precisely how to do it. (Dan's note: I actually did this, with cheese!)
- Partial answers (e.g. part a) accepted. Show your reasoning. Simple GIFs ok if necessary
- Solution: There were mostly two camps : a large "7 pieces" component, and a small "4 pieces" group.
- Yes, the first part was supposed to be a hint, but I overlooked the obvious two 2x3s solution; sorry!
- Please see the attached artwork page with art from Phil, Tim, and
- And Jeremy G, not content with three dimensions, asks:
- "Is there a 4-d rectangular hyper-prism that must be cut into 15 pieces to
fit in a hyper-cube? Probably. Maybe I'll try cutting a 16*16*16*81,
rearranging the pieces and rearranging them to fit in a 24x24x24x24."
- Solution: I give you Marcello's answer, this year's contest leader! My first impulse was to use
- the law of cosines, as some of you did, but for me it produced a nasty octic equation! - Dan
- "Refer the square to an orthogonal coordinate system ...Let s be the side of the square;
- then, the three given corners have coordinates (0,0), (s,0) and (0,s) respectively.
- Let a, b, c be the three corresponding distances, and (x,y) my coordinates; then
- x^2 + y^2 = a^2; (s-x)^2 + y^2 = b^2; (s-y)^2 + x^2 = c^2. Subtracting the first
- eqn from the other two, we find x = (s^2 + a^2 - b^2)/2s; y = (s^2 + a^2 - c^2)/2s,
and by substitution into the first one the biquadratic equation- 2s^4 - 2(b^2+c^2)s^2 + (a^2-b^2) + (a^2-c^2) = 0 is obtained. By substituting all the
- permut'ns of 3, 4, 5 for a, b, c, we find that only a=3 and a=4 give real roots (b and c are
- obv. interchangeable), and in both cases only the higher s^2 root gives positive x, y values.
- There are therefore only two distinct solutions, which are
- s = sqrt((41+sqrt(1071))/2) = 6.7015, x = (s^2 - 7)/2s = 2.4593, y = (s^2 - 16)/2s = 1.7181; and
- s = sqrt((34+sqrt(896))/2) = 5.6539, x = (s^2 + 7)/2s = 3.44460, y = (s^2 - 9)/2s = 2.0310; plus
- two mirror solutions with interchanged x, y. " -- (Sorry this wasn't as "very soon" as I'd hoped! -- Dan)
- Solution: The best (tied by many) was 21 total pi's (or pies?)
- Ed debated plural of pi; pies too deserty, pis too distasteful, how bout just pi, like deer?
- Firsts on lists from new entrant Doug; nexts from Denis, Nick, and others
- 1 = [sqrt(pi)].
2 = [pi - sqrt(sqrt(sqrt(sqrt(pi))))]. (Dan's note: illegal minus sign; replace with [sqrt(pi)] + [sqrt(pi)].)
3 = [pi].
4 = [pi + sqrt(pi)].
5 = [pi * sqrt(pi)].
6 = [pi + pi].
7 = [pi + pi + sqrt(sqrt(pi))].
8 = [pi + pi + sqrt(pi)]. (= [(pi + pi) + sqrt(sqrt(pi))] = [(pi + pi) * sqrt(sqrt(pi))].)
9 = [pi] * [pi]. (= [pi * pi] , fewer symbols)
10 = [pi] * [pi] + [sqrt(pi)].- Doug, who's going to start grad school next year, says, "I greatly enjoy mathematical problems and
- puzzles, and having looked through the archives, I can say that it appears that your site offers the sort
- of puzzles I particularly enjoy." - Thanks Doug, you have 240+ to browse; pace yourself! - Dan
|






