Part 9

Geometric Problems

[34/94%]
Show
LaTeX
Problem 9.1

If we throw a heavy convex polyhedron with arbitrary interior mass distribution onto a horizontal floor then it will come to rest in a stable position on one of its faces. That is there exists for an arbitrary point PP lying in the interior of the convex polyhedron one face FF (at least) with the following property: The perpendicular dropped from PP onto the plane in which FF lies has its foot in the interior of the face FF. Give a purely geometrical proof free from mechanical considerations for the existence of the face FF.

?
Problem 9.1.1

The intersection of a plane π\pi with a circular cone is an ellipse. Let SS denote the area of the part of the conical surface between the ellipse and the vertex of the cone, pp and qq the distances of the vertex from the two endpoints of the major axis of the ellipse, and finally α\alpha the angle included between the axis of the cone and any generator. Prove that

S=πp+q2pqsin⁡α. S = \pi \frac{p+q}{2} \sqrt{pq} \sin \alpha .
?
Remark.
?

G. Pólya, problem: Elem. Math., 26, p. 113 (1971).

Problem 9.1.1

The intersection of a plane π\pi with a circular cone is an ellipse. Let SS denote the area of the part of the conical surface between the ellipse and the vertex of the cone, pp and qq the distances of the vertex from the two endpoints of the major axis of the ellipse, and finally α\alpha the angle included between the axis of the cone and any generator. Prove that

S=πp+q2pqsin⁡α. S = \pi \frac{p+q}{2} \sqrt{pq} \sin \alpha .
?
Remark.
?

G. Pólya, problem: Elem. Math., 26, p. 113 (1971).

Problem 9.1.2

Two spheres, one of radius rr, the other of radius RR, are externally tangent to each other. We denote by BB the smallest convex solid containing both spheres (a tight bag containing two balls). Let VV stand for the volume of BB, SS for the area of its surface, and MM for its Minkowski constant (surface integral of the mean curvature). Prove that

V=4π3R5−r5R2−r2,S=4πR4−r4R2−r2,M=4πR3−r3R2−r2. V = \frac{4\pi }{3} \frac{R^5-r^5}{R^2-r^2} , \qquad S = 4\pi \frac{R^4-r^4}{R^2-r^2} , \qquad M = 4\pi \frac{R^3-r^3}{R^2-r^2} .
?
Remark.
?

G. Pólya, problem: Elem. Math., 16, p. 92 (1961). Solution by H. Bieri, Elem. Math., 17, p. 112 (1962).

Problem 9.1.2

Two spheres, one of radius rr, the other of radius RR, are externally tangent to each other. We denote by BB the smallest convex solid containing both spheres (a tight bag containing two balls). Let VV stand for the volume of BB, SS for the area of its surface, and MM for its Minkowski constant (surface integral of the mean curvature). Prove that

V=4π3R5−r5R2−r2,S=4πR4−r4R2−r2,M=4πR3−r3R2−r2. V = \frac{4\pi }{3} \frac{R^5-r^5}{R^2-r^2} , \qquad S = 4\pi \frac{R^4-r^4}{R^2-r^2} , \qquad M = 4\pi \frac{R^3-r^3}{R^2-r^2} .
?
Remark.
?

G. Pólya, problem: Elem. Math., 16, p. 92 (1961). Solution by H. Bieri, Elem. Math., 17, p. 112 (1962).

Problem 9.1.3

A lampshade has the shape of a frustum of a right circular cone. Its perimeter is PP at the bottom, pp at the top, its slant height is ss, and the inclination ii of the slant height to the bottom plane is ≥60°\geq 60°; P≥pP \geq p. Show that such a lampshade can be cut out in one piece from a rectangular sheet of paper of dimensions PP and s+[p(P−p)]/8ss + \left[p(P-p)\right]/8s. There will even be paper left over for a flap to glue the ends together, except in the extreme case where P=pP=p, i=π/2i=\pi /2, and no paper will be wasted.

?
Remark.
?

Cf. G. Pólya, problem: Amer. Math. Monthly, 54, p. 340 (1947). Solution by Joseph Rosenbaum: Amer. Math. Monthly, 55, pp. 162--164 (1948).

Problem 9.1.3

A lampshade has the shape of a frustum of a right circular cone. Its perimeter is PP at the bottom, pp at the top, its slant height is ss, and the inclination ii of the slant height to the bottom plane is ≥60°\geq 60°; P≥pP \geq p. Show that such a lampshade can be cut out in one piece from a rectangular sheet of paper of dimensions PP and s+[p(P−p)]/8ss + \left[p(P-p)\right]/8s. There will even be paper left over for a flap to glue the ends together, except in the extreme case where P=pP=p, i=π/2i=\pi /2, and no paper will be wasted.

?
Remark.
?

Cf. G. Pólya, problem: Amer. Math. Monthly, 54, p. 340 (1947). Solution by Joseph Rosenbaum: Amer. Math. Monthly, 55, pp. 162--164 (1948).

Problem 9.1.4

The numbers aa and bb are positive and f(x)f(x) is a non-linear function such that

f(0)=0,f(a)=bandf(x)≥0,f′′(x)≥0 f(0) = 0, \qquad f(a) = b \qquad \text{and} \qquad f(x) \geq 0, \qquad f''(x) \geq 0

in the interval [0,a][0, a]. Prove that

2π∫0af(x)[1+(f′(x))2]1/2 dx<πb(a2+b2)1/2. 2\pi \int _0^a f(x) \left[1 + (f'(x))^2\right]^{1/2} \, dx < \pi b (a^2+b^2)^{1/2} .

(The inequality becomes intuitively obvious when both sides are interpreted as areas of surfaces of revolution.)

?
Remark.
?

G. Pólya, problem: Amer. Math. Monthly 54, p. 479 (1947). Solution by N. J. Fine: Amer. Math. Monthly, 56, p. 273 (1949).

Problem 9.1.4

The numbers aa and bb are positive and f(x)f(x) is a non-linear function such that

f(0)=0,f(a)=bandf(x)≥0,f′′(x)≥0 f(0) = 0, \qquad f(a) = b \qquad \text{and} \qquad f(x) \geq 0, \qquad f''(x) \geq 0

in the interval [0,a][0, a]. Prove that

2π∫0af(x)[1+(f′(x))2]1/2 dx<πb(a2+b2)1/2. 2\pi \int _0^a f(x) \left[1 + (f'(x))^2\right]^{1/2} \, dx < \pi b (a^2+b^2)^{1/2} .

(The inequality becomes intuitively obvious when both sides are interpreted as areas of surfaces of revolution.)

?
Remark.
?

G. Pólya, problem: Amer. Math. Monthly 54, p. 479 (1947). Solution by N. J. Fine: Amer. Math. Monthly, 56, p. 273 (1949).

Problem 9.2

If on a circular field a given quantity of wheat is piled up, then the maximum slope of the resulting heap is smallest when it forms a right circular cone. Prove the analytic formulation of this fact, i.e. the following theorem:

Let the function f(x,y)f(x, y) possess both the partial derivatives

∂f∂x=fx′(x,y),∂f∂y=fy′(x,y). \frac{\partial f}{\partial x} = f_x'(x, y) , \qquad \frac{\partial f}{\partial y} = f_y'(x, y) .

If f(x,y)=0f(x, y) = 0 on the boundary of the unit circle x2+y2=1x^2+y^2 = 1, then there exists a point ξ\xi, η\eta in the unit circle such that

[fx′(ξ,η)]2+[fy′(ξ,η)]2>3π∬f(x,y) dx dy, \sqrt{\left[f_x'(\xi , \eta )\right]^2 + \left[f_y'(\xi , \eta )\right]^2} > \frac{3}{\pi } \iint f(x, y) \, dx \, dy ,

where the double integral is extended over the unit circle.

?
Remark.
?

G. Pólya: Tôhoku Math. J., 19, pp. 1--3 (1921).

Problem 9.3

If a point mass traverses a unit length in unit time moving from rest to rest, then at some point between the two rest points it must experience an acceleration of magnitude greater than 4. Demonstrate this fact analytically.

?
Problem 9.4

If a curve viewed from the point OO appears everywhere convex, then it subtends a visual angle <180°< 180°; if it appears everywhere concave and extends to infinity it subtends a visual angle >180°> 180°.

Let OO be the origin of a system of polar coordinates rr, φ\varphi and r=1/f(φ)r = 1/f(\varphi ) the equation of the curve, where f(x)f(x) is twice differentiable. In calculating the radius of curvature we are led to the following two theorems:

  1. If the function f(x)>0f(x) > 0 in the interval a≤x≤a+πa \leq x \leq a+\pi, then there exists a point ξ\xi, a<ξ<a+πa < \xi < a+\pi, such that

    f(ξ)+f′′(ξ)>0. f(\xi ) + f''(\xi ) > 0 .
  2. If f(x)>0f(x) > 0, f(x)+f′′(x)>0f(x)+f''(x) > 0 for a<x<ba < x < b and f(a)=f(b)=0f(a) = f(b) = 0, then b−a>πb-a > \pi. Prove these theorems by purely analytical methods.

?
Remark.
?

Cf. H. Dellac: Interméd. des math., 1, pp. 69--70 (1894); cf. also H. Poincaré: Interméd. des math., 1, pp. 141--144 (1894).

Problem 9.5

On a closed convex curve with continuous curvature there are always at least three different pairs of points with the following property: The tangents at the two points of a pair are parallel and the curvature of the curve at the two points is the same.

?
Remark.
?

W. Blaschke, problem: Arch. Math. Phys. Ser. 3, 26, p. 65 (1917). Solution by G. Szegö: Arch. Math. Phys. Ser. 3, 28, pp. 183--184 (1920). Cf. also W. Süss: Jber. deutsch. Math. Verein. 33, Section 2, pp. 32--33 (1924).

Problem 9.6

If a convex curve of circumference ll and of area aa can roll unimpeded in the interior of another convex curve of circumference LL and area AA, then we have

lL≤2π(a+A). lL \leq 2\pi (a+A) .
?
Remark.
?

G. Pólya, problem: Arch. Math. Phys. Ser. 3, 27, p. 162 (1918).

Problem 9.7

Denote the volume, the surface area and the integral of the mean curvature of two convex surfaces by vv, ss, mm and VV, SS, MM respectively. If the first body can roll unimpeded in the interior of the second, then we have the inequalities

mS+sM≤12π(V+v),mS−sM≤4π(V−v). mS + sM \leq 12\pi (V+v) , \qquad mS - sM \leq 4\pi (V-v) .
?
Remark.
?

G. Pólya, problem: Arch. Math. Phys. Series 3, 27, p. 162 (1918).

Problem 9.8

Every closed surface is in equilibrium under the action of uniform pressure applied from all sides. In order to show this, prove that the following formulae hold for every closed surface:

∬cos⁡α dS=0,∬cos⁡β dS=0,∬cos⁡γ dS=0, \iint \cos \alpha \, dS = 0 , \qquad \iint \cos \beta \, dS = 0 , \qquad \iint \cos \gamma \, dS = 0 , ∬(ycos⁡γ−zcos⁡β) dS=0,∬(zcos⁡α−xcos⁡γ) dS=0, \iint (y \cos \gamma - z \cos \beta ) \, dS = 0 , \qquad \iint (z \cos \alpha - x \cos \gamma ) \, dS = 0 , ∬(xcos⁡β−ycos⁡α) dS=0. \iint (x \cos \beta - y \cos \alpha ) \, dS = 0 .

Here cos⁡α\cos \alpha, cos⁡β\cos \beta, cos⁡γ\cos \gamma are the direction cosines of the outward normal and dSdS is the element of surface area.

?
Problem 9.9

If on every element dSdS of a closed, rigid surface with continuous curvature there acts a force of magnitude 12(1/R1+1/R2)dS\tfrac 12(1/R_1 + 1/R_2) dS in the direction of the inward normal, where R1R_1 and R2R_2 are the two principal radii of curvature, then the surface is in equilibrium.

?
Problem 9.10

(continued). If the magnitude of the force acting on dSdS in the direction of the inward normal is (1/R1R2) dS(1/R_1 R_2) \, dS (i.e. proportional to the Gaussian curvature rather than to the mean curvature as in the preceding problem), then the surface is also in equilibrium.

?
Remark.
?

Cf. Nouv. Annls Math. Ser. 4, 16, p. 140 (1916).

Problem 9.11

At every edge ee of a rigid polyhedron there acts a force FF. The point of application of FF is the mid-point of ee. FF is perpendicular to ee and lies in the plane that bisects the interior angle included by the two faces of the polyhedron meeting in ee. The magnitude of FF is l∣cos⁡(α/2)∣l \left|\cos (\alpha /2)\right|, where ll denotes the length of ee and α\alpha the interior angle at the edge ee considered above. Finally FF is directed inwards or outwards according as the edge ee is convex or re-entrant, i.e. according to the sign of cos⁡(α/2)\cos (\alpha /2). Under the system of all the forces FF the polyhedron is in equilibrium.

?
Problem 9.12

If at every element dsds of a closed, rigid space curve with continuous curvature there acts a force in the direction of the positive principal normal of magnitude ds/rds/r, where rr denotes the radius of curvature, then the curve is in equilibrium.

?
Remark.
?

G. Pólya, problem: Arch. Math. Phys. Ser. 3, 25, p. 337 (1917). Solution by K. Scholl: Arch. Math. Phys. Ser. 3, 28, p. 180 (1920).

Problem 9.13

Imagine a unit vector drawn from the origin of a coordinate system in the direction of the tangent at each point of a continuously differentiable space curve. The end-points of these unit vectors generate the spherical image of the space curve. If the space curve is closed, then its spherical image will be intersected by every great circle of the unit sphere.

?
Remark.
?

K. Löwner.

Problem 9.14

Let the function f(x)f(x) be defined in the interval a≤x≤ba \leq x \leq b and satisfy the following conditions:

  1. f(x)f(x) is positive in the interior and =0=0 at the end-points of the interval aa, bb;

  2. f(x)f(x) is twice continuously differentiable for a<x<ba < x < b;

  3. f′(x)f'(x) converges to +∞+\infty as x→ax \to a, and to −∞-\infty as x→bx \to b. Under these conditions the function

f′′(x)f(x)(1+[f′(x)]2)2=F(x) \frac{f''(x)}{f(x)(1+\left[f'(x)\right]^2)^2} = F(x)

cannot be monotonic in the whole interval a<x<ba < x < b, except in the case that

f(x)=(x−a)(b−x),F(x)=−(2b−a)2. f(x) = \sqrt{(x-a)(b-x)} , \qquad F(x) = -\left(\frac{2}{b-a}\right)^2 .
?
Remark.
?

K. Löwner.

Problem 9.15

On a surface of revolution with continuous curvature there are always two different parallel circles with the same Gaussian curvature.

?
Remark.
?

K. Löwner. Cf. also formulae (89) in H. Minkowski: Ges. Abhandlungen, 2, p. 263. Leipzig and Berlin: B. G. Teubner, 1911.

Problem 9.16

Let aa, bb, cc be the sides, and α\alpha, β\beta, γ\gamma the angles of a triangle in radian measure, aa lying opposite to α\alpha, bb to β\beta and cc to γ\gamma. Then we have

π3≤aα+bβ+cγa+b+c≤π2. \frac{\pi }{3} \leq \frac{a\alpha +b\beta +c\gamma }{a+b+c} \leq \frac{\pi }{2} .

Equality holds in the first inequality if and only if the triangle is equilateral, and in the second inequality if and only if the triangle degenerates into a straight line counted twice.

?
Remark.
?

Following J. Kürschák.

Problem 9.17

Let k1,k2,…,k6k_1, k_2, \ldots , k_6 be the lengths of the six edges of a tetrahedron and α1,α2,…,α6\alpha_1, \alpha_2, \ldots , \alpha_6 the radian measures of the angles formed by the faces of the tetrahedron that meet at the respective edges. Then we have

π3<k1α1+k2α2+⋯+k6α6k1+k2+⋯+k6<π2. \frac{\pi }{3} < \frac{k_1\alpha _1+k_2\alpha _2+\cdots +k_6\alpha _6}{k_1+k_2+\cdots +k_6} < \frac{\pi }{2} .

The given bounds are the best possible.

?
Remark.
?

G. Pólya, problem: Arch. Math. Phys. Ser. 3, 27, p. 162 (1918).

Problem 9.17.1

Consider a triangle. Let aa, bb and cc denote its sides and AA its area. Prove that

A≤34(abc)2/3 A \leq \frac{\sqrt3}{4} (abc)^{2/3}

with equality only for equilateral triangles.

?
Problem 9.17.1

Consider a triangle. Let aa, bb and cc denote its sides and AA its area. Prove that

A≤34(abc)2/3 A \leq \frac{\sqrt3}{4} (abc)^{2/3}

with equality only for equilateral triangles.

?
Problem 9.17.2

(continued). If p>0p > 0

A≤34(ap+bp+cp3)2p, A \leq \frac{\sqrt3}{4} \left(\frac{a^p+b^p+c^p}{3}\right)^{\frac{2}{p}} ,

with equality only for equilateral triangles.

?
Problem 9.17.2

(continued). If p>0p > 0

A≤34(ap+bp+cp3)2p, A \leq \frac{\sqrt3}{4} \left(\frac{a^p+b^p+c^p}{3}\right)^{\frac{2}{p}} ,

with equality only for equilateral triangles.

?
Problem 9.17.3

(continued). Let rr and RR denote the radii of the inscribed and the circumscribed circle of a triangle, respectively. Prove that

2r≤R, 2r \leq R ,

with equality only for equilateral triangles.

?
Problem 9.17.3

(continued). Let rr and RR denote the radii of the inscribed and the circumscribed circle of a triangle, respectively. Prove that

2r≤R, 2r \leq R ,

with equality only for equilateral triangles.

?
Problem 9.17.4

Formulate a proposition that has an analogous relation to 17.1 as 17 has to 16.

?
Problem 9.17.4

Formulate a proposition that has an analogous relation to 17.1 as 17 has to 16.

?
Problem 9.17.5

(continued). Try to find simple particular cases for which the proposition formulated above can be conveniently tested.

?
Problem 9.17.5

(continued). Try to find simple particular cases for which the proposition formulated above can be conveniently tested.

?
Problem 9.18

Let P0P1P2P_0 P_1 P_2 be a triangle right-angled at P2P_2, P2P3P_2 P_3 the perpendicular from P2P_2 to P0P1P_0 P_1, similarly P3P4⊥P1P2P_3 P_4 \perp P_1 P_2, P4P5⊥P2P3P_4 P_5 \perp P_2 P_3, etc. Find the point lim⁡n→∞Pn\lim_{n \to \infty } P_n.

?
Remark.
?

E. Steinitz, problem: Arch. Math. Phys. Ser. 3, 19, p. 361 (1912). Solution by W. Gaedecke: Arch. Math. Phys. Ser. 3, 21, p. 290 (1913).

Problem 9.19

Let KK and K′K' be two circles in space, each given as the intersection of a sphere and a plane

(K)x2+y2+z2+ax+by+cz+d=0,Ax+By+Cz+D=0, (K) \quad x^2+y^2+z^2+ax+by+cz+d = 0 , \qquad Ax+By+Cz+D = 0 , (K′)x2+y2+z2+a′x+b′y+c′z+d′=0,A′x+B′y+C′z+D′=0. (K') \quad x^2+y^2+z^2+a'x+b'y+c'z+d' = 0 , \qquad A'x+B'y+C'z+D' = 0 .

Find a rational entire function of the 16 real coefficients a,b,…,d,A,…,D,a′,…,d′,A′,…,D′a, b, \ldots , d, A, \ldots , D, a', \ldots , d', A', \ldots , D', that is <0<0 if and only if the two circles are interlocked i.e. their relative position is such that they have no common point, and, if conceived of as being made of wire, say, they cannot be taken apart without tearing.

?
Remark.
?

Following A. Hirsch.

Problem 9.20

Let X1X_1, X2X_2, X3X_3 be the projective coordinates of a variable point in the plane and let X0X_0 be defined by X0+X1+X2+X3=0X_0+X_1+X_2+X_3 = 0. In the triply infinite family of conics

λ0X02+λ1X12+λ2X22+λ3X32=0 \lambda _0 X_0^2 + \lambda _1 X_1^2 + \lambda _2 X_2^2 + \lambda _3 X_3^2 = 0

there are doubly infinitely many that degenerate to pairs of straight lines; and moreover every point of the plane is the singular point (intersection) of such a pair of straight lines. Find the integral curves of these pairs of straight lines. (At every point PP of the required curve the tangent coincides with one straight line of the pair of straight lines whose point of intersection is PP.)

?
Remark.
?

A. Hirsch.

Problem 9.21

Let the point PP describe a plane curve. Let ρ\rho be the radius of curvature at PP. Let the segment of the normal at PP lying between the two rectangular coordinate axes be of length ν\nu. Determine those curves for which the ratio of ρ\rho and ν\nu is fixed:

ρ=2nν. \rho = 2n\nu .

The constant nn may be supposed positive, since nn is transformed into −n-n if xx and yy are interchanged.---For integral nn there is a particular solution in the form of a rational curve of order 2n2n that has a point of intersection of multiplicity 2n2n with the line at infinity.

?
Remark.
?

A. Hirsch.

Problem 9.22

The family of surfaces of second order

F(x1,x2,x3,t)≡x12a1−t+x22a2−t+x32a3−t−t=0(0<a1<a2<a3) F(x_1, x_2, x_3, t) \equiv \frac{x_1^2}{a_1-t} + \frac{x_2^2}{a_2-t} + \frac{x_3^2}{a_3-t} - t = 0 \qquad (0 < a_1 < a_2 < a_3)

with parameter tt has an enveloping surface HH of order 10 and class 4. Determine the lines of curvature of HH.

?
Remark.
?

A. Hirsch.

Problem 9.23

(continued). Deduce a parametric representation of HH with the lines of curvature as parameter lines. The latter are algebraic curves of 12th order.

?
Remark.
?

A. Hirsch.

Problem 9.24

(continued). The central surface and the parallel surfaces of HH may be regarded as envelopes of a suitably chosen family of surfaces of second order.

?
Remark.
?

A. Hirsch.

Problem 9.25

Let F(x,y)F(x, y) be a continuous function, periodic with period 1 in the two variables xx, yy; i.e.

F(x+1,y)=F(x,y+1)=F(x,y). F(x+1, y) = F(x, y+1) = F(x, y) .

Furthermore let F(x,y)F(x, y) have the property (e.g. let it satisfy a Lipschitz condition) that through every point of the plane there passes one and only one infinitely continuable integral curve of the differential equation

dydx=F(x,y). \frac{dy}{dx} = F(x, y) .

Then there exists a number ω\omega associated with the function F(x,y)F(x, y) such that for every integral curve y=f(x)y = f(x) the difference f(x)−ωxf(x) - \omega x is bounded for all values of xx.

?
Remark.
?

E. E. Levi: C.R. Acad. Sci. (Paris) 153, p. 799 (1911).