home *** CD-ROM | disk | FTP | other *** search
/ Sunny 1,000 Collection / SUNNY1000.iso / Files / Dos / Boardak / INETPUZ.ZIP / ANALYSIS.TXT next >
Text File  |  1995-02-05  |  33KB  |  800 lines

  1. Archive-name: puzzles/archive/analysis
  2. Last-modified: 17 Aug 1993
  3. Version: 4
  4.  
  5.  
  6. ==> analysis/bicycle.p <==
  7. A boy, a girl and a dog go for a 10 mile walk.  The boy and girl can
  8. walk at 2 mph and the dog can trot at 4 mph.  They also have a bicycle
  9. which only one of them (including the dog!) can use at a time.  When
  10. riding, the boy and girl can travel at 12 mph while the dog can pedal
  11. at 16 mph.  What is the shortest time in which all three can complete
  12. the trip?
  13.  
  14. ==> analysis/bicycle.s <==
  15. First note that there's no apparent way to benefit from letting either the
  16. boy or girl ride the bike longer than the other.  Any solution which gets the
  17. boy there faster, must involve him using the bike (forward) more; similarly
  18. for the girl.  Thus the bike must go backwards more for it to remain within
  19. the 10-mile route.  Thus the dog won't make it there in time.  So the solution
  20. assumes they ride the bike for the same amount of time.
  21.  
  22. Also note that there's no apparent way to benefit from letting any of the
  23. three
  24. arrive at the finish ahead of the others.  If they do, they can probably take
  25. time out to help the others.  So the solution assumes they all finish at the
  26. same time.
  27.  
  28. The boy starts off on the bike, and travels 5.4 miles.  At this
  29. point, he drops the bike and completes the rest of the trip on foot.  The
  30. dog eventually reaches the bike, and takes it *backward* .8 miles (so the
  31. girl gets to it sooner) and then returns to trotting.  Finally, the girl makes
  32. it to the bike and rides it to the end.  The answer is 2.75 hours.
  33.  
  34. The puzzle is in Vasek Chvatal, Linear Programming, W. H. Freeman & Co.
  35. The generalized problem (n people, 1 bike, different walking and riding
  36. speeds)
  37. is known as "The Bicycle Problem".  A couple references are
  38.  
  39. Masuda, S. (1970). "The bicycle problem," University of California, Berkeley:
  40.   Operations Research Center Technical Report ORC 70-35.
  41.  
  42. Chvatal, V. (1983). "On the bicycle problem," Discrete Applied Mathematics 5:
  43.   pp. 165 - 173.
  44.  
  45. As for the linear program which gives the lower bound of 2.75 hours, let
  46. t[person, mode, direction] by the amount of time "person" (boy, girl or dog)
  47. is travelling by "mode" (walk or bike) in "direction" (forward or backwards).
  48. Define Time[person] to be the total time spent by person doing each of these
  49. four activities. The objective is to minimize the maximum of T[person], for
  50. person = boy, girl, dog, e.g.
  51.  
  52.     minimize T
  53.     subject to  T >= T[boy], T >= T[girl], T >= T[dog].
  54.  
  55. Now just think of all the other linear constraints on the variables t[x,y,z],
  56. such as everyone has to travel 10 miles, etc. In all, there are 8 contraints
  57. in 18 variables (including slack variables). Solving this program yields the
  58. lower bound.
  59.  
  60. ==> analysis/boy.girl.dog.p <==
  61. A boy, a girl and a dog are standing together on a long, straight road.
  62. Simulataneously, they all start walking in the same direction:
  63. The boy at 4 mph, the girl at 3 mph, and the dog trots back and forth
  64. between them at 10 mph.  Assume all reversals of direction instantaneous.
  65. In one hour, where is the dog and in which direction is he facing?
  66.  
  67. ==> analysis/boy.girl.dog.s <==
  68. The dog's position and direction are indeterminate, other than that the
  69. dog must be between the boy and girl (endpoints included).  To see this,
  70. simply time reverse the problem.  No matter where the dog starts out,
  71. the three of them wind up together in one hour.
  72.  
  73. This argument is not quite adequate.  It is possible to construct problems
  74. where the orientation changes an infinite number of times initially, but for
  75. which there can be a definite result.  This would be the case if the positions
  76. at time t are uniformly continuous in the positions at time s, s small.
  77.  
  78. But suppose that at time a the dog is with the girl.  Then the boy is at
  79. 4a, and the time it takes the dog to reach the boy is a/6, because
  80. the relative speed is 6 mph.  So the time b at which the dog reaches the
  81. boy is proportional to a.  A similar argument shows that the time the
  82. dog next reaches the girl is b + b/13, and is hence proportional to b.
  83. This makes the position of the dog at time (t > a) a periodic function of
  84. the logarithm of a, and thus does not approach a limit as a -> 0.
  85.  
  86. ==> analysis/bugs.p <==
  87. Four bugs are placed at the corners of a square.  Each bug walks always
  88. directly toward the next bug in the clockwise direction.  How far do
  89. the bugs walk before they meet?
  90.  
  91. ==> analysis/bugs.s <==
  92. Since the bugs start out walking perpendicularly, and there is nothing
  93. in the problem to alter this symmetry, the bugs are always walking
  94. perpendicularly.  Since each bug is walking perpendicularly to the line
  95. separating it from the bug chasing it, the gap is closing at the speed
  96. of the chasing bug.  Therefore, each bug walks a distance equal to the
  97. side of the square before it meets the next bug.
  98.  
  99. In order to conveniently express the equation of the bugs' motion,
  100. use standard polar coordinates, and let the first bug's position at
  101. any instant be (r(t), theta(t)).  Assume the initial square is
  102. centered at the origin.
  103.  
  104. Then by symmetry the bugs are always at four corners of some square
  105. centered at the origin, and if they meet they meet at the origin.
  106. Also, each bug is always walking in a direction pi/4 (45 degrees) away
  107. from the radial line to the origin.  This means that in the limit as
  108. the time step goes to zero, the bug travels sec(pi/4) = sqrt(2) units
  109. along its path for every unit of progress made good toward the center.
  110. Since the corners are initially d/sqrt(2) distance from the center,
  111. each bug travels distance d before they meet, assuming they meet at
  112. all.
  113.  
  114. Since a bug's path always crosses radial lines at angle psi = pi/4,
  115. the path is a logarithmic spiral with angle psi = pi/4 and equation
  116.  
  117.   r(t) = e^(a*theta(t) + b)
  118.  
  119. Moreover since the bugs walk clockwise, both r(t) and theta(t)
  120. decrease as t increases, in other words r increases as theta
  121. increases, hence a is positive.  Also, psi = pi/4 gives us
  122.  
  123.   d(r)/d(theta) = r
  124.  
  125. (this is easiest to see by drawing the path for a small time step
  126. delta-t and taking the limit as delta-t goes to 0).  The solution is
  127.  
  128.   r(t) = e^(theta(t) + b)
  129.  
  130. (that is, a = 1).  As we know, this spiral makes infinitely many
  131. "wraps" around the origin as the radius approaches zero, but it does
  132. have finite length from any point inward and its limit point is the
  133. origin, where the bugs will meet (unless one wants to quibble about
  134. the behavior at the exact limit point).
  135.  
  136. How much closer is the bug to the origin after its first complete cycle
  137. around the origin?  Recall that r(0) = d/sqrt(2).  As the bug walks
  138. clockwise around the origin, after one full circuit its angle decreases
  139. from theta(0) to theta(t1), where t1 (the time at which full circuit
  140. occurs) is defined by
  141.  
  142.   theta(t1) = theta(0) - 2*pi
  143.  
  144. Hence
  145.  
  146.   r(0) = e^(theta(0) + b)
  147.   r(t1) = e^(theta(0) - 2*pi + b)
  148.  
  149.   r(t1)/r(0) = e^(-2*pi)
  150.  
  151. The quantity we want is
  152.  
  153.   r(0) - r(t1) = r(0)*(1 - e^(-2*pi))
  154.                = d * (1 - e^(-2*pi))/sqrt(2)
  155.  
  156. ==> analysis/c.infinity.p <==
  157. What function is zero at zero, strictly positive elsewhere, infinitely
  158. differentiable at zero and has all zero derivatives at zero?
  159.  
  160. ==> analysis/c.infinity.s <==
  161. exp(-1/x^2)
  162.  
  163. There are infinitely many other such functions.
  164.  
  165. This tells us why Taylor Series are a more limited device than they might be.
  166. We form a Taylor series by looking at the derivatives of a function at a given
  167. point; but this example shows us that the derivatives at a point may tell us
  168. almost nothing about its behavior away from that point.
  169.  
  170. ==> analysis/cache.p <==
  171. Cache and Ferry (How far can a truck go in a desert?)
  172. A pick-up truck is in the desert beside N 50-gallon gas drums, all full.
  173. The truck's gas tank holds 10 gallons and is empty.  The truck can carry
  174. one drum, whether full or empty, in its bed.  It gets 10 miles to the gallon.
  175. How far away from the starting point can you drive the truck?
  176.  
  177. ==> analysis/cache.s <==
  178. If the truck can siphon gas out of its tank and leave it in the cache,
  179. the answer is:
  180.         { 1/1 + 1/3 + ... + 1/(2 * N - 1) } x 500 miles.
  181.  
  182. A much harder problem occurs when the truck can siphon gas, but if it does,
  183. it must siphon the gas into one of the initial barrels.
  184.  
  185. Now, remarkably, for initial gas values of 50, 100, 150, 200, 250, 300,
  186. and 350 gallons, the two problems give identical optimal distances, viz.
  187.    gal   dist
  188.    ---   ----
  189.     50   500
  190.    100   733.3333
  191.    150   860
  192.    200   948.5714
  193.    250  1016.8254
  194.    300  1072.3810
  195.    350  1117.8355
  196.  
  197. However, for the 8 barrel case (400 gallons), the unlimited cache optimal
  198. distance is 1157.6957, but limited cache is only 1157.2294.
  199.  
  200. What happened is that the unlimited cache optimal solution has started to
  201. siphon out more than 50 gallons (60-80/13 to be exact) of gas on trips
  202. to the first depot.  With a limited cache, the truck can only leave a
  203. maximum of 50 gallons (one barrel worth), and does not have a big
  204. enough gas tank (only ten gallons) to carry around the excess.
  205.  
  206. The limited cache problem is the same as the "Desert Fox" problem
  207. described, but not solved, by Dewdney, July '87 "Scientific American".
  208.  
  209. Dewdney's Oct. '87 Sci. Am. article gives for N=2, the optimal distance
  210. of 733.33 miles.
  211.  
  212. In the Nov. issue, Dewdney lists the optimal distance of 860 miles for
  213. N=3, and gives a better, but not optimal, general distance formula.
  214.  
  215. Westbrook, in Vol 74, #467, pp 49-50, March '90 "Mathematical Gazette",
  216. gives an even better formula, for which he incorrectly claims optimality:
  217.  
  218.   For N = 2,3,4,5,6:
  219.      Dist = (600/1 + 600/3 + ... + 600/(2N-3))  +  (600-100N)/(2N-1)
  220.   For N > 6:
  221.      Dist = (600/1 + 600/3 + ... + 600/9)  +  (500/11 + ... + 500/(2N-3))
  222.  
  223. The following shows that Westbrook's formula is not optimal for N=8:
  224.  
  225.    Ferry  7 drums forward   33.3333 miles   (356.6667 gallons remain)
  226.    Ferry  6 drums forward   51.5151 miles   (300.0000 gallons remain)
  227.    Ferry  5 drums forward   66.6667 miles   (240.0000 gallons remain)
  228.    Ferry  4 drums forward   85.7143 miles   (180.0000 gallons remain)
  229.    Ferry  3 drums forward  120.0000 miles   (120.0000 gallons remain)
  230.    Ferry  2 drums forward  200.0000 miles   ( 60.0000 gallons remain)
  231.    Ferry  1 drums forward  600.0000 miles
  232.                           ---------------
  233.          Total distance = 1157.2294 miles
  234.    (Westbrook's formula = 1156.2970 miles)
  235.  
  236.        ["Ferrying n drums forward x miles" involves (2*n-1) trips,
  237.          each of distance x.]
  238.  
  239. Other attainable values I've found:
  240.    N      Distance
  241.   ---    ---------  (Ferry distances for each N are omitted for brevity.)
  242.     5    1016.8254
  243.     7    1117.8355
  244.    11    1249.2749
  245.    13    1296.8939
  246.    17    1372.8577
  247.    19    1404.1136  (The N <= 19 distances could be optimal.)
  248.    31    1541.1550  (I doubt that this N = 31 distance is optimal.)
  249.   139    1955.5702  (Attainable and probably optimal.)
  250.  
  251. So...where's MY formula?
  252. I haven't found one, and believe me, I've looked.
  253.  
  254. I would be most grateful if someone would end my misery by mailing me
  255. a formula, a literature reference, or even an efficient algorithm that
  256. computes the optimal distance.
  257.  
  258. If you do come up with the solution, you might want to first check it
  259. against the attainable distances listed above, before sending it out.
  260. (Not because you might be wrong, but just as a mere formality to check
  261.  your work.)
  262.  
  263. [Warning:  the Mathematician General has determined that
  264.            this problem is as addicting as Twinkies.]
  265.  
  266. Myron P. Souris
  267. EDS/Unigraphics
  268. souris@ug.eds.com
  269.  
  270. @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
  271.  
  272. The following output comes from some hack programs that I've used to
  273. empirically verify some proofs I've been working on.
  274.  
  275. Initial barrels:   12 (600 gallons)
  276. Attainable distance= 1274.175211
  277.                   Barrels  Distance      Gas
  278.                    Moved    covered     left
  279. >From depot   1:      10     63.1579   480.0000
  280. >From depot   2:       8     50.0000   405.0000
  281. >From depot   3:       7     37.5000   356.2500
  282. >From depot   4:       6     51.1364   300.0000
  283. >From depot   5:       5     66.6667   240.0000
  284. >From depot   6:       4     85.7143   180.0000
  285. >From depot   7:       3    120.0000   120.0000
  286. >From depot   8:       2    200.0000    60.0000
  287. >From depot   9:       1    600.0000     0.0000
  288.  
  289.  
  290. Initial barrels:   40 (2000 gallons)
  291. Attainable distance= 1611.591484
  292.                   Barrels  Distance      Gas
  293.                    Moved    covered     left
  294. >From depot   1:      40      2.5316  1980.0000
  295. >From depot   2:      33     50.0000  1655.0000
  296. >From depot   3:      28     50.0000  1380.0000
  297. >From depot   4:      23     53.3333  1140.0000
  298. >From depot   5:      19     50.0000   955.0000
  299. >From depot   6:      16     56.4516   780.0000
  300. >From depot   7:      13     50.0000   655.0000
  301. >From depot   8:      11     54.7619   540.0000
  302. >From depot   9:       9     50.0000   455.0000
  303. >From depot  10:       8     32.1429   406.7857
  304. >From depot  11:       7     38.9881   356.1012
  305. >From depot  12:       6     51.0011   300.0000
  306. >From depot  13:       5     66.6667   240.0000
  307. >From depot  14:       4     85.7143   180.0000
  308. >From depot  15:       3    120.0000   120.0000
  309. >From depot  16:       2    200.0000    60.0000
  310. >From depot  17:       1    600.0000     0.0000
  311.  
  312. ==> analysis/calculate.pi.p <==
  313. How can I calculate many digits of pi?
  314.  
  315. ==> analysis/calculate.pi.s <==
  316. long a=10000,
  317.     b,
  318.     c=2800,
  319.     d,e,
  320.     f[2801],
  321.     g;
  322.  
  323. main()
  324.    {
  325.     for (;b-c;) f[b++]=a/5;
  326.  
  327.     for (;
  328.         d=0,g=c*2;
  329.         c-=14, printf("%.4d",e+d/a), e=d%a)
  330.  
  331.     for (b=c;
  332.          d+=f[b]*a,f[b]=d%--g,d/=g--,--b;
  333.          d*=b);
  334.    }
  335.  
  336. ==> analysis/cats.and.rats.p <==
  337. If 6 cats can kill 6 rats in 6 minutes, how many cats does it take to
  338. kill one rat in one minute?
  339.  
  340. ==> analysis/cats.and.rats.s <==
  341. The following piece by Lewis Carroll first appeared in ``The Monthly
  342. Packet'' of February 1880 and is reprinted in _The_Magic_of_Lewis_Carroll_,
  343. edited by John Fisher, Bramhall House, 1973.
  344.  
  345. /Larry Denenberg
  346. larry@bbn.com
  347. larry@harvard.edu
  348.  
  349.  
  350.  
  351.  
  352.  
  353.                                  Cats and Rats
  354.  
  355.    If 6 cats kill 6 rats in 6 minutes, how many will be needed to kill 100
  356.    rats in 50 minutes?
  357.  
  358.    This is a good example of a phenomenon that often occurs in working
  359.    problems in double proportion; the answer looks all right at first, but,
  360.    when we come to test it, we find that, owing to peculiar circumstances in
  361.    the case, the solution is either impossible or else indefinite, and needing
  362.    further data.  The 'peculiar circumstance' here is that fractional cats or
  363.    rats are excluded from consideration, and in consequence of this the
  364.    solution is, as we shall see, indefinite.
  365.  
  366.    The solution, by the ordinary rules of Double Proportion, is as follows:
  367.            6 rats   :  100 rats  \
  368.                                   >   :: 6 cats : ans.
  369.           50 min.   :    6 min.  /
  370.          .
  371.         . .  ans. = (100)(6)(6)/(50)(6) = 12
  372.  
  373.    But when we come to trace the history of this sanguinary scene through all
  374.    its horrid details, we find that at the end of 48 minutes 96 rats are dead,
  375.    and that there remain 4 live rats and 2 minutes to kill them in: the
  376.    question is, can this be done?
  377.  
  378.    Now there are at least *four* different ways in which the original feat,
  379.    of 6 cats killing 6 rats in 6 minutes, may be achieved.  For the sake of
  380.    clearness let us tabulate them:
  381.  
  382.       A.  All 6 cats are needed to kill a rat; and this they do in one minute,
  383.           the other rats standing meekly by, waiting for their turn.
  384.       B.  3 cats are needed to kill a rat, and they do it in 2 minutes.
  385.       C.  2 cats are needed, and do it in 3 minutes.
  386.       D.  Each cat kills a rat all by itself, and take 6 minutes to do it.
  387.  
  388.    In cases A and B it is clear that the 12 cats (who are assumed to come
  389.    quite fresh from their 48 minutes of slaughter) can finish the affair in
  390.    the required time; but, in case C, it can only be done by supposing that 2
  391.    cats could kill two-thirds of a rat in 2 minutes; and in case D, by
  392.    supposing that a cat could kill one-third of a rat in two minutes.  Neither
  393.    supposition is warranted by the data; nor could the fractional rats (even
  394.    if endowed with equal vitality) be fairly assigned to the different cats.
  395.    For my part, if I were a cat in case D, and did not find my claws in good
  396.    working order, I should certainly prefer to have my one-third-rat cut off
  397.    from the tail end.
  398.  
  399.    In cases C and D, then, it is clear that we must provide extra cat-power.
  400.    In case C *less* than 2 extra cats would be of no use.  If 2 were supplied,
  401.    and if they began killing their 4 rats at the beginning of the time, they
  402.    would finish them in 12 minutes, and have 36 minutes to spare, during which
  403.    they might weep, like Alexander, because there were not 12 more rats to
  404.    kill.  In case D, one extra cat would suffice; it would kill its 4 rats in
  405.    24 minutes, and have 24 minutes to spare, during which it could have killed
  406.    another 4.  But in neither case could any use be made of the last 2
  407.    minutes, except to half-kill rats---a barbarity we need not take into
  408.    consideration.
  409.  
  410.    To sum up our results.  If the 6 cats kill the 6 rats by method A or B,
  411.    the answer is 12; if by method C, 14; if by method D, 13.
  412.  
  413.    This, then, is an instance of a solution made `indefinite' by the
  414.    circumstances of the case.  If an instance of the `impossible' be desired,
  415.    take the following: `If a cat can kill a rat in a minute, how many would be
  416.    needed to kill it in the thousandth part of a second?'  The *mathematical*
  417.    answer, of course, is `60,000,' and no doubt less than this would *not*
  418.    suffice; but would 60,000 suffice?  I doubt it very much.  I fancy that at
  419.    least 50,000 of the cats would never even see the rat, or have any idea of
  420.    what was going on.
  421.  
  422.    Or take this: `If a cat can kill a rat in a minute, how long would it be
  423.    killing 60,000 rats?'  Ah, how long, indeed!  My private opinion is that
  424.    the rats would kill the cat.
  425.  
  426.  
  427.  
  428. ==> analysis/dog.p <==
  429. A body of soldiers form a 50m-by-50m square ABCD on the parade ground.
  430. In a unit of time, they march forward 50m in formation to take up the
  431. position DCEF. The army's mascot, a small dog, is standing next to its
  432.                                        handler at location A. When the
  433.           B----C----E                  soldiers start marching, the dog
  434.           |    |    |   forward-->     begins to run around the moving
  435.           A----D----F                  body in a clockwise direction,
  436.                                        keeping as close to it as possible.
  437. When one unit of time has elapsed, the dog has made one complete
  438. circuit and has got back to its handler, who is now at location D. (We
  439. can assume the dog runs at a constant speed and does not delay when
  440. turning the corners.)
  441.  
  442. How far does the dog travel?
  443.  
  444. ==> analysis/dog.s <==
  445. Let L be the side of the square, 50m, and let D be the distance the
  446. dog travels.
  447.  
  448. Let v1 be the soldiers' marching speed and v2 be the speed of the dog.
  449. Then v1 = L / (1 time unit) and v2 = v1*D/L.
  450.  
  451. Let t1, t2, t3, t4 be the time the dog takes to traverse each side of
  452. the square, in order.  Find t1 through t4 in terms of L and D and solve
  453. t1+t2+t3+t4 = 1 time unit.
  454.  
  455. While the dog runs along the back edge of the square in time t1, the
  456. soldiers advance a distance d=t1*v1, so the dog has to cover a distance
  457. sqrt(L^2 + (t1*v1)^2), which takes a time t1=sqrt(L^2 + (t1*v1)^2)/v2.
  458. Solving for t1 gives t1=L/sqrt(v2^2 - v1^2).
  459.  
  460. The rest of the times are t2 = L/(v2-v1), t3 = t1, and t4 = L/(v2+v1).
  461.  
  462. In t1+t2+t3+t4, eliminate v2 by using v2=v1*D/L and eliminate v1 by
  463. using v1=L/(1 time unit), obtaining
  464.  
  465.             2 L (D + sqrt(D^2-L^2)) / (D^2 - L^2) = 1
  466.  
  467. which can be turned into
  468.  
  469.             D^4 - 4LD^3 - 2L^2D^2 + 4L^3D + 5L^4 = 0
  470.  
  471. which has a root D = 4.18113L = 209.056m.
  472.  
  473. ==> analysis/e.and.pi.p <==
  474. Without finding their numerical values, which is greater, e^(pi) or (pi)^e?
  475.  
  476. ==> analysis/e.and.pi.s <==
  477. e^(pi).  Put x = pi/e - 1 in the inequality e^x > 1+x  (x>0).
  478.  
  479. ==> analysis/functional/distributed.p <==
  480.      Find all f: R -> R, f not identically zero, such that
  481. (*)     f( (x+y)/(x-y) ) = ( f(x)+f(y) )/( f(x)-f(y) ).
  482.  
  483. ==> analysis/functional/distributed.s <==
  484. 1)  Assuming f finite everywhere, (*) ==> x<>y ==> f(x)<>f(y)
  485.  
  486. 2)  Exchanging x and y in (*) we see that f(-x) = -f(x).
  487.  
  488. 3)  a <> 0 ==> f((a-a)/(a+a)) = (f(a)-f(a))/(f(a)+f(a)) ==> f(0) = 0.
  489.  
  490. 4)  a <> 0 ==> f((a+0)/(a-0)) = f(a)/f(a) ==> f(1) = 1.
  491.  
  492. 5)  x<>y, y<>0 ==> f(x/y) =
  493. f( ((x+y)/(x-y) + (x-y)/(x-y)) / ((x+y)/(x-y) - (x-y)/(x-y)) = f(x)/f(y)
  494. ==> f(xy) = f(x)f(y) by replacing x with xy and by noting that
  495. f(x*1) = f(x)*1 and f(x*0) = f(x)*f(0).
  496.  
  497. 6)  f(x*x) = f(x)*f(x) ==> f(x) > 0 if x>0.
  498.  
  499. 7)  Let a=1+\/2, b=1-\/2; a,b satisfy (x+1)/(x-1) = x ==>
  500. f(x) = (f(x)+1)/(f(x)-1) ==> f(a)=a, f(b)=b.  f(1/\/2) = f((a+b)/(a-b))
  501. = (a+b)/(a-b) = 1/\/2 ==> f(2) = 2.
  502.  
  503. 8)  By induction and the relation f((n+1)/(n-1)) = (f(n)+1)/(f(n)-1)
  504. we get that f(n)=n for all integer n.  #5 now implies that f fixes
  505. the rationals.
  506.  
  507. 9)  If x>y>0 (*) ==> f(x) - f(y) = f(x+y)/f((x+y)/(x-y)) > 0 by #6.
  508. Thus f is order-preserving.
  509.  
  510. Since f fixes the rationals *and* f is order-preserving, f must be the
  511. identity function.
  512.  
  513. This was E2176 in _The American Mathematical Monthly_ (the proposer was
  514. R. S. Luthar).
  515.  
  516. ==> analysis/functional/linear.p <==
  517. Suppose f is non-decreasing with
  518.   f(x+y) = f(x) + f(y) + C   for all real x, y.
  519. Prove: there is a constant A such that f(x) = Ax - C  for all x.
  520. (Note: continuity of f is not assumed in advance.)
  521.  
  522. ==> analysis/functional/linear.s <==
  523. By induction f(mx) = m(f(x)+C)-C.  Let x=1/n, m=n and find that
  524. f(1/n) = (1/n)(f(1)+C)-C.  Now let x=1/n and find that f(m/n) =
  525. (m/n)(f(1)+C)-C.  f(-x+x) = f(-x) + f(x) + C ==> f(-x) = -2C - f(x)
  526. (since f(0) = -C) ==> f(-m/n) = -(m/n)(f(1)+C)-C.  Since f is
  527. monotonic ==> f(x) = x*(f(1)+C)-C for all real x (Squeeze Theorem).
  528.  
  529. ==> analysis/integral.p <==
  530. If f is integrable on (0,inf) and differentiable at 0, and a > 0, and:
  531.  
  532.       inf           f(x)
  533.    Int        ----------------  dx is defined
  534.        0             x
  535.  
  536. show:
  537.  
  538.       inf     ( f(x) - f(ax) )
  539.    Int        ----------------  dx   = f(0) ln(a)
  540.        0             x
  541.  
  542. ==> analysis/integral.s <==
  543. First, note that if f(0) is 0, then by substituting u=ax in
  544. the integral of f(x)/x, our integral is the difference of two
  545. equal integrals and so is 0 (the integrals are finite because f is
  546. 0 at 0 and differentiable there.  Note I make no requirement of
  547. continuity).
  548.  
  549. Second, note that if f is the characteristic function of the
  550. interval [0, 1]--- i.e.
  551.  
  552.                 1, 0<=x<=1
  553.         f (x) =
  554.                 0 otherwise
  555.  
  556. then a little arithmetic reduces our integral to that of
  557. 1/x from 1/a to 1 (assuming a>1; if a <= 1 the reasoning is similar),
  558. which is ln(a) = f(0)ln(a) as required.  Call this function g.
  559.  
  560. Finally, note that the operator which takes the function f to the
  561. value of our integral is linear, and that every function meeting the
  562. hypotheses (incidentally, I should have said `differentiable from the right',
  563. or else replaced the characteristic function of [0,1] above by that of
  564. (-infinity, 1]; but it really doesn't matter) is a linear combination of
  565. one which is 0 at 0 and g, to wit
  566.  
  567.         f(x) = f(0)g(x) + (f(x) - g(x)f(0)).
  568.  
  569. ==> analysis/irrational.stamp.p <==
  570. You have an ink stamp which is so amazingly precise that, when inked
  571. and pressed down on the plane, it makes every circle of irrational
  572. radius (centered at the center of the stamp) black.
  573.  
  574. Question:  Can one use the stamp three times and make every point
  575. in the plane black?  [assume plane was white to begin with, and
  576. ignore the fact that no such stamp is physically possible]
  577.  
  578. ==> analysis/irrational.stamp.s <==
  579. Yes.  Center the stamp at (0,0), (1,0), and (0,pi).
  580.  
  581. Suppose there is a point (x,y) which is not covered.
  582. Then there are rational numbers a,b,c satisfying the following equations:
  583.  
  584.   (1)   x^2   +   y^2     =  a
  585.   (2) (x-1)^2 +   y^2     =  b
  586.   (3)   x^2   + (y-pi)^2  =  c
  587.  
  588. Subtract (2) from (1) and solve for x.  Thus x is rational.
  589. From equation (2), y is algebraic.  But equation (3) implies
  590. that y is transcendental, contradiction.
  591.  
  592. ==> analysis/minimum.time.p <==
  593. N people can walk or drive in a two-seater to go from city A to city B.  What
  594. is the minimum time required to do so?
  595.  
  596. ==> analysis/minimum.time.s <==
  597. Let the speed of the car be v, the speed of a walking person be u, and
  598. the distance between cities by L.  We want to minimize T, the time t
  599. at which all persons are at displacement x=L (city B), when they all
  600. start at displacement x=0 (city A) at time t=0.
  601.  
  602. I'll assume that the solution has everyone starting out from city A at
  603. the same time t=0 arriving in city B at the same time t=T so nobody is
  604. standing around idly waiting.  Let's plot everyone's movements on a
  605. graph showing coordinates (t,x).  Then at time t just after 0, (N-2)
  606. walkers are on the line L0 through (0,0) with slope dx/dt = u, and 2
  607. in the car are on a line through (0,0) with slope v, and at t just
  608. before T, (N-2) walkers are on the line L1 through (T,L) with slope u,
  609. and 2 in the car are on a line through (T,L) with slope v.  Obviously
  610. L1 lies "above" L0 (greater x coordinate given the same t coordinate).
  611. In between t=0 and t=T, the car zigzags between L0 and L1 along lines
  612. of slope v and -v, picking up people from L0 and dropping them off at
  613. L1.  I will not prove that this is the optimal strategy; in fact you
  614. can make an infinite number of variations on it which all come up with
  615. the same elapsed time.
  616.  
  617. Now examine the graph again.  Say the car travels distance r between
  618. picking someone up and dropping that person off, and distance s back
  619. to pick up the next person.  The car makes (N-1) trips forward and
  620. (N-2) trips back to pick up and ferry everyone, so its total travel is
  621.  
  622.         vT = (N - 1)r + (N - 2)s = (N - 2)(r + s) + r
  623.  
  624. Moreover the car makes (r-s) net displacement on each round trip, plus
  625. r displacement on the extra forward trip, so
  626.  
  627.         L = (N - 2)(r - s) + r
  628.  
  629. Note that a person walks distance (r-s) in the time it takes the car to
  630. go (r+s), so
  631.  
  632.         r - s = (u/v)(r + s)
  633.  
  634. A little algebraic manipulation of this equation shows us that
  635.  
  636.         r - s = r * 2u/(v + u)
  637.         r + s = r * 2v/(v + u)
  638.  
  639. Plug this into the equation for L, and we get the first important
  640. piece of information, how far the car should drive before dropping off
  641. the passenger (once you know this, you tell it to the driver and this
  642. guarantees the people get to B in minimum time):
  643.  
  644.         L = r + (N - 2) r * 2u/(v + u)
  645.           = r * (v + u + (N - 2)*2u)/(v + u)
  646.  
  647.                v + u
  648.         r = ------------ L
  649.             2uN + v - 3u
  650.  
  651. We can also find out what the elapsed time T will be:
  652.  
  653.  
  654.         vT = (N - 2)r*2v/(v + u) + r
  655.            = r * ((N - 2)*2v + v + u)/(v + u)
  656.  
  657.             1   2vN - 3v + u
  658.         T = - * ------------ r
  659.             v      v + u
  660.  
  661. Therefore
  662.  
  663.             2vN - (3v - u)
  664.         T = -------------- (L/v)
  665.              2uN + v - 3u
  666.  
  667.  
  668. -- David Karr (karr@cs.cornell.edu)
  669.  
  670.  
  671. ==> analysis/particle.p <==
  672. What is the longest time that a particle can take in travelling between two
  673. points if it never increases its acceleration along the way and reaches the
  674. second point with speed V?
  675.  
  676. ==> analysis/particle.s <==
  677. Assumptions:
  678.  
  679. 1. x(0) = 0; x(T) = X
  680.  
  681. 2. v(0) = 0; v(T) = V
  682.  
  683. 3. d(a)/dt <= 0
  684.  
  685. Solution:
  686.  
  687. a(t) = constant = A = V^2/2X which implies T = 2X/V.
  688.  
  689. Proof:
  690.  
  691. Consider assumptions as they apply to f(t) = A * t - v(t):
  692.  
  693. 1. integral from 0 to T of f = 0
  694.  
  695. 2. f(0) = f(T) = 0
  696.  
  697. 3. d^2(f)/dt^2 <= 0
  698.  
  699. From the mean value theorem, f(t) = 0.  QED.
  700.  
  701. ==> analysis/period.p <==
  702. What is the least possible integral period of the sum of functions
  703. of periods 3 and 6?
  704.  
  705. ==> analysis/period.s <==
  706. Period 2.  Clearly, the sum of periodic functions of periods 2 and
  707. three is 6.  So take the function which is the sum of that function of
  708. period six and the negative of the function of period three and you
  709. have a function of period 2.
  710.  
  711. This proves that a period-2 solution exists, but not that it is minimal.
  712. Since we're talking about integers, the only lower possibility is 1.
  713. But the sum or difference of a period-1 and a period-3 function must have
  714. period 3, not 6, therefore 1 is indeed impossible.
  715.  
  716. ==> analysis/rubberband.p <==
  717. A bug walks down a rubber band which is attached to a wall at one end and a
  718. car
  719. moving away from the wall at the other end. The car is moving at 1 m/sec while
  720. the bug is only moving at 1 cm/sec. Assuming the rubber band is uniformly and
  721. infinitely elastic, will the bug ever reach the car?
  722.  
  723. ==> analysis/rubberband.s <==
  724. Let w = speed of bug and N = ratio of car speed/bug speed = 100.  Paint N+1
  725. equally spaced stripes on the rubberband.  When the bug is standing on one
  726. stripe, the next stripe is moving away from him at a speed slightly < w
  727. (relative to him).  Since he is walking at w, clearly the bug can reach
  728. the next stripe.  But once he reaches that stripe, the next one is only
  729. receeding at < w.  So he walks on down to the car, one stripe at a time.
  730.  
  731. The bug starts gaining on the car when he is at the next to last stripe.
  732.  
  733. ==> analysis/sequence.p <==
  734. Show that in the sequence: x, 2x, 3x, .... (n-1)x (x can be any real number)
  735. there is at least one number which is within 1/n of an integer.
  736.  
  737. ==> analysis/sequence.s <==
  738. Throw 0 into the sequence; there are now n numbers, so some pair must
  739. have fractional parts within 1/n of each other; their difference is
  740. then within 1/n of an integer.
  741.  
  742. ==> analysis/snow.p <==
  743. Snow starts falling before noon on a cold December day.  At noon a
  744. snow plow starts plowing a street.  It travels 1 mile in the first hour,
  745. and 1/2 mile in the second hour.  What time did the snow start
  746. falling??
  747.  
  748. You may assume that the plow's rate of travel is inversely proportional
  749. to the height of the snow, and that the snow falls at a uniform rate.
  750.  
  751. ==> analysis/snow.s <==
  752. 11:22:55.077 am.
  753.  
  754. Method:
  755.  
  756. Let b = the depth of the snow at noon, a = the rate of increase in the
  757. depth.  Then the depth at time t (where noon is t=0) is at+b, the
  758. snowfall started at t_0=-b/a, and the snowplow's rate of progress is
  759. ds/dt = k/(at+b).
  760.  
  761. If the snowplow starts at s=0 then s(t) = (k/a) log(1+at/b).  Note that
  762. s(2 hours) = 1.5 s(1 hour), or  log(1+2A/b) = 1.5 log(1+A/b), where
  763. A = (1 hour)*a.  Letting x = A/b we have (1+2x)^2 = (1+x)^3.  Solve for
  764. x and t_0 = -(1 hour)/x.
  765.  
  766. The exact answer is 11:(90-30 Sqrt[5]).
  767.  
  768. _American Mathematics Monthly_, April 1937, page 245
  769. E 275.  Proposed by J. A. Benner, Lafayette College, Easton. Pa.
  770.  
  771. The solution appears, appropriately, in the December 1937 issue,
  772. pp. 666-667.  Also solved by William Douglas, C. E. Springer,
  773. E. P. Starke, W. J.  Taylor, and the proposer.
  774.  
  775. See R.P. Agnew, "Differential Equations," 2nd edition, p. 39 ff.
  776.  
  777. ==> analysis/tower.p <==
  778. R = N ^ (N ^ (N ^ ...)).  What is the maximum N>0 that will yield a finite R?
  779.  
  780. ==> analysis/tower.s <==
  781. ANSWER: e^(1/e)
  782. Let N be the number in question and R the result of the process. Then
  783. R can be defined recursively by the equation:
  784.         (1) R = N^R
  785. Taking the logarithm of both sides of (1):
  786.         (2) ln(R) = R * ln(N)
  787. Dividing (2) by R and rearranging:
  788.         (3) ln(N) = ln(R) / R
  789. Exponentiating (3):
  790.         (4) N = R^(1/R)
  791. We wish to find the maximum value of N with respect to R. Find the
  792. derivative of N with respect to R and set it equal to zero:
  793.         (5) d(N)/d(R) = (1 - ln(R)) / R^2 = 0
  794. For finite values of R, (5) is satisfied by R = e. This is a maximum of
  795. N if the second derivative of N at R = e is less than zero.
  796.         (6) d2(N)/d2(R) | R=e = (2 * ln(R) - 3) / R^3 | R=e = -1 / e^3 < 0
  797. The solution therefore is (4) at R = e:
  798.         (7) Nmax = e^(1/e)
  799.  
  800.