tag:blogger.com,1999:blog-4115025577315673827.post5930204490495991404..comments2020-01-23T12:35:45.593+05:30Comments on CSE Blog - quant, math, computer science puzzles: Box in Box problemPratik Poddarhttp://www.blogger.com/profile/11577606981573330954noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-4115025577315673827.post-35462132892665603212015-11-11T21:10:54.827+05:302015-11-11T21:10:54.827+05:30Thanks for the solution man :)
Thanks for the solution man :)<br />Adit Rustagihttps://www.blogger.com/profile/03276955457305059544noreply@blogger.comtag:blogger.com,1999:blog-4115025577315673827.post-41056756028217739302015-03-25T02:42:00.638+05:302015-03-25T02:42:00.638+05:30The box of higher dimension may be tilted also.
The box of higher dimension may be tilted also.<br />rishabh agarwalhttps://www.blogger.com/profile/16884839591345075319noreply@blogger.comtag:blogger.com,1999:blog-4115025577315673827.post-44093472777082534802015-02-23T04:45:03.928+05:302015-02-23T04:45:03.928+05:30(Inspired by GoKu's splendid solution.)
For a...(Inspired by GoKu's splendid solution.)<br /><br />For a box of dimensions x,y,z, let l be the linear dimension x+y+z, d the length of the long diagonal (so, d^2=x^2+y^2+z^2), and S the surface area 2(xy+yz+zx). Then,<br /><br />l^2 = (x+y+z)^2 = d^2 + S.<br /><br />Now, given box B_i contained in box B_o, we clearly have<br /><br />d_i^2 <= d_o^2,<br /><br />i.e.,<br /><br />l_i^2 - S_i <= l_o^2 -S_o.<br /><br />If we knew that<br /><br />S_i <= S_o,<br /><br />we could add the last two inequalities to obtain the desired conclusion. In other words, we have reduced the original problem to showing that one cannot pack a box with higher surface area into a box with lower surface area. The latter statement may be seen to hold for arbitrary compact convex bodies; here's a direct proof:<br /><br />Let F be a face of B_i, and let P be the plane containing F. We define F* to be the set of surface points of B_o that belong to the P-halfspace not containing B_i and whose projections onto P belong to F. It is easily seen that the projection of F* onto P is F, and hence the area of F is <= the area of F*. Furthermore, if G is another face of B_i, then G* is disjoint from F*. This concludes the proof.Νικόλαος Ρήγαςhttps://www.blogger.com/profile/07323845554415763898noreply@blogger.comtag:blogger.com,1999:blog-4115025577315673827.post-69850972796237742822015-01-29T15:34:25.286+05:302015-01-29T15:34:25.286+05:30Let us say we successfully packed a box with highe...Let us say we successfully packed a box with higher linear dimension into a box with lower linear dimension. Choose three perpendicular axes to be "length", "breadth" and "height" axes. So now, the length, breadth and height of each of the boxes is defined. Let l,b,h be the length, breadth and height of the inner box and L,B,H be the length, breadth and height of the outer box. Clearly, since the inner box went inside the outer box, it must be the case that l < L, b < B and h < H. But this implies that l+b+h < L+B+H, or in other words, the inner box had a lesser linear dimension than the outer box, which is a contradiction to our assumption.Mathewhttps://www.blogger.com/profile/12414167735806085812noreply@blogger.comtag:blogger.com,1999:blog-4115025577315673827.post-73144840849726070332015-01-24T11:16:27.042+05:302015-01-24T11:16:27.042+05:30Here is a proof: Let's define the r-extension ...Here is a proof: Let's define the r-extension of a box as the set of points in space that are at a distance of at most r from some point in the box. For a box of dimensions x,y,z, the volume of it's r-extension is given by 2r(xy+yz+zx) + pi*r^2*(x+y+z) + 4/3*pi*r^3. <br /><br />Further note that if box A (x,y,z) is inside box B (x', y', z'), the r-extension of box A is inside the r-extension of box B for any r and hence has a smaller volume. <br /><br />For large r, the dominant term in the volume that depends on the dimensions of the box is pi*r^2*(x+y+z). Hence it follows that x+y+z <= x'+y'+z'.GoKuhttps://www.blogger.com/profile/05674743004147477362noreply@blogger.com