Maths Olympiad Prep

Library / Bulgarian National Mathematical Olympiad /3 of 15

Bulgarian National Mathematical Olympiad

Geometry Difficulty 5.7 AIME, harder Prove it Bulgaria

A real nonzero number is assigned to every point in the space. It is known that for any tetrahedron τ\tau the number written in the incenter equals the product of the four numbers written in the vertices of τ\tau. Prove that all numbers equal 1.

Solution

Consider two arbitrary points XX and YY and let xx and yy be the corresponding numbers. Choose points II and JJ on the line XYXY such that XY=YI=IJXY = YI = IJ. Let X′X' on the line XYXY be such that XI=JX′XI = JX'. Consider the plane λ\lambda perpendicular to IJIJ and passing through the midpoint of IJIJ. Let ABCXABCX and ABCX′ABCX' be two equal regular triangular pyramids with base ABCABC in the plane λ\lambda having incenters II and JJ.

Since nAnBnCnX=nIn_A n_B n_C n_X = n_I and nAnBnCnX′=nJn_A n_B n_C n_{X'} = n_J we have that
nX=nX′⋅nInJ. n_X = \frac{n_{X'} \cdot n_I}{n_J}.
Move the plane λ\lambda towards point II and consider the spheres SIS_I and SJS_J with centers II and JJ respectively that are tangent to λ\lambda. Let A1B1C1X′A_1B_1C_1X' be a regular triangular pyramid with base A1B1C1A_1B_1C_1 in λ\lambda and insphere SJS_J. The regular triangular pyramid with base A1B1C1A_1B_1C_1 and insphere SIS_I has vertex X1X_1. It follows from the above that
nX1=nX′⋅nInJ=nX. n_{X_1} = \frac{n_{X'} \cdot n_I}{n_J} = n_X.
When λ\lambda moves towards II the radius of the sphere SIS_I tends to zero and △A1B1C1\triangle A_1B_1C_1 tends to a triangle which is the base of a regular triangular pyramid with vertex X′X' and inscribed sphere with center JJ and radius IJIJ.

We conclude that X1X_1 tends to II. Continuity arguments show that all inner points on the segment XIXI (with point XX) are assigned with the same number.

Thus, x=yx = y and all numbers are equal. It follows from x4=xx^4 = x and x≠0x \neq 0 that x=1x = 1.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.