FJGC md2022
FJGC md2022
Volume 4
1. Elementary Geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1. Perpendicularidad relacionada con el incentro . . . . . . . . . . . . . . . . . . . 3
1.2. Some problems from Valeriu Valerica Dicu . . . . . . . . . . . . . . . . . . . . . 4
1.3. Condition for a conciclicity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2. Sangakus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.1. Two congruent circles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3. Geometrical constructions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
4. Problemas de Olimpiadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
4.1. Fase Local de la Olimpiada Matemática Española . . . . . . . . . . . . . . . 16
1
2 Índice general
I
P
B D E C
Ahora calculamos
2uv − av
D = (u, 0), E = (2u, 0), P = 2u, .
a−u
y obtenemos el vector
−→ (2u − a)v2 2(a − u)uv
AD = , − , múltiplo de ((a − 2u)v, −2(a − u)u)
au − u2 − v2 au − u2 − v2
y el vector
3
4 1 Elementary Geometry
−
→ (a − 2u)v
BP = 2u, , múltiplo de (2(a − u)u, (a − 2u)v) ,
a−u
−→ − →
por lo que los vectores AD y BP son perpendiculares.
1. Let (O, R) be a circle and P an interior point. We consider two variable points
A, B on (O) such that ∠APB = 90◦ . Show that the locus of the midpoint of M of AB
is a circle whose center N is the midpoint of O and P.
Proposed by Valeriu Valerica Dicu.
P'
O N P
Call N the midpoint of OP. From the Apollonius Theorem applied to triangle
MOP, we have
OM 2 + PM 2 OP2
− = MN 2,
2 4
The same theorem applied to OAB gives
R2 + R2 AB2
OM 2 = − = R2 − PM 2 .
2 4
Therefore we have
R2 OP2
MN 2 = − .
2 4
Corollary: If P0 is the reflection of P with respect to M, the locus of P0 when A, B
moves on the circle (O) is a circle also centered at O whose radius is twice as that
of (N).
Francisco Javier Garcı́a Capitán, Feb. 15, 2022.
1.2 Some problems from Valeriu Valerica Dicu 5
2. Let AB be a diameter of the circle (O). Tangents AA0 and BB0 are drawn to O
satisfying AA0 · BB0 = AB2 . We consider the intersection points X = A0 B0 ∩ AB and
P = AB0 ∩ A0 B. Prove that P lies on (O) and also that lines PO and PX are perpen-
dicular to each other.
Proposed by Valeriu Valerica Dicu.
A'
B'
M
Q=P
N
A O B X
3. The feet B0 , C 0 of the altitudes BB0 and CC 0 of a triangle ABC are known in
position. We also know the length a of side BC. Find the locus of the vertices of
ABC.
Proposed by Valeriu Valerica Dicu.
6 1 Elementary Geometry
B C
Y P
A
C' B'
O
H
The condition BC = a implies that A (and the orthocenter H) lies on one of the
circles
k2 k2
x2 + y2 ± √ − = 0.
a2 − k 2 4
This gives the following construction:
1.2 Some problems from Valeriu Valerica Dicu 7
B C
Y P
A
C' B'
O
H
4. Prove that the orthocenter of the triangle formed by three tangents to a parabola
lie on the directrix of the parabola
Proposed by Valeriu Valerica Dicu.
8 1 Elementary Geometry
W
F
V
W'
U
V'
H'
U'
have equations
tU : y = au2 + 2au(x − u),
tV : y = av2 + 2av(x − v),
tW : y = aw2 + 2aw(x − w).
They intersect at the points
v+w w+u u+v
U0 = , avw ,V 0 = , awu ,W 0 = , auv .
2 2 2
From 2 2
2 1 1 ax2 − y
x + y− − y− = ,
4a 4a a
1.3 Condition for a conciclicity 9
AB · BC · CD · (2AB · CD + BC · DA)
=DA2 · AB2 · BC + BC · CD2 + AB · CD · DA
C
D
E L
G
A F B
Capı́tulo 2
Sangakus
11
Capı́tulo 3
Geometrical constructions
D C
M
E T
G
A X F B
13
14 3 Geometrical constructions
C
D
E L
G
A F B
Capı́tulo 4
Problemas de Olimpiadas
15
16 4 Problemas de Olimpiadas
Solución de Francisco Javier Garcı́a Capitán. Un número con todas sus cifras
pares es par y un número con todas sus cifras impares es impar, por tanto la suma
de los dos números debe ser impar. De esta forma, el número 6372538 no es bonito,
ya que es par.
Ahora, como 6204773 = 1315911 + 4888862 y 9652393 = 1171511 + 8480882,
los números 6204773 y 9652393 son bonitos.
El número 7343053 no es bonito ya que fuera suma del número p1 p2 p3 p4 p5 p6 p7
con todas las cifras pares y el número i1 i2i3 i4 i5 i6 i7 con todas las cifras impares
p1 p2 p3 p4 p5 p6 p7
i1 i2 i3 i4 i5 i6 i7
7 3 4 3 0 5 3
serı́a 1 + p4 + i4 impar.
Si tuviéramos
p1 p2 p3 p4 p5 p6 p7
i1 i2 i3 i4 i5 i6 i7
8 9 9 3 2 6 7
como 8 es par, ha debido haber acarreo en la última suma por lo que el primer 9
debe corresponder a un 19, imposible de obtener con p2 + i2 , con o sin, acarreo.
4.1 Fase Local de la Olimpiada Matemática Española 17
2. Sea ABC un triángulo isósceles con ∠BAC = 100◦. La bisectriz del ángulo ∠CBA
corta AC en D. Demostrar que BD + DA = BC.
Solución de Francisco Javier Garcı́a Capitán. Trazamos la bisectriz interior del
ángulo ∠BDC, que corta a BC en E y construimos el punto simétrico E 0 de E re-
specto de CA. Entonces ∠BE 0 C = 80◦ = ∠BCE 0 y el triángulo BE 0C es isósceles.
Por tanto, BC = BE 0 = BD + DE 0 = BD + DE = BD + DA.
A
100º
E'
60º
D 80º
60º
60º 60º
20º 40º
20º 40º
B E C
Solution by Dan-Stefan Marinescu. Let F on BA produced such that ∠ACF) =
40◦ and E the intersection of BD with CF. Now D is incenter of triangle BCF and
∠BEC = 80◦ so BC = BE and AD = r/ sin 80◦ = DE. Now conclusion follows.
A
100º r E
80º
D
60º 60º r
20º 40º
20º 40º
B C
18 4 Problemas de Olimpiadas
20º
60º
D
80º
40º
20º
20º 40º
B E C
Solución de Pedrı́n Mirandin. Construimos el triángulo equilátero BCE sobre BC
y prolongamos BD hasta F tal que DF = DA. Entonces los triángulos AEB y AFB
son congruentes y se tiene BC = BE = BF = BD + DF = BD + DA.
30º 30º
A
F
100º 30º 30º
60º
D
20º
20º 20º
20º 40º
B C
4.1 Fase Local de la Olimpiada Matemática Española 19
Demostrar que los números a1 , a2, a3, a4 , a5, a6 están en progresión geométrica.
Solución. Aplicamos la desigualdad de Cauchy-Schwarz a los vectores u =
(a1 , a2, . . ., a5) y v = (a2 , a3, . . ., a6 ). Como se cumple la igualdad, debemos ten-
er v = ku para algún número real k, es decir, los números a1 , a2, a3, a4 , a5, a6 forman
una progresión aritmética de razón k.
a + (a + 11)
· 12 = 2022 ⇒ a = 163.
2
por lo que las monedas que tenı́an los piratas eran
163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174.
Estos números recorren todos los restos módulo 12 y lo mismo le pasará a los
números de monedas de los piratas en cualquier momento, ya que un cambio de
monedas consiste en que añadimos 1 a todas y restamos 12 a una de ellas.
El pirata con más monedas tendrá el máximo de monedas cuando los demás ten-
gan 0, 1, . . ., 10 y el tenga 2022 − (1 + 2 + · · ·+ 10) = 2022 − 55 = 1967 monedas.
Capı́tulo 5
Problems from around the world
21
22 5 Problems from around the world
B D C
2α α
1
α
α A
O 1
C B D
α
α
O A
5 (RG 9417). Let ABC be a rectangle triangle with B = 90◦ . Call M, N the contact
points of the incircle with BA and CA respectively. The rays MN and NM intersect
the circumcircle at P and Q respectively. Prove that
NP b−c
= .
MQ b − a
5.1 Solution to RG9417 23
B P
y
Q x z N
M
A C
Then by subtraction,
√ a−c
(s − b)(a − c) = (y − x)z = (y − x) 2(s − b) ⇔ y − x = √ and
2
a susbstitution in (1) gives
a−c √
(s − a)(s − b) = y − √ y + 2(s − b) . (5.3)
2
After working some expressions
1 c2 − (a − b)2
(s − a)(s − b) = (b + c − a)(a − b + c) =
4 4
2 2 2
c − a − b + 2ab c − a − a2 − c2 + 2ab
2 2
= =
4 4
a2 ab
=− +
2 2
(a − c)(a − b + c) a2 − c2 − ab + bc
(a − c)(s − b) = =
2 2
a2 ab c2 bc
= − − + ,
2 2 2 2
√ a − c a − b + c − a + c 2c − b
2(s − b) − √ = √ = √ ,
2 2 2
then (3) becomes
24 5 Problems from around the world
2
2c − b a ab c2 bc a2 ab
y2 + √ y − − − + =− +
2 2 2 2 2 2 2
2c − b c(b − c)
⇒ y2 + √ y + = 0.
2 2
A B' C
10 20
3 27
40 80
243 2187
∞ n−1
10 20 40 10 2
S =10 − + + + · · · = 10 − ∑ ·
3 27 243 n=1 3 9
10 10
3 3 30 40
=10 − 2
= 10 − 7
= 10 − = .
1− 9 9
7 7
Francisco Javier Garcı́a Capitán, Feb. 19, 2022.
3R
a= ,
10
q
R √ √
b= 17 + 4 21 − 2 127 + 27 21 .
10
Oum Soiuar Sioua and Francisco Javier Garcı́a Capitán, Feb. 23, 2022.
26 5 Problems from around the world
P M Q
B C
4c2 u2 w
ZP2 = .
(u + v)2 (u + v + w)
hD ZB2
ZP2 = ZB2 · = · hD ,
hC hC
where hC and hD are the distances from C and D respectively to the line AB.
Then we give the following construction:
T
Z
D'
C'
C''
A
P M Q
B C
A
D
P M Q
B C
When the quadrilateral ABCD is reentrant so that D lies on the region opposite
to vertex C, the previous construction is not valid. In this case Z is replaced by the
point W on AB such that W = (u : v + 2w : 0) (see Problemas de Geometrı́a, 303).
Q' M P'
F W E
A
E'
Q
D
M P
X B C
7. Let ABC a triangle and A0 B0C 0 the circlecevian triangle of the orthocenter H. Let
A00 , B00 , C 00 the midpoints of HA0 , HB0 , HC 0 respectively . For any point P, call
XY Z the pedal triangle of P and A000 , B000 , C 000 the reflections of A00 , Y 00 , Z 00 in X,
28 5 Problems from around the world
Y , Z, respectively. Then the circumcenter O000 of A000 B000 C 000 is the image of P by a
−→
translation with vector 12 HO.
(From a proposal by Kadir Altintas)
5.2 Inconic of a quadrilateral 29
8. Let ABC be a triangle and P a point with cevian triangle XY Z. Let X 0 be the
harmonic conjugate of X with respect to B and C (is very well known that X 0 is the
intersection of Y Z and BC). Call M, N the intersections of line PX 0 and lines AB and
AC respectively. The intersection of BN and CM is a point Q on line AP. Finally,
call U the intersection of Y Z and AP. Then we have:
1. (AXPQ) = 21 .
2. (AXPU) = 2.
3. The inconic with perspector Q is tangent to Y Z at U.
A
Y
U
Z N
P
M
Q
X' B X C
Z
Y
P
I
V
Q M
B X C
30 5 Problems from around the world
10. We can also construct the tangent Y Z directly from X 0 , which is known.
Z
Y
P
I
B X C X'
X' B C B X C
X
5.3 Loci and Inversion 31
12. Let (A) and (B) two cicles and P a point. Call Q the inverse of P with respect to
(A), and P0 , Q0 the inverses of P with respect to (B). Then we have:
1. The line P0 Q0 goes through a fixed point.
2. The centers of the circles (PQP0 Q0 ) lie on a fixed line.
P
Q S P'
Q'
A C X C' A' B
Solution. Let C be the inverse of B with respect to (A) and A0 , C 0 the inverses of
A, C with respect to (B). Call M the midpoint of CA0 . Then the perpendicular to AB
through X is the radical axis of circles (A) and (B).
We have the following properties:
1. The line P0 Q0 always goes through C 0 .
2. The center S of circle (PQP0 Q0 ) lie on the radical axis of (A) and (B).
32 5 Problems from around the world
5.4. A maximum
13. A circle with center O and diameter AB. Points C, D lie on the circle in such a
way that ∠COB = 90◦ and ∠DOB = 120◦ . Point E moves on the semicircle opposite
to C. Let M,N be the intersection points of DE and CE with diameter AB respec-
tively. Find location of point E such that area of triangle MCN becomes maximal.
Problem RG9567 by Louis Kyriacou.
Solution. We use cartesian coordinates.
O = (0, 0), A = (−R, 0), B = (R, 0),
√ !
R 3R 2t 1 − t2
C = (0, R), D = − , ,E = ,− R.
2 2 1 + t2 1 + t2
and
MN = R · f (t)
where f is defined in [−1, 1] by the formula
1 − t2
f (t) = √ .
2 + 3 −t
Since √
t 2 − 2(2 + 3)t + 1
f 0 (t) = √ 2
(2 + 3 − t)
f 0 (t) = 0 implies
2Rt 2Rt √
= √ = 2 − 3 R = R tan 15◦ .
1 + t2 2 2 + 3 t
C
D
O
A M N M N B
15º
S
C' T
C 0 is the reflection of C in O
T lies on the tangent to the circle at C and ∠TOC 0 = 15◦ .
The parallel to CC 0 through T meets the circle at S.
S is the position of E making MN maximal.
Francisco Javier Garcı́a Capitán, Mar. 3, 2022.
34 5 Problems from around the world
14. A circle with center O and diameter AB is given. Points C, D are fixed and lie
on one of the semicircles determined by AB and point E varies on the opposite
semicircle. Let M,N be the intersection points of DE and CE with diameter AB
respectively. Find the location of point E such that area of triangle MCN becomes
maximal.
O N
M N
A M B
D'
C' S
E
and
sin γ −2 δ sint
MN = .
cos t+2 γ cos t+2δ
Now we can get
sin δ − sin γ
cost = .
sin(γ − δ )
On the other hand, the tangents to the circle at C 0 and D0 meet at the point
sin δ − sin γ cos γ − cos δ
T= ,
sin(γ − δ ) sin(γ − δ )
and T has the same coordinate as the point S on the circle for which MN is maxi-
mum.
We finish with some statements about the point M, N when MN is maximal:
M and N are symmetric with respect to O.
We have the cross ratios:
1 γ δ 2δ
(ABMN) = tan tan cot − 1 ,
2 2 4 4
1 γ δ 2γ
(ABNM) = tan tan cot − 1 ,
2 4 2 4
(ABMN) + (ABNM) = 2 csc γ csc δ − 2 cot γ cot δ .
Ca
Ac
Ba
Ab A
U
B C
Bc
Cb
W
Ab Ac , BaCa and BC concur at U.
Bc Ba , Cb Ab and CA concur at V .
CaCb , Ac Bc and AB concur at W .
U,V,W are collinear on the antiorthic axis (Ab Ac , Bc Ba , CaCb are the external
bisectors of angles A, B, C respectively.
5.4 A maximum 37
B'
A
C' V
W
X1155 X7
B C
U
A'
A V'
W' B''
X1319 C''
X8
A''
B C
U'
38 5 Problems from around the world
c b
p q r
B C
c2 r2 − b2 p2
q= .
b2 p − c2 r
Francisco Javier Garcı́a Capitán, Mar. 7, 2022.
5.4 A maximum 39
S
A
P D
B C
a+b a−b
p= + i
2 2
b+c b−c c+d −a−b c−d −b+c
q =
+ i r − p =
+ i
2 2 ⇒ 2 2
c+d c−d s − q = d + a − b − c + d − a − b + ci
r= + i
2 2 2 2
s = d + a + d − ai
2 2
⇒ (s − q) = (r − p)i.
40 5 Problems from around the world
K J O
A I B
2. Sea C la circunfernecia de centro B y radio AB. Para todo punto M de la circun-
ferencia C sea N su imagen por la rotación ρ y P el punto medio de [MN].
a) Demostrar que P es la imagen de M por una semejanza de la que se determi-
narán sus elementos caracterı́sticos.
b) Determinar y construir el conjunto de puntos P cuando M varı́a sobre C .
D C
P M
O
N
A B
J O
A B
K J O
Ω
A I B
g(A) = J, g(D) = K. JK : AD = 21 .
42 5 Problems from around the world
15. Given a triangle ABC, the locus of points P such that PB2 + PC 2 = PA2 is a
circle. Find its center and its radius.
Solution. Let M be the midpoint of BC and A0 the reflection of A with respect to
M. Then the locus of P is a circle with center A0 and squared radius b2 + c2 − a2 .
We give a construction of this circle:
E
P
T
B M C
A'
1. Given ABC, find M and A0 as described above.
2. D is the orthogonal projection of C on A0 B.
3. E is the reflection of A0 with respect to D.
4. Contruct the circle (BE) with BE as diameter.
5. Construct a tangent A0 T from A to (BE).
6. The circle (A0 , A0 T ) is the locus of P.
Francisco Javier Garcı́a Capitán, Mar. 10, 2022.
5.7 Incircle of quadrant 43
16. The incircle of a quadrant with center O and radii OM and ON touch these radii
at A and B respectively, and the arc of the quadrant at C. Prove that the distance
from the incenter of the triangle ACN to the excenter corresponding to AC is twice
the radius of the incircle.
Proposed by Carlos Hugo Olivera Dı́az as Problem RG9654 on the ocassion of
my birthday, Mar 11, 2022.
√
Solution. We consider a homothety of ratio 1 + 2 with center C. Then the incir-
cle converts to the circle of the quadrant, as shown in the following figure.
L C
J
B Q
O
A M
√ √
The ratio 1 + 2 is justified by the fact that OC = OQ + QC = ( 2 + 1)QC.
The figure makes very easy to find angles and show that J and M are the incenter
and the N-excenter of triangle ACN. From the figure,
√ √ √ √ √
JM = 2AM = 2(OM − OA) = 2(OC − QC) = 2( 2QC) = 2QC.
W V
L
A
N U
B E C
O
F
Now if UVW the medial triangle of DBC, we get L as the reflection of A in the
midpoint of BV and E, F as intersections of W L with BC and BO, and we arrive to
the formula
WE 4(a2 − c2 )(a2 − b2 − 2c2 )
= 3− 2 = 3.
EF (a − 2c2 )(a2 − b2 − c2 )
5.8 A family of triangles containing 45 − 90 − 45 45
17. Let ABC be a triangle with incenter I and A−excenter Ia . Call L the feet of the
internal bisector of angle B. Then we have:
1. The distance between I and Ia is twice the radius of circle (ABL) if and only if
c2 = a(a + b).
2. When A, B are fixed, the locus of C is part of a strophoid.
3. SURPRISE! As C varies on the strophoid, the excenter Ia also lies on the same
curve.
4. SURPRISE! The secant CIa is tangent to the circle (B, BM), where M is the
midpoint of AB.
Remark. The point E in the following correspdonds to the case when the triangle
ABC 45 − 45 − 90 as seen in section Incircle of a quadrant.
C
Ia E
L
I
B M A
Z
P
B X C
Z
P
B X C
8k
Z
2k 8x 4t
P
7k 10x y
Y
17x 24x
7k t
B X C
17x 7k
4t y 96x 96x 5
= ⇒y= ⇒ ZP : PY = 8x : = .
5t 24x 5 5 12
48 5 Problems from around the world
p P
q Y
r=3(p+q)/7
B X C U
CX UP YA 7 q + 73 (p + q) 4 12
· · = −1 ⇒ · · =1⇒q= p.
XU PY AC 9 q 5 5
5.8 A family of triangles containing 45 − 90 − 45 49
Z
5P
12
10 Y
3
B X C
Z 5/3
P
4 Y
5 5
B X C
ZP 5 5
= :4= .
PY 3 12
Solution by Parsith Bannakit:
8+1
A
Z
12 P
Y
5
4B X C 4
50 5 Problems from around the world
Z
P
B X C
40% Y
B X C
If BX : XC = p : 1, CY : YA = q : 1, AZ : ZB = r : 1,
(XY Z) 1 + pqr
= .
(ABC) (1 + p)(1 + q)(1 + r)
If BX : XC = u : 1 − u, CY : YA = v : 1 − v, AZ : ZB = 1 − w, then
(XY Z)
= uvw + (1 − u)(1 − v)(1 − w).
(ABC)
For q = 21 , r = 1
4
(XY Z) 2 2
= ⇒ p = ⇒ BC : BX = 7 : 2.
(ABC) 5 5
Or, for v = 13 , r = 1
5
(XY Z) 2 2
= ⇒ u = ⇒ BC : BX = 7 : 2.
(ABC) 5 7
52 5 Problems from around the world
18. Let ABC be a triangle. Find the locus of points P such that
PA2 + PB2 + PC 2 = BC 2 .
E
N
L
K
A
M T
G
P
M
B C
Z
E
Y
F
V B D W C
√ p √
R 4 + 2 10 + 47 + 16 10
= .
r 3
Francisco Javier Garcı́a Capitán, Mar. 19, 2022.
54 5 Problems from around the world
A'' Y
Z B'
C' I
B C
19. Given a triangle ABC with incircle (I), we construct the circle (J) congruent to
(I) and tangent to AB, and also tangent to AC but on the opposite side as (I). Given
B and C, find the locus of A such that the circle (J) is tangent to the perpendicular
through C to BC.
A J
B X C X'
U'
S N'
√
5.12. The family of triangles OH = 2R.
√
√ triangles such that OH =
Problem 2. To construct the possible 2R.
Solution. The condition OH = 2R leads to
B'
L
N' O N A H
We construct the midpoint N of H and O, the center of the nine point circle. Now
we can chose a point B on the circle (O, R), we join BH, the B−altitude that must
meet the circle (N, R/2) at B0 , the feet of the B-altitude.
This procedure does not always give a solution for any position of B, since the
perpendicular to BH at B0 must intersect the circumcircle. Call N 0 the reflection of
N in O and L the midpoint of N 0 O. The extremities of the chord of the circumcircle
through L perpendicular to OH define the arc (containing H) where lie the possible
positions of B (in fact A, B or C.)
Francisco Javier Garcı́a Capitán, Mar. 27, 2022.
5.13 A homography on Euler line 57
Observe that
X1113 O X1113 H R − HO R + HO
(X1113 X1114 OH) = : =1: = ,
OX1114 HX1114 R + HO R − HO
and this justifies that φ (O) = H.
These are other values of (i, j) for S = X(i) and Q = X( j) for known points in
ETC:
S 2 4 5 20 21 22 23 24 25 26 30
Q 25 24 3518 3 28 2 468 3542 6353 7505 186
Francisco Javier Garcı́a Capitán, Mar. 28, 2022.
58 5 Problems from around the world
H OMOTHETY
OB 1 + sin πn
=
OA 1 − sin πn
For n = 12,
OB √ √ √
= 15 − 10 2 − 8 3 + 6 6.
OA
Francisco Javier Garcı́a Capitán, Mar. 29, 2022.
n + 1 = a21 + · · ·+ a2p .
Note: The ai are not necessarily distinct but they are not zero.
Solution. If np + 1 = m2 for some positive integer m then m2 ≡ 1 mod p or
m = ±1 mod p ⇒ m = kp ± 1 for some natural k. Therefore
and
1 + np = m2 = (kp ± 1)2 = k2 p2 ± 2kp + 1 ⇒ n = k2 p ± 2k
n + 1 = (p − 1)k2 + k2 ± 2k + 1 = k2 + · · ·+ k2 +(k ± 1)2 .
| {z }
p−1 times
Z Y
E
F M N
B D C
a2 b2 c2
(SMN) = 2
, (ZFM) = 2
, Y NE = ,
4(a + b + c) 4(a + b + c) 4(a + b + c)2
therefore (SMN) = (ZFM) + (Y NE) if and only if A = 90◦ .
Francisco Javier Garcı́a Capitán, Mar. 30, 2022.
60 5 Problems from around the world
20 (Question 231). Sobre los tres lados de un triángulo ABC, se construyen los
cuadrados ABED, ACGF, BCHI. Conociendo los puntos de intersección de las rec-
tas ED, FG, HI construir el triángulo.
Solución de M. Giroud, alumno del Liceo de Marsella.
Las rectas CC 0, BB0 están determinadas por las relaciones
CG C 0 A0 BI C 0 B0
= 0 0 y = 0 0.
CH C B BE BA
Para construirlas es suficiente trazar las perpendiculares sobre los lados del
triángulo A0 B0C 0 con la razón determinada por la razón anterior.
Al trazar por los vértices de las perpendiculares las paralelas a los lados, éstas
cortarán en la intersección M de BB0 y CC 0.
Ahora, para hallar BC basta inscribir un cuadrado en el triángulo MB0C 0 , que es
un problema conocido. La construcción termina trazando por B y C las paralelas a
B0 A0 y C 0 A0 .
Detalle de la construcción.
A'
B C
I H C'
B'
B'' C''
5.13 A homography on Euler line 61
that can be regarded as the reciprocal conjugate with respect of O of the isotomic
conjugate of the anticomplement of the isotomic conjugate of P.
b2 + c2
(AC 0 B0 ) = − 2(ABC),
2
c2 + a2
(BA0 C 0 ) = − 2(ABC),
2
a2 + b2
(CB0 A0 ) = − 2(ABC)
2
62 5 Problems from around the world
and
a2 + b2 + c2
(A0 B0C 0 ) = 4(ABC) − = (4 − 2 cotw)(ABC),
2
where w is the Brocard angle of ABC.
As a result, we have (AC 0 BA0CB0 ) + (A0 B0C 0 ) = 2(ABC).
B'
C' H
B C
A'
5.14 Three concurrent cevians 63
23. Given two points B and C, construct the triangles ABC such that the A−altitude,
the bisector of angle B and the C−median are concurrent.
A
median U
M bisector
B D C K B' J
altitude
p2 − q2
2. a) Given that p2 = q2 + 4, calculate the value of .
(p + q)2 (p − q)2
b) If n! = n(n − 1)(n − 2) . . .1 for any positive integer n, what is the last non-zero
digit of 50! ?
5.16 EMO 1st round 2022 65
x2 + 5x x2 − 5x
f (x) = , f (−x) = .
5 5
2. Find all pairs of positive integers (m, n) such that (m + n)2 + 3m + n + 3 is a
square of a positive integer number.
Solution. Call f (m, n) = (m + n)2 + 3m + n + 3. We have
Y
Z
B M N C
Z Y
B M N C
5.16 EMO 1st round 2022 67
Y'
Z
Z' Y
B X X' C
5.17. Symmetries
Then we have:
1. If B0 = RA0 ∩ BC and D0 = SA0 ∩ AD then lines SB0 and RD0 concur at a point C 0
on CD.
2. There exists a conic touching AB, BC, CD, DA at A0 , B0 ,C 0 , D0 respectively.
3. The center W of the conic lies on the line through the midpoints of AC and BD.
C
C'
B' W
D
B
S A' D'
A
Q
R
26. Let ABC be a triangle and Q a point with circumcevian triangle A0 B0C 0 . For any
point P the circle PAA0 , PBB0 and PCC 0 are coaxal and the second common point P0
is the transform of P by an inversion with center Q and the same power as the power
of Q with respect to the circumcircle.
https://groups.io/g/euclid/message/4813
O C'
B C
B' A'
P
P'
Q
Problema. Sean a, b, c ∈ R tales que |a − b| > |c, |b − c| > |a| y |c − a| > |b|. De-
mostrar que uno de los números a, b y c la suma de los otros dos.
Solución. Por la simetrı́a de las condiciones podemos suponer, sin pérdida de
generalidad que a > b > c. Ahora consideramos varios casos:
1. Si fuera a > b > c > 0, entonces las condiciones se convierten en a − b > c,
b − c > a, a − c > b, que se reducen a b − c > a > b + c de donde c 6 0, por lo
que debe ser c = 0 y a = b.
72 5 Problems from around the world
2. Si fuera a > b > 0 > c, entonces las condiciones se convierten en a − b > −c,
b − c > a, a − c > b, que se reducen a a > b − c > a y a 6 b + c, de donde
a = b − c.
3. Si fuera a > 0 > b > c, entonces las condiciones se convierten en a − b > −c,
b − c > a, a − c > −b, que se reducen a a > b − c > a y a 6 c − b, de donde
a = b − c y b > c, por lo que b = c y a = 0.
4. Si fuera 0 > a > b > c, entonces −c > −b > −a > 0, estamos en la situación del
apartado (1) y tendremos −a = 0 y −b = −c de donde a = 0 y b = c.
Francisco Javier Garcı́a Capitán, 20 de abril de 2022.
5.20 Drawing outside the paper 73
Let a = AB, b = BC, c = CD, d = DA be the sides of the quadrilateral ABCD and
B, D lie outside of the sheet of paper. To draw the line BD.
We first find one point Z on line BC. We reflect a and b with respect the edge,
meeting at B0 , and c, d with respect the opposite edge, meeting at D0 . Call S, T the
orthogonal projections of B0 , D0 on the edges. Then the intersection Z of ST and
B0 D0 lie on the line BD.
S
a b
B'
A Z C
D'
d c
T
Now we need to join Z to the intersection of a and b. To do that, we construct
any triangle XY Z with X,Y on a, b respectively and then a similar triangle X 0Y 0 Z 0
with X 0 , Y 0 on a, b respectively. Then ZZ 0 is the line BD.
X' Y'
Y
X Z'
A Z D
Reference:
Antonio Pérez Jiménez. Números. Revista de didáctica de las matemáticas.
Vol. 36. Dec 1998, pp. 29-34.
74 5 Problems from around the world
27. Let ABC be a triangle. Points D, E lie on BC such that AB = BE and AC = CD.
Prove that ∠DAE = 90◦ − A2 .
B D E C
B,C are fixed points. A lies on the circle through C centered at B. I, Ib are the
incenter and the B−excenter of ABC. What is the locus of Ib when A varies on the
circle?
A
Ib
B C D E
Solution. If B = (0, 0) and C = (0, 0), the locus of Ib is part of the cubic
x(a − x)(c − x)
y2 = .
a+c−x
The remaining part is the locus of I:
A
Ib
B D E
C
76 5 Problems from around the world
Problem (RG8920). Let (A) and (B) two intersecting circles and P one of its com-
mon points. Two arbitrary lines r1 , r2 meet (A) again at A1 and A2 , and (B) at B1 ,
B2 respectively. Call Q the intersection of the perpendicular bisectors of A1 A2 and
B1 B2 . Prove that PAQB is a parallelogram.
Proposed by Carlos Hugo Olivera Dı́az.
B A A1
B2
P A2
B1
Note that
k2 − (k − 1) 1 1 1
4
= = − .
k +k k(1 + k) k k + 1
Therefore
N N
k2 − (k − 1) 1 1 1 N
∑ k4 + k = ∑ k − k + 1 = N + 1 − 1 = N + 1 .
k=1 k=1
5.20 Drawing outside the paper 77
Let ABC be a triangle and P, Q two points with cevian triangles P1 P2 P3 and
Q1 Q2 Q3 respectively. Call p1 , p2 , p3 the sidelines of P1 P2 P3 and q1 , q2 , q3 the
sidelines of Q1 Q2 Q3 . Define the intersection points Ui j = pi ∩ q j for i, j = 1, 2, 3.
Then we have:
1. Lines U23U32 , U31U13 and U12U21 go respectively through A, B, C and concur at
the crosspoint S of P and Q.
2. Lines U22U33 , U33U11 , U11U22 go respectively through A, B, C.
3. Lines AU11 , BU22 and CU33 concur at a point T that can be regarded the cross-
difference of the isogonal conjugate of P and the isogonal conjugate of Q.
A
Q3
U21 Q2 U
31
U13
U11
P3 P2
U12
U33
U32
Q1
B P1 C
U23
U22
78 5 Problems from around the world
B L
C
Q
C'
Z
¡Los números son maravillosos! Siempre hay alguna propiedad que podamos
encontrar a un número cualquiera. Y muchas veces la propiedad es bonita:
Problema. Hallar un número de dos cifras tal que al sumarle el que resulta de
intercambiar sus cifras es un cuadrado perfecto, mientras que si se lo restamos
obtenemos un cubo perfecto.
74
¡Feliz cumpleaños, Pedro Ruiz Hervı́as!
Francisco Javier Garcı́a Capitán, 29 de abril de 2022.
80 5 Problems from around the world
Problema. Sea dado el cuadrilátero ABCD. La recta trazada por el vértice A, para-
lela al lado BC, corta a la diagonal BD en el punto M, mientras que la recta trazada
por el vértice B, paralela al lado AD, corta a la diagonal en el punto N. Demostrar
que MN||CD.
Solución. Llevemos el problema a la Geometrı́a Proyectiva. Sustituimos la recta
del infinito por una recta arbitraria L que corta a las rectas BC y AD en X e Y
respectivamente. Las rectas AX y BD se cortan en M y las rectas BY y AC se cortan
en N. Debemos probar que las rectas MN y CD se cortan en un punto Z de L.
A
D
M M
A Y
D N
B L
C C
X
B N
Z
Para ello consideremos un punto variable D0 sobre la recta AD. Si hallamos el
punto M 0 = BD0 ∩ AX, la aplicación ϕ : CD0 → NM 0 es una homografı́a entre los
haces de rectas que pasan por C y N.
Para D0 = A tenemos M 0 = A entonces ϕ (CA) = NA, es decir la recta CN se
transforma en sı́ misma, por lo que ϕ es una proyección y en consecuencia los
puntos de intersección de cada recta con su imagen estarán sobre una recta. Ası́ el
punto Z 0 = CD0 ∩ NM 0 describirá una recta.
D' D
E A
Y
M'
M
N
B
L
C
Z'
Sea E = AD ∩ BC. Como para D0
= Y es Z 0 = Y y para D0 = E es Z 0 = X, la recta
0
que describe Z es L y ası́ también tenemos que NM y CD se cortan en un punto Z
de L.
Francisco Javier Garcı́a Capitán, 30 de Abril de 2022.
5.20 Drawing outside the paper 81
D
M M
A Y
D N
B L
C C
X
B N
Z
To do that we consider a variable point D0 on line AD. Call M 0 = BD0 ∩ AX. The
map ϕ : CD0 → NM 0 is a homography between the pencil of lines through C and N.
If D0 = A then we have M 0 = A, or ϕ (CA) = NA, that is, the line CN maps to
itself, therefore ϕ is a projection, and as a result all the points Z 0 = CD0 ∩ NM 0 lie
on a line.
D' D
E A
Y
M'
M
N
B
L
C
Z'
Problem (RG9443). For any triangle ABC call M the midpoint of AB and D the
point on AC such that AD : DC = k : 1 − k, where k is a real number such that
0 < k < 1.
Given two points B and C find the locus of points A such that ∠ABD = ∠MCB.
Proposed by Miguel-Ángel Pérez Garcı́a-Ortega.
N
A
D
M
O B C E
B C
Let O∗ and O0∗ be the pencils of lines through two points O and O0 . We consider
the homography ϕ : O∗ → O0∗ defined by three lines a, b, c ∈ O∗ and their images
a0 , b0, c0 ∈ O0∗ .
la
b' c'
a
lc r'
O lb O'
a'
c
Example. If ABC is a triangle and P, Q two points, we can consider the homog-
raphy from P∗ to Q∗ sending PA, PB, PC to QA, QB, QC respectively. The locus of
intersections pq where p ∈ P∗ and q ∈ Q∗ , is the circumconic ABCPQ.
86 5 Problems from around the world
B C
P Q
S
a2 + d 2 + 2ab − ad − bd
c= .
2d + b − a
Francisco Javier Garcı́a Capitán, May 3, 2022.
88 5 Problems from around the world
Problem. Problem. Let ABC be a triangle with circumcenter O. Call B0 the reflec-
tion of B with respect to AO. Then AB0 is tangent to the circle (AOB) at A.
Remark. B0 is H in the original problem.
A A
F
Q D Q B'
O
B C B C
Solution. We use the figure on the right). Call Q the circumcenter of OAB.
Then we have
A A
F
Q D Q B'
O
B C B C
Problema. Probar que la siguiente ecuación tiene exactamente dos raices reales y
hallar el valor exacto de ambas.
p
(1 + 2x) 2(1 − x) = 1.
Problem (RG9969). If ABC and DEF are equilateral triangles and M, N, P are the
midpoints of AD, BE, CF then MNP is an equilateral triangle.
Proposed by Luc Binh.
E
D
M
N
A
B P
D B C' M O C B'
We observe the fact that the curve is exterior to the circle with DC 0 as diameter.
Francisco Javier Garcı́a Capitán, May 11, 2022.
5.21 Homography between two lines 93
A N D
M X P
B C
If AB = BC = 1, we can find MX = XP = PY = Y N = 15 .
24 7
We can also calculate cos XCY = 25 , sin XCY = 25 ,
1 7 1 3
(XPY ) = (XCY ) − 2 · (XPC) = arcsin − ·
2 25 5 5
1 7 3
= arcsin − .
2 25 25
94 5 Problems from around the world
u = y2 − 7, v = x ⇒ y2 − 7 = x2 − x ∨ y2 − 7 = x2 + x + 1
u = x2 + 2, v = y ⇒ x2 + 2 = y2 − y ∨ x2 + 2 = y2 + y + 1
There are four possibilities:
( 2 ( (
y − 7 = x2 − x x2 − y2 − x + 7 = 0 x=3
2 2
⇒ 2 2
⇒ .
x +2 = y −y x −y +y+2 = 0 y=2
( ( 29
y2 − 7 = x2 − x x =
x2 − y2 − x + 7 = 0
⇒ ⇒ 11 .
x2 + 2 = y2 + y + 1 x2 − y2 − y + 1 = 0 y = − 37
11
( ( 28
y2 − 7 = x2 + x + 1 x2 − y2 + x + 8 = 0 x = −
⇒ ⇒ 11 .
x2 + 2 = y2 − y x2 − y2 + y + 2 = 0 y = 38
11
( 2 ( 2 41
y − 7 = x2 + x + 1 x − y2 + x + 8 = 0 x = −
⇒ ⇒ 13 .
x2 + 2 = y2 + y + 1 x2 − y2 − y + 1 = 0 y = − 50
13
Since x and y must be positive, we have x = 3 and y = 2.
29. Find the smallest number made up of only digits 1 and 0 such that the number
is divisible by 2016.
Solution. Since 2016 = 32 · 63, we can reduce the problem to find the smallest
number made up of only digits 1 and 0 such that the number is divisible by 63 that
is we look for natural numbers n1 , n2, . . ., nr such that
n 0 1 2 3 4 5 6
10n mod 63 1 10 37 55 46 19 1
30. Determine d, given that the real numbers a, b, c and d satisfy the equation
√
a2 + b2 + c2 + 519 = d + 36 10a + 14b + 22c − d.
Solution: d = 66.
Solution. If we solve for d, we get
q
d = a2 + b2 + c2 − 129 ± −(a − 5)2 − (b − 7)2 − (c − 11)2 .
31. Construct the semicircle of maximum area inscribed in a rectangle with dimen-
sions a and b (a > b).
Solution. Let ABCD be a rectangle with AB = a, BC = b. We need a construction
for X on BC such that this figure is possible:
D T C
Z
O
AX M B
Z
O
F N D
A X M B
A D
B C
B C
1
2
! "
3
Call t = OP/OB.
1 2 √ 1 √ π R2
R ( 3 − t) + (2π − 3 3)R2 =
4 12 8
π
⇒t = ⇒ OP : PB = π : 6 − π .
6
Francisco Javier Garcı́a Capitán, May 26, 2022.
5.21 Homography between two lines 99
a $
'
&
#
b
b =R − 2a,
p
aR2 (R − 2a)2 + 2a2 R(R − 2a) a − R(R − 2a)
c= .
4a4 + 4a2 R2 − 4aR3 + R4
L OCUS OF C
4R4 + 4R3 x − 16R2 x2 + 4Rx3 + 4x4 − 8R3 y − 4R2 xy + 12Rx2 y − 9R2 y2 + 6Rxy2 +
8x2 y2 + 8Ry3 + 5y4= 0.
Francisco Javier Garcı́a Capitán, June 1, 2022.
100 5 Problems from around the world
A
3k/2
3k
A 0,
2
O
-k 3k/2
O
B
-k
k
B 0, -
2
For convenience, we perform a rotation of 45◦ around the origin. Then we get
the curve with equation
√
3k(X 2 −Y 2 ) + 2Y 3X 2 +Y 2 = 0.
Now we consider an arbitrary triangle ABC. What is the equation of the folium
of Descartes having A as node and BC as asymptote?
We take into account that cartesian coordinates of a point P are signed distances
from P to two perpendicular axes.
X P(X,Y)
If P has barycentric coordinates with respect to a triangle ABC then we can con-
sider the formulas
SBy − SC z Sx S S(y + z)
X= , Y= − =− ,
a(x + y + z) a(x + y + z) a a(x + y + z)
5.22 Folium of Descartes in Triangle Geometry 101
B C
102 5 Problems from around the world
33. Let ABCD be a cyclic quadrilateral. Call E the intersection of AC and BD. An
DY
arbitrary line XY meets AB at X and CD at Y . Then XAXB · YC does not depend on XY .
Problem RG10360. Proposed by Dào Thanh Oai.
A
D
E
X
Y
B
C
AQ 2k − TATM AT AQ · AM AM 2
= = AT
=− ⇒ AT = − ⇒ TM = − ,
QM 1 − 2k 1 + T M AM QM QM
or MQ · MT = MA2 that is, T is the inverse of Q with respect to the circle (M, MA).
We give the following construction:
Given a triangle ABC, construct the midpoint M of ABC.
For any point Q on AM, construct the inverse T of Q with respect to the circle
(M, AM).
We apply Pascal Theorem to the conic BBCJAB JAC , where JAB and JAC are the
infinite points of AB and AC respectively. We consider the points:
5.23 Study of Problem RG10360 103
T
W
D
Q
E
B M C V
When V varies on BC, D varies on the conic. For every point D on the conic we
have the same value k. More precisely,
AQ 2k AX DY q AQ
q= = , · =k= = .
QM 1 − 2k XB YC 2(1 + q) 2 · AM
GetSolutions[set_] := Select[Subsets[set,{2}],
Apply[Times,#]==Apply[Plus,Complement[set,#]]&]
sets=Subsets[Range[1,15],{9}];
sols=Select[sets,Length[GetSolutions[#]]==3&]
{{1,2,3,4,5,9,10,11,14}}
sols = FindSolutions[17, 9, 3, 4]
{{1, 3, 4, 5, 7, 8, 11, 16, 17}}
GetSolutions[First[sols], 3]
{{1, 3, 17}, {1, 5, 11}, {1, 7, 8}, {3, 4, 5}}
35. A set of numbers is called m-good with degree k if there exist k subsets with m
elements whose product equals to the sum of the remaining elements. For example,
the set {1, 2, 4, 5, 7, 8, 9, 12, 23} is 2−good with degree 2since we have 2 · 23 = 1 +
4 +5 +7 +8 +9 +12 and 7 · 8 = 1 +2 +4 +5 +9 +12 +23. Find a set with 9 natural
numbers, the greater being small as possible, that is 3-good with degree 4.
5.23 Study of Problem RG10360 105
8125 = 52 + 902 = 272 + 862 = 302 + 852 = 502 + 752 = 582 + 692
8450 = 132 + 912 = 232 + 892 = 352 + 852 = 472 + 792 = 652 + 652
50 = 12 + 72 = 52 + 52 65 = 12 + 82 = 42 + 72 85 = 22 + 92 = 62 + 72
125 = 22 + 112 = 52 + 102 130 = 32 + 112 = 72 + 92 145 = 12 + 122 = 82 + 92
170 = 12 + 132 = 72 + 112 185 = 42 + 132 = 82 + 112 200 = 22 + 142 = 102 + 102
205 = 32 + 142 = 62 + 132 221 = 52 + 142 = 102 + 112 250 = 52 + 152 = 92 + 132
260 = 22 + 162 = 82 + 142 265 = 32 + 162 = 112 + 122 290 = 12 + 172 = 112 + 132
305 = 42 + 172 = 72 + 162 338 = 72 + 172 = 132 + 132 340 = 42 + 182 = 122 + 142
365 = 22 + 192 = 132 + 142 370 = 32 + 192 = 92 + 172 377 = 42 + 192 = 112 + 162
410 = 72 + 192 = 112 + 172 442 = 12 + 212 = 92 + 192 445 = 22 + 212 = 112 + 182
450 = 32 + 212 = 152 + 152 481 = 92 + 202 = 152 + 162 485 = 12 + 222 = 142 + 172
493 = 32 + 222 = 132 + 182 500 = 42 + 222 = 102 + 202 505 = 82 + 212 = 122 + 192
520 = 62 + 222 = 142 + 182 530 = 12 + 232 = 132 + 192 533 = 22 + 232 = 72 + 222
545 = 42 + 232 = 162 + 172 565 = 62 + 232 = 92 + 222 578 = 72 + 232 = 172 + 172
580 = 22 + 242 = 162 + 182 585 = 32 + 242 = 122 + 212 610 = 92 + 232 = 132 + 212
625 = 72 + 242 = 152 + 202 629 = 22 + 252 = 102 + 232 680 = 22 + 262 = 142 + 222
685 = 32 + 262 = 182 + 192 689 = 82 + 252 = 172 + 202 697 = 112 + 242 = 162 + 212
730 = 12 + 272 = 172 + 212 740 = 82 + 262 = 162 + 222 745 = 42 + 272 = 132 + 242
754 = 52 + 272 = 152 + 232 765 = 62 + 272 = 182 + 212 785 = 12 + 282 = 162 + 232
793 = 32 + 282 = 82 + 272 800 = 42 + 282 = 202 + 202 820 = 62 + 282 = 122 + 262
865 = 92 + 282 = 172 + 242 884 = 102 + 282 = 202 + 222 890 = 72 + 292 = 192 + 232
901 = 12 + 302 = 152 + 262 905 = 82 + 292 = 112 + 282 949 = 72 + 302 = 182 + 252
962 = 12 + 312 = 112 + 292 965 = 22 + 312 = 172 + 262 970 = 32 + 312 = 212 + 232
985 = 122 + 292 = 162 + 272 986 = 52 + 312 = 192 + 252 1000 = 102 + 302 = 182 + 262
106 5 Problems from around the world
1 235 1235 11 22 33 55
1 2 3 5 · 1 2 3 5 = 11 22 33 55 .
1 2 3 5 1 2 3 5 11 22 33 55
1 235 1235 11 22 33 55
5.23 Study of Problem RG10360 107
36. Let ABC be a triangle. For any point P, call XY Z its cevian triangle and DEF its
circumcevian triangle. The locus of points P such that
AD BE CF
+ + =4
AX BY CZ
is the sextic
b2 c4 x4 y2 + a2 c4 x3 y3 + b2 c4 x3 y3 − 2c6 x3 y3 + a2 c4 x2 y4 −
2a2 b2 c2 x4 yz + b4 c2 x4 yz + b2 c4 x4 yz − 2a4 c2 x3 y2 z − b4 c2 x3 y2 z +
4a2 c4 x3 y2 z − 2c6 x3 y2 z − a4 c2 x2 y3 z − 2b4 c2 x2 y3 z + 4b2 c4 x2 y3 z −
2c6 x2 y3 z + a4 c2 xy4 z − 2a2 b2 c2 xy4 z + a2 c4 xy4 z + b4 c2 x4 z2 −
2a4 b2 x3 yz2 + 4a2 b4 x3 yz2 − 2b6 x3 yz2 − b2 c4 x3 yz2 − 2a6 x2 y2 z2 +
2a4 b2 x2 y2 z2 + 2a2 b4 x2 y2 z2 − 2b6 x2 y2 z2 + 2a4 c2 x2 y2 z2 −
6a2 b2 c2 x2 y2 z2 + 2b4 c2 x2 y2 z2 + 2a2 c4 x2 y2 z2 + 2b2 c4 x2 y2 z2 −
2c6 x2 y2 z2 − 2a6 xy3 z2 + 4a4 b2 xy3 z2 − 2a2 b4 xy3 z2 − a2 c4 xy3 z2 +
a4 c2 y4 z2 +a2 b4 x3 z3 −2b6 x3 z3 +b4 c2 x3 z3 −a4 b2 x2 yz3 −2b6x2 yz3 +
4b4 c2 x2 yz3 − 2b2c4 x2 yz3 − 2a6 xy2 z3 − a2 b4 xy2 z3 + 4a4 c2 xy2 z3 −
2a2 c4 xy2 z3 − 2a6 y3 z3 + a4 b2 y3 z3 + a4 c2 y3 z3 + a2 b4 x2 z4 +
a4 b2 xyz4 + a2 b4 xyz4 − 2a2 b2 c2 xyz4 + a4 b2 y2 z4 = 0.
- . / 0 1 2
+ ,
) *
O
Y
Z M
B C
Locus through H
4 5
To identify t2 , we can try to calculate its perpendicular t20 through B, that is the
line t20 : (SA − SC )x + 2SA z = 0, meeting CA at E = (2SA : 0 : SC − SA ). In turn, we
can find that the midpoint of E and C is the point E 0 = (SA : 0 : SC ), the B−trace of
the isotomic conjugate of the orthocenter. This gives a construction of t2 :
A
E
Hb
V
H
E'
O
B C
A'
110 5 Problems from around the world
V the midpoint of CA
Hb the orthogonal projection of B on CA
E 0 the reflection of Hb with respect to V
E the reflection of C with respect to E 0
The asymptote t20 is th perpendicular to BE through B
We can also find that if A0 the second intersection of HA and the conic then we
have AA0 · AH = 2R2 .
Locus through O
H
Z T
O
r2
B D C
S P Q
G
G'
X B C
39 (RG1414). Let ABC be a triangle. For any D on BC, call E the intersection of
CA and the parallel to AB through D, and F the intersection of AB and the parallell
to CA through D. Find the position of D for which EF is minimum.
A
B D C
N M
B D C
K L
Ha
Kcc A
M
Q
Hc
H P
B C
Ke
Hb
Kcc A
M O B'
P M*
L H
B C' C
A'
E
10
10 x
B D C
60
A
70 40
E
30 10
10 x
B 10 D C
20
60
F
If we erect GA0 on GF such that ∠A0 GF = 20◦ , we must have ∠GA0 B = 70◦ ,
therefore A = A0 and G, A, C are collinear.
G
60
20
70 A=A'
70 40
E
30 10
10 x
B 10 D C
20
60
F
116 5 Problems from around the world
Now from GB = GF and ∠CBF = 10◦ , ∠FAC = 20◦ , the triangle GFC is isosce-
les with ∠GFC = 80◦ and therefore ∠EFC = 60◦ = ∠FEC and x = 30◦ .
G
60
20
70 A
70 40
E
10 60
30
10 x
B 10 D C
20
60 60
F
θθ
E
A θ
C
B
5.27 Trazos auxiliares 117
S HO-x
H
x
Si HS : SO = λ entonces
HS HS x
λ= = = .
SO HO − HS HO − x
43. Let ABC be a triangle with centroid G and P a point on its circumcircle. Call Ga ,
Gb , Gc the centroids of PBC, PCA, PAB respectively. Then the four points Ga , Gb ,
Gc , G are concyclic.
Proposed by Kadir Altintas.
P
A
Gc
Gb
G'
S
O
Ga
G
B C
44. Let ABC be a triangle with nine point center N and P a point on its circumcircle.
Call Na , Nb , Nc the nine point centers of PBC, PCA, PAB respectively. Then the four
points Na , Nb , Nc , N are concyclic.
Proposed by Kadir Altintas.
P
A
Nc Nb
N'
S O
Na
N
B C
We use complex numbers and consider the circumcircle the unit circle. We name
points by capital letters and its respective affixes by the corresponding lowercase
letters. In this way we can write 3g = a + b + c, h = a + b + c, 2n = a + b + c where
G, H, N are the centroid, orthocenter and nine point center of ABC.
From a +2na = a +(p +b +c) = p +(a +b +c) = p +2n, if S divides the segment
GP in the ratio 1 : 2, then Na Nb Nc is the image of ABC by a homothety with center
S and ratio − 21 . The circumcenter N 0 of Na Nb Nc satisfies 2N 0 + O = 3S = 2N + P,
and N is the image of P by the homothety, thus N lis on the circumcircle of Na Nb Nc .
5.28 Reto veraniego de Miguel Ángel 119
Z Z Z
2 2 2w2
2
dw = dw − dw
(1 + w2 ) 1 + w2 2
(1 + w2 )
Z
−2w
=2 arctan w + w· dw
(1 + w2 )2
Z
w 1
=2 arctan w + − dw
1 + w2 1 + w2
w
= + arctan w.
1 + w2
Ası́ tenemos B = B1 + B2 siendo
Z 1 1
w w 1
B1 = 2
dw = = ln 2,
0 1+w 1 + w2 0 2
y
Z 1 1 Z 0 Z
1 1 1
B2 = 2
dw = 2
dw = 2
dλ =
0 w − 2w − 1 0 (w − 1) − 2 −1 λ − 2
Z " √ #0
−1 0 1 1 1 2+λ
= √ √ −√ − d λ = − √ ln √
2 2 −1 2+λ 2−λ 2 2 2 − λ −1
√ √
−1 2+1 −1 2+1 1 √
= √ ln √ = √ ln √ = − √ ln 2+1 .
2 2 2−1 2 2 2−1 2
Entonces
1 1 √ √ √
I = −4 − √ ln 1 + 2 = 2 2 ln(1 + 2) − 2.
2 2
5.28 Reto veraniego de Miguel Ángel 121
hallar u5 + v5 + w5 + t 5 .
Solución de Francisco Javier Garcı́a Capitán. Consideramos los polinomios
simétricos elementales
σ1 = u + v + w + t,
σ2 = uv + uw + ut + vw + vt + wt
σ3 = vwt + uwt + wvt + vwt
σ4 = uvwt
p1 = σ1 = 2,
p2 = σ12 − 2σ2 = 4,
p3 = σ13 − 3σ1 σ2 + 3σ3 = 8,
p4 = σ14 − 4σ12 σ2 + 2σ22 + 4σ1 σ3 − 4σ4 = 19,
O B P
O C B P
A'
Tenemos
√
p OA · PA r · OP2 − r2
AP = OP2 − r2 , AC = =
OP OP
y, como C es el inverso de P respecto de la circunferencia (O, r),
r2
BC = r − OC = r − .
OP
El área lateral del cono con base AA0 y generatriz PA es
49. Determinar un número n ∈ N cuadrado perfecto tal que n20 + n13 tenga dos mil
trece cifras.
Solución de Francisco Javier Garcı́a Capitán. Escribiendo n = m2 , queremos que
el número f (m) = m40 + m26 tenga 2013 cifras.
Para m = 1050 , el número f (m) = 102000 + 101300 tiene 2001 cifras, mientras que
para m = 1051 , el número f (m) = 102040 + 101326 tiene 2041 cifras.
Para m = 2 · 1050, es m40 = 240 · 102000 cuyo logaritmo decimal es
log10 240 102000 = 2000 + 40 log10 2 = 2012, 0412,
por lo que m40 tendrá 2013 cifras, las mismas que tendrá m40 + m26 .
f[m_]:=1+IntegerPart[Log[mˆ26+mˆ40]/Log[10]]
ObtenerExtremo[direccion_] := Module[{m,k,c},
m=2 10ˆ50;
k=1;
While[k>=1,
k=0;While[f[m+ direccion 10ˆk]==2013,k++];k--;
c=1;While[f[m+ direccion c 10ˆk]==2013,c++];c--;
m=m+ direccion c 10ˆk;
];
m
]
Se obtienen los siguientes números mı́nimo y máximo de m para los que m40 +
m26 tiene 2013 cifras.
Con el siguiente código de Mathematica
ObtenerExtremo[-1]
199526231496887960135245539673953555798627431540535
ObtenerExtremo[1]
211348903983664679556034531737932801048741794608265
124 5 Problems from around the world
Z
1 n n2 + x2
50 (Ejercicio 3435). Calcular lı́m dx .
n→∞ n3 0 5−x + 7
Solución de Francisco Javier Garcı́a Capitán. El teorema de la convergencia
dominada dice: “Sea f ( n) una sucesión de funciones integrables, la cual converge
puntualmente a una función medible f . Si existe una función g integrable cumplien-
R para todo Rn se da la desigualdad | f n| ≤ g entonces la función f es integrable
do que
con f d µ = lı́m f n d µ ”.
Z n 2 Z n Z 1
1 n + x2 1 n2 + x2 1 + t2
lı́m dx = lı́m dx = lı́m dx.
n→∞ n3 0 5−x + 7 n→∞ 0 n3 5−x + 7 n→∞ 0 5−nt + 7
Por ser
1 + t2 1 + t2
6 , para todo t ∈ [0, 1],
5−nt + 7 7
" #
3 1
Z 1
1 + t2
Z 1
1 + t2 t + t3 4
lı́m dx = dx = = .
n→∞ 0 5−nt + 7 0 7 7 21
0
5.28 Reto veraniego de Miguel Ángel 125
teniendo en cuenta que los números reales a y b verifican que b 6= 0 y que a2 +2b = 0
o a = 0.
Solución de Francisco Javier Garcı́a Capitán. Resolvemos en primer lugar el
caso a = 0 que parece más fácil y luego intentamos aplicar el método para el caso
a2 + 2b = 0. El método consiste en obtener f (x) mediante un sistema de ecuaciones
con dos incógnitas, siendo una de ellas f (x) y no teniendo para nosotros interés el
valor de la otra incógnita. Pues bien, si a = 0, la función g(x) = f (x) + 3 f ( 1x ) − x
1
debe ser nula. Teniendo en cuenta que g( bx ) también debe ser cero, tenemos
1
f (x) + 3 f −x = 0
bx 1
f (x) − x − 3 − + 3 f (x) = 0
1 1 bx
− +f + 3 f (x) = 0
bx bx
3 3 x
⇒ 8 f (x) = −x + ⇒ f (x) = − .
bx 8bx 8
Ahora consideramos el caso a2 + 2b = 0. En este caso es nula la función
2(ax + 1)
g(x) = f (x) + 3 f − − x,
a2 x
sust=Thread[Map[f,Simplify[NestList[u,x,3]]]->{F,U,V,W}];
eqns=Table[Simplify[g[Nest[u,x,n]]]==0,{n,0,3}]/.sust;
Apart[Solve[First[Eliminate[eqns,{U,V,W}]],F][[1]]/.F->f[x],x]
A
M
D
C' E B'
J
G
L
E'
D'
A'
B K C
A parallelogram
Q D
C' B'
E
P G R
E'
D'
A'
S
B C
Then from
and
3Q = E + A + D, 4G = 3E 0 + E ↔ 3E 0 = A + B +C + D − E,
we get
3B0 + 3C 0 − 3Q =(C + D + A) + (D + A + B) − (E + A + D)
=A + B +C + D − E = 3E 0 ,
that is QB0 E 0C 0 is a paralelogram and (QB0C 0 ) and (E 0 B0C 0 ) has the same area. It
follows that PQRS is a paralelogram whose area is twice the area of A0 B0C 0 D0 .
5.29 Collinear centroids 129
The following figure is the result of a change of notation and some adding to the
figure proposed by Daniel Hardisky.
ABCD Given quadrilateral
E Intersection of AC and BD
J, K, L, M Midpoints of AB, BC, CD, DA.
A0 , B0 ,C 0 , D0 Centroids of BCD, CDA, DBA, ABC.
G Intersection of JL and KM
E0 Centroid of region ABCD.
R Centroid of region A0 B0C 0 D0 .
S Centroid of region EFE 0 H.
T =U Centroid of EF H = midpoint of EE 0 .
V Centroid of E 0 FH.
Ki Kirikami center
7
9 ;
<
= F
6 ;
>
C D E
: ;
8 ;
7 ;
A
H I
KiE 0 : E 0V : V G : GR : RS : ST : T E = 6 : 2 : 1 : 1 : 1 : 1 : 6.
130 5 Problems from around the world
EM : MT : T S : SR : RM 0 : M 0 G : GV : V E 0 = 14 : 4 : 3 : 3 : 2 : 1 : 3 : 6.
O K
W X
= U
P K
R S
Y Z
[ \
J K
M
Q K
5.30 A bizarre generalization 131
9 5
M
I N
B 8 X C
The first obvious generalization consist of considering an arbitrary triangle ABC,
and still the solution is quite simple: ST = s − a = 21 (b + c − a).
Let us not stop here. We observe that AX is the A−cevian of Gergonne point and
the fact that the incircle is the inconic with perspector the Gergonne point.
We consider an arbitrary point P = (u : v : w) with cevian triangle XY Z instead the
Gergonne point, then we have the inconic with perspector P touching the sidelintes
BC, CA, AB at X, Y , Z respectively:
S
Z
Y
M Q P
T N
B X C
132 5 Problems from around the world
We recall that the center Q of the inconic is the complement of the isotomic
conjugate of P.
The formula for the squared distance ST 2 is
The locus of points P for which the formula is symmetric with respect to B and
C is a quartic that obviously goes through the Gergonne point:
` a
^ _
Por tanto,
GetType[perm_]:=Module[{M},
M=Apply[Times,perm];
Map[Boole,{
Mod[M,2]Mod[M,3]!=0,
And[Mod[M,2]==0,Mod[M,3]Mod[M,4]!=0],
And[Mod[M,4]==0,Mod[M,3]!=0]}]
]
Simulate[n_]:=Module[{universe,num1,num2,num3},
universe=Tuples[Range[1,6],{n}];
Append[Total[Map[GetType,universe]],Length[universe]]
]
sols=TableForm[Table[Simulate[n],{n,1,6}]]
2n n · 2n−1 4n − (n + 2) · 2n−1
(1) , (2) , (3) .
6n 6n 6n
55. Sean ABC un triángulo donde los puntos B y C son fijos y A varia sobre una
circunferencia de diámetro BC. La perpendicular por C a BC corta a la prolongación
de BA en D. Sea A0 el simétrico de A respecto de BC y X la intersección de la recta
BC con la paralela a CA0 trazada por D.
1. Demostrar que los triángulos ABC y CDX son semejantes y hallar su centro de
semejanza S.
D
X B C
A'
2. Sea S0 el punto inverso de S respecto de la circunferencia (C,CB). Demostrar
que, al variar A, S0 describe una parábola, cuyo foco y directriz se determinarán.
3. Sean U y U 0 las proyecciones de A y S sobre la recta BC. Demostrar que U 0 es el
inverso de U respecto de la circunferencia (C,CB).
136 5 Problems from around the world
Solución. Por ser ∠BAC = ∠BCA0 = ∠CXD, los triángulos rectángulos ABC y
CDX son semejantes.
D
S
X B C
A'
Ahora, por ser CAD = 90◦ , A está en la circunferencia con diámetro CD. Sea
S la segunda intersección de las circunferencias con diámetros AB y CD. Por ser
∠BSD = ∠BSA + ∠ASD = 90◦ + ASD = ∠ASD + ∠DSC = ∠ASC, S es el centro de
la semejanza directa que transforma AB en CD y por tanto el triángulo ABC en su
semejante CDX.
Ahora introducimos coordenadas cartesianas de manera que
a a a 1 − t 2 2t
B = − , 0 ,C = ,0 ,A = , .
2 2 2 1 + t2 1 + t2
S'
A
S
F
X U' B U C
a a 1 − t2 at 2 a a(2 + t 2) a(1 + t 2)
− 2
= , + =
2 2 1 +t 1 + t2 2 2t 2 t2
deducimos que CU · CU 0 = a2 .
D
S
X B C
138 5 Problems from around the world
T
A
α/2 α
B O C
Z1 Y2
101 220
021
201
120
Z2 Y1
022
102 210 011
012
110 202
B X1 X2 C
Para que estos seis puntos estén sobre una cónica, debe ser nulo el determinante
Z1 Y2
220
101
021
201
120
Z2 Y1
102 210
022 011
012 202
110
B X1 X2 C
5.33 Cónicas y más cónicas 141
57. Find the minimum value of k such that the system of equations
(
a+b+c = 1
a2 + b2 + c2 = k
58. Find in ten or more ways the minimum value of k such that the system of equa-
tions (
a+b+c = 1
a2 + b2 + c2 = k
has some real solution.
Proposed by Kunihiko Chikaya.
Solution by Francisco Javier Garcı́a Capitán. The first equation represents a plane
in R3√whereas the second one represents the sphere centered at the origin with ra-
dius k. The minimum value of k for which the system has at least a solution is 13 ,
since ( 13 , 13 , 13 ) is the orthogonal projection of the origin on the plane a + b + c = 1
and in that case we have
3 1
a2 + b2 + c2 = = .
9 3
1
If k < 3 there is no solution, therefore the minimum value of k is 31 .
142 5 Problems from around the world
A
M'
N'
M
E
D
N G
F
B C
2 2
AE 2 =AM 0 = AM 2 + MM 0 = AM 2 + AM · MC
1 1 1
=AM(AM + MC) = AC · AC = AC 2 ⇒ (ADE) = (ABC).
3 3 3
2 02 2 02 2
AG =AN = AN + NN = AN + AN · NC
2 2 2
=AN(AN + MC) = AC · AC = AC 2 ⇒ (AFG) = (ABC).
3 3 3
A
M T
D E
B C
m
Si buscamos que (ADE) = n · (ABC), una construcción general es la siguiente:
1. Hallamos M sobre AC tal que AM : AC = mn .
2. Trazamos la tangente AT desde A a la circunferencia con diámetro MC.
3. La circunferencia con centro A y radio AT corta en E a AC.
4. La paralela por E a BC corta a AB en D.
5.35 Teoerema General de Equivalencia 143
Ac
Bc Cb
O Ab
Ba
B C
Ca
Quiere decir que en un sistema de ecuaciones podemos sustituir una ecuación por
una combinación lineal de todas ellas siempre que el coeficiente de la ecuación que
se cambia no sea cero. Ası́, en el sistema siguiente formado por las tres ecuaciones
E1 , E2 , E3 hemos cambiado la tercera E3 por el resultado de a la tercera restarle la
primera y la segunda. Es decir E30 = (−1) · E1 · (−1) + E2 + 1 · E3, y aquı́ el coefi-
ciente de E3 no es cero.
E1 : 2x + 3y + z − 5 = 0
E1 : 2x + 3y + z − 5 = 0
E2 : x + y + z − 4 = 0 ⇒ E2 : x + y + z − 4 = 0 .
0
E3 : 4x + 7y + z − 7 = 0 E 3 : x + 3y − z + 2 = 0
144 5 Problems from around the world
h i
b
j
b c
8b2
e2 = .
a2 + 9b2
If Ge is Gergonne point and Ma is the midpoint of BC, then we have
l m
n o p q
√ √ √ √ n
2 15 + 10 2 − 8 3 − 6 6
rn = √ √ √ .
3 2− 3+ 6
∞
√ √
2 6− 2 π π
∑ n π r =
24
π = · sin .
6 12
n=1
r x
} ~
y z { |
x x
s t
s u t
Now we look for the locus of P such that the orthic triangle of the cevian triangle
of P is homothetic to ABC.
If we use barycentric coordinates and write P = (x : y : z) we find that together
with Gergonne point there exist three other points, each one on one of the cevians
of Nagel point X8 , that satisfy the property.
The point on the A−cevian of Nagel point is
(s − b)(s − c) A
(AXX8 Pa ) = − = −tan2 .
s(s − a) 2
AC 2
BU : UC = − .
AB2
5.36 Orthic triangle of cevian triangle homotetic to ABC 147
L' U B L C
Proof. From BL : LC = b : c and BL0 : L0C = −b : c we can write
( ( 2
(b + c)L = cB + bC (b − c2 )L = c(b − c)B + b(b − c)C
⇒
(b − c)L0 = −cB + bC (b2 − c2 )L0 = −c(b + c)B + b(b + c)C
⇒ (b2 − c2 )(2U) = (b2 − c2 )(L + L0 ) = −2c2 B + 2b2C
⇒ (b2 − c2 )U = −c2 B + b2C ⇒ BU : UC = −b2 : c2 .
Z L
I
X8
T
U
B X C
Pa
M
L'
148 5 Problems from around the world
N
D
C
A B
M Y
D X
C
D
A B
Y N
A B
De las áreas
(MCA) Y M AY w (MAB) MA AY w
(MBC) = (ABC), = =− =− , = = =
(BCA) YB YC u (CAB) CB YC u
u v −u − v
u −w w = uw2 + vw(v + w) − w(u + v)(v + w) + uvw
v + w 0 −w
= uw2 − uw(v + w) + uvw = 0.
Geometrı́a Proyectiva
Una idea puede ser considerar una recta cualquiera r en lugar de la recta del
infinito:
J
I
L
r
M
D N
A B
5.37 Un problema trabajoso 151
Ası́ el problema es más general. Lo que podemos hacer ahora es volverlo a par-
ticularizar proyectando la recta AB a la recta del infinito, por lo que todas las rectas
que pasan por A o B se convierten en paralelas:
L D C
A N
B
152 5 Problems from around the world
66. Let ABC be a triangle with incenter I and excenters Ia , Ib, Ic , and P a point. Call
X,Y, Z the contact points with the circumcircle of the mixtilinear incircles and A0 ,
B0 , C 0 the intersection points A0 = XI ∩ PIa , B0 = Y I ∩ PIb , C 0 = ZI ∩ PIc and also the
points A00 = B0C 0 ∩ AI, B00 = C 0 A0 ∩ BI, C 00 = A0 B0 ∩ CI. Then the lines A0 A00 , B0 B00 ,
C 0C 00 concur at some point Q.
5.38 Generalizing a problem by Tran Viet Hung 153
Ib
A
B'
Ic Y
A''
C' Z
I O
Q
P C''
B C
B''
X
A'
Ia
where KI = (bx − ay)(cx − az)(−cy + bz) is the product of the three internal angle
bisectors and KK is the cubic
154 5 Problems from around the world
Further generalizations
Note that in the previous problem Ia Ib Ic is the anticevian triangle of I. What hap-
pens if we replace I for any point M and consider its anticevian triangle Ma Mb Mc ?
67. Let ABC be a triangle, M a point, Ma Mb Mc the anticevian triangle of M and
P a point. Call X,Y, Z the contact points with the circumcircle of the mixtilinear
incircles and A0 , B0 , C 0 the intersection points A0 = XM ∩ PMa , B0 = Y M ∩ PMb , C 0 =
ZM ∩ PMb and also the points A00 = B0C 0 ∩ AM, B00 = C 0 A0 ∩ BM, C 00 = A0 B0 ∩ CM.
What is the locus of M such that the lines A0 A00 , B0 B00 , C 0C 00 concur at some point Q
for any point P ?
The locus is the isocubic with pole X604 and pivot X1420 , that goes through X( n)
for n = 1, 56, 266, 1420, 1616, 2137, 3445, 7963.
Moreover we can take into account that XY Z is the circumcevian triangle of X56 ,
and consider instead the circumcevian triangle of any other point T . We have the
following result:
68. Let ABC be a triangle, T = (p : q : r) a point with circumcevian triangle XY Z.
For any point M with anticevian triangle Ma Mb Mc and any point P we consider the
intersection points A0 = XM ∩ PMa , B0 = Y M ∩ PMb , C 0 = ZM ∩ PMb and also the
points A00 = B0C 0 ∩ AM, B00 = C 0 A0 ∩ BM, C 00 = A0 B0 ∩CM. The locus of M such that
triangles A0 B0C 0 and A00 B00C 00 are perspective for any P is the isocubic with pole
5.38 Generalizing a problem by Tran Viet Hung 155
This point can be regarded as the isogonal conjugate of the crosspoint of X76 and
the isotomic conjugate of T .
The pivot is the point
2
−a qr + c2 pq + b2 pr a2 qr − b2 pr + c2 pq +a2 qr + b2 pr − c2 pq
: :
c2 q + b2 r a2 r + c2 p b2 p + a2 q
These are the values of the pole and the pivot in ETC for some points
T pole pivot
X1 X1333 X21
X2 X251 X1799
X3 X6 X20
X4 X8882 X8884
X6 X32 X6
X21 X1169 X40452
X25 X25 X6353
X55 X31 X165
X56 X604 X1420
156 5 Problems from around the world
M P N
A K B
d
M P N
Q c
A a K b B
CE a + b +CE (a + b)d
From similar triangles NCE ∼ ADE, = ⇒ CE = .
d c+d c
KQ AK ac
From similar triangles AKQ ∼ ECQ, = = .
QC CE (a + b)d
We also have
CD a+b LP d
=− , = .
DL a PK c
Therefore
CD LP KQ a+b d ac
· · =− · . = −1,
DL PK QC a c d(a + b)
thus D, P, Q are collinear by Menelaus Theorem applied to triangle KCL.
5.39 Parallelogram lemma 157
74
is the number of collections of subsets of {1, 2, 3} that are closed under union and
intersection.
Happy Birthday, Daniel Hardisky!!!
Francisco Javier Garcı́a Capitán, Aug. 28, 2022.
{{}, {{}}, {{1}}, {{2}}, {{3}}, {{1, 2}}, {{1, 3}}, {{2, 3}},
{{1, 2, 3}}, {{}, {1}}, {{}, {2}}, {{}, {3}}, {{}, {1, 2}}, {{}, {1, 3}},
{{}, {2, 3}}, {{}, {1, 2, 3}}, {{1}, {1, 2}}, {{1}, {1, 3}}, {{1}, {1, 2, 3}},
{{2}, {1, 2}}, {{2}, {2, 3}}, {{2}, {1, 2, 3}}, {{3}, {1, 3}}, {{3}, {2, 3}},
{{3}, {1, 2, 3}}, {{1, 2}, {1, 2, 3}}, {{1, 3}, {1, 2, 3}}, {{2, 3}, {1, 2, 3}},
{{}, {1}, {1, 2}}, {{}, {1}, {1, 3}}, {{}, {1}, {1, 2, 3}}, {{}, {2}, {1, 2}},
{{}, {2}, {2, 3}}, {{}, {2}, {1, 2, 3}}, {{}, {3}, {1, 3}}, {{}, {3}, {2, 3}},
{{}, {3}, {1, 2, 3}}, {{}, {1, 2}, {1, 2, 3}}, {{}, {1, 3}, {1, 2, 3}},
{{}, {2, 3}, {1, 2, 3}}, {{1}, {1, 2}, {1, 2, 3}}, {{1}, {1, 3}, {1, 2, 3}},
{{2}, {1, 2}, {1, 2, 3}}, {{2}, {2, 3}, {1, 2, 3}}, {{3}, {1, 3}, {1, 2, 3}},
{{3}, {2, 3}, {1, 2, 3}}, {{}, {1}, {2}, {1, 2}}, {{}, {1}, {3}, {1, 3}},
{{}, {1}, {1, 2}, {1, 2, 3}}, {{}, {1}, {1, 3}, {1, 2, 3}}, {{}, {1}, {2, 3}, {1, 2, 3}},
{{}, {2}, {3}, {2, 3}}, {{}, {2}, {1, 2}, {1, 2, 3}}, {{}, {2}, {1, 3}, {1, 2, 3}},
{{}, {2}, {2, 3}, {1, 2, 3}}, {{}, {3}, {1, 2}, {1, 2, 3}}, {{}, {3}, {1, 3}, {1, 2, 3}},
{{}, {3}, {2, 3}, {1, 2, 3}}, {{1}, {1, 2}, {1, 3}, {1, 2, 3}},
{{2}, {1, 2}, {2, 3}, {1, 2, 3}}, {{3}, {1, 3}, {2, 3}, {1, 2, 3}},
{{}, {1}, {2}, {1, 2}, {1, 2, 3}}, {{}, {1}, {3}, {1, 3}, {1, 2, 3}},
{{}, {1}, {1, 2}, {1, 3}, {1, 2, 3}}, {{}, {2}, {3}, {2, 3}, {1, 2, 3}},
{{}, {2}, {1, 2}, {2, 3}, {1, 2, 3}}, {{}, {3}, {1, 3}, {2, 3}, {1, 2, 3}},
{{}, {1}, {2}, {1, 2}, {1, 3}, {1, 2, 3}}, {{}, {1}, {2}, {1, 2}, {2, 3}, {1, 2, 3}},
{{}, {1}, {3}, {1, 2}, {1, 3}, {1, 2, 3}}, {{}, {1}, {3}, {1, 3}, {2, 3}, {1, 2, 3}},
{{}, {2}, {3}, {1, 2}, {2, 3}, {1, 2, 3}}, {{}, {2}, {3}, {1, 3}, {2, 3}, {1, 2, 3}},
{{}, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}}
158 5 Problems from around the world
r3
r1
r2
√
R r1 + 3r2 + 4 r1 r2
=
r3 r1 − r2
Francisco Javier Garcı́a Capitán, Aug. 28, 2022.
From s s
Na = (s − a : s − b : s − c), M = 0 : : ,
2 2
both with sum (weight) s the reflection of Na in M is the point
E = 2M − Na = (−(s − a) : b : c) .
a
b
2R
C
K N
E r
Q
M L
A B
r r r r Rr
EQ = 1
= 1
= = u = .
sin 2 ∠NEL sin 2 ∠BED
sin ∠BCD R u
C
K N
E r
Q
M L
A B
Our next step is to find the image of the circle (Q, r) by an inversion of center C
and radius R.
C
T
E P r
Q
R
O u
A B
The inverse of the circle (Q(r), r) with respect to the circle (C, R) is the circle
(P(r), p(r)) where
5.39 Parallelogram lemma 161
√
2
4rR3 (R2 − u2 )u R2 − u2 4r2 (R2 − u2 ) − R4 u2
P(r) = 2
, 2
R4 u2 + 4r2 (R2 − u2 ) R4 u2 + 4r2 (R2 − u2 )
and
4rR2 u2 (R2 − u2 )
p(r) = 2
.
R4 u2 + 4r2 (R2 − u2 )
Now we use the following formula for two exterior tangent circles (M, r) and
(M, r0):
r'
r r r'
O d M M'
Rr
r r0 r0 d+r u +r R+u
= 0
⇒ = = Rr = .
d d +r+r r d−r u −r R−u
We write the equations
(R + u)r (R − u)r
p = a, p (r) = b, p =c
R−u R+u
70. Let ABC a triangle, (N) a circle through B and C, P the pole of BC with respect
to (N), and DE the polar of A with respect to (N). Prove that BD, CE and AP concur.
Proposed by Ahmet Sukru Albayrak as RG10774, Aug. 24, 2022
A
Q
P
B M C
R E
Remarks:
1. If BC and DE meet at X then both the intersections Q, R of BD, CE and BE,CD
lie on the polar of X, that is AP.
2. We can find the equation of the locus contaning Q and R:
Supondremos en principio sólo que r1 , r2 , r3 > 0 y que los centros tienen coorde-
nadas
O1 = (−r1 − r2 , 0), O2 = (0, 0), O3 = (r2 + r3 , 0).
Las circunferencias tienen ecuaciones:
C1 : x2 + y2 + 2(r1 + r2 )x + r2 (2r1 + r2 ) = 0,
C2 : x2 + y2 − r22 = 0,
C3 : x2 + y2 + 2(r3 + r2 )x + r2 (2r3 + r2 ) = 0.
ax2 + by2 + dx + f = 0,
Resolviendo, obtenemos
d(r1 − 2r2 + r3 ) 2d
a=− ,b = ,
2r2 (r1 − r3 ) r1 − r3
dr2 (r12 + 4r1 r2 + 8r22 − 2r1 r3 + 4r2 r3 + r32 )
f =−
2(r1 − r3 )(r1 + 2r2 + r3 )
(x − x0 )2 y2
+ 2 = 1,
a2 b
16r23 (r22 − r1 r3 ) 4r22 (r22 − r1 r3 )
a2 = 2
, b2 = − .
(r1 − 2r2 + r3 ) (r1 + 2r2 + r3 ) (r1 − 2r2 + r3 )(r1 + 2r2 + r3 )
De esta forma obtenemos
√
Si r2 < r1 r3 , la cónica es una hipérbola.
√
Si r2 = r1 r3 , la cónica está formada por dos rectas.
√
Si r1 r3 < r2 < 12 (r1 + r3 ), la cónica vuelve a ser una hipérbola.
Si r2 = 12 (r1 + r3 ), la cónica es una parábola.
Si r2 > 12 (r1 + r3 ), la cónica es una elipse.
Aquı́ vemos el caso en que la cónica es una parábola
¡ ¢ £ ¤ ¥ ¦ § ¨ © ª «
Pero las condiciones que hemos impuesto no obligan a ello, es decir, los pun-
tos de tangencia pudieran ser imaginarios. Recordemos que dos cónicas tienen en
general cuatro puntos en común, pero que dos de ellos o los cuatro pueden ser imag-
inarios, confundidos o no.
En este caso la elipse tiene puntos de contacto imaginarios con una de las cir-
cunferencias. Hemos trazado las rectas que unen los puntos de tangencia, que son
reales en todos los casos:
4 6 2
2 6 ¬
que serán reales cuando r1 (r1 + r2 + r3 ) > r22 . De la misma forma, los puntos de
tangencia con O3 (r3 ) son
q
2 r (r + r ) r (r + r + r ) − r 2
r
2 3 (3r + 4r 2 + r1 ) 2 2 3 3 1 2 3 2
,± ,
r1 + 2r2 + r3 r1 + 2r2 + r3
B'
Ya
A
Za
C'
Q P
Zb Yc
B
C
Z
Xc
Xb
Y
A'
S can be regarded as the pole with respect to the Steiner inellipse of the line
L (P) joining P and the cevian quotient G/P of G and P.
The line L (P) also goes through the crosspoint of P and G.
Francisco Javier Garcı́a Capitán, Sep. 2, 2022.
168 5 Problems from around the world
In fact this is the dual conic of the conic we are looking for, so we calculate the
conic whose matrix is the adjoint matrix of this conic:
20 28 12 −48 −12 216
M = 28 −4 6 ⇒ Ad j(M) = −12 −84 216
12 6 3 216 216 −864
4 1 −18
∼ 1 7 −18 = M ∗ ,
−18 −18 72
41
Now call M1 = , formed by the two first rows and the two first columns of
17
M ∗, the determinants ∆ = det M ∗ , δ = det M1 and λ1 , λ2 the eigenvalues of M1 , that
is ∆ = −972,
√ δ = 27 and λ1 , λ2 the roots of λ 2 − 11λ + 27 = 0, namely λ1 , λ2 =
1
2 (11 − 13).Then the conic has reduced equation
∆
λ1 x2 + λ2 y2 + =0
δ
and the values of semiaxes a and b of the ellipse satisfy
√ √
2 2 11 + 13 2 2 11 − 13
a = ,b =
3 3
giving an area equal to
2√ √
S = π ab = π · 121 − 13 = π · 4 3.
3
Francisco Javier Garcı́a Capitán, Sep. 4, 2022.
5.42 Sobre la circunferencia homotética 169
En particular una circuncónica, es decir una cónica que pase por los vértices de ABC
tendrá una ecuación de la forma pyz + qzx + rxy = 0.
Dada una cónica no degenerada, con ecuación 5.8 y si tenemos en cuenta que
esta ecuación puede escribirse en la forma
podemos deducir que nuestra cónica tiene los mismos puntos del infinito que la
circuncónica de ecuación
ParametrosCircunconicaHomotetica[conic_] := Module[
{k, k2, circun, ptS, ptS0, ptP1, ptP2},
k2 = CuadradoRazonCircunconicaHomotetica[conic];
k = PowerExpand[Sqrt[k2]];
circun = CircunconicaHomotetica[conic];
ptS = CentroConica[conic];
ptS0 = CentroConica[circun];
ptP1 = DividirRazon[ptS, ptS0, -k, 1];
ptP2 = DividirRazon[ptS, ptS0, k, 1];
{{ptP1, k}, {ptP2, -k}}
]
Como ejemplo, consideremos la circuncónica que tiene por puntos del infinito
los puntos del infinito de las medianas BG y CG del triángulo ABC, y que tiene de
ecuación 2xy + 2xz − yz = 0.
® ¯
´
² ³
¸ ¹
¸
¶ ·
Ahora consideramos otra cónica con los mismos puntos del infinito pero obligan-
do a que pase por los puntos medios de AB y AC y por el simétrico de uno de ellos
respecto del centro S de la cónica anterior. De esta forma obligamos a que tengan
las misma ası́ntotas:
» ¼
Además hemos obligado a que la cónica ocupe las otras regiones formadas por
estas ası́ntotas que no ocupaba la cónica anterior.
Si intentamos buscar una circuncónica que sea homotética a esta nueva cónica ro-
ja, debera tener los mismos puntos del infinito, por lo que deberá ser la circuncónica
naranja de partida.
Concluimos que no hay circuncónica homotética en este caso. Se puede compro-
bar que la fórmula 5.9 nos da aquı́ k2 = − 81 .
172 5 Problems from around the world
Putting all together we can check the validity of the following formula, due to
Jean-Pierre Ehrmann:
2 2
B −C B −C
d 2 = a sin − L tan .
2 2
5.44 A locus by Daniel Hardisky 173
74. Let ABC be a triangle and P a point. Call x, y, z the distances from P to lines BC,
CA, AB, respectively. Find the locus of P such that x2 = y2 + z2 .
Proposed by Daniel Hardisky.
Solution. If we use barycentric coordinates with respect to ABC, the locus of P
is the conic b2 c2 x2 − a2 c2 y2 − a2 b2 z2 = 0, that goes through the feet of the internal
and external bisectors of angles B and C. The center of the conic is the intersection
Ta of tangents at B and C to the circumcircle.
The conic is an ellipse, parabola or hiperbola according to A > 90◦ , A = 90◦ or
A > 90◦ , respectively.
The conic is a circle when A is the centroid of an equilateral triangle erected on
BC, that is, when AB = AC and ∠BAC = 120◦ .
Ta
Y'
Z'
A
Z
Y
I
B C
75. Let ABC be a triangle. Call Ia the A−excenter, Y, Z the contact points of the incir-
cle with sides CA, AB and M, N the midpoints of IaY, IaZ. Prove that the intersection
point P of lines BN and CM lies on the circumcircle of ABC.
Y
Z O
B C
N M
P
Y'
Z'
Ia
Pb
Pc
O
I
B C
Pa
76. For any point on l, call X,Y, Z the second intersections of the circumcircle and
the lines SA, SB, SC respectively, that is, XY Z is the circumcevian triangle of S.
Then lines XPa , Y Pb , ZCc se concur on another point T on l.
176 5 Problems from around the world
A
Z
Pb
Pc B'
C'
Y A'
A'' B C
Pa X
T
l
C''
S
B''
s2 r(2R − r)
k2 = ,
(r + 4R)2 − 3s2
à Ä
¿ À
Ç È É Ê É
a
Ë Ì Í Î Î
77. Let ABC be a triangle and M = (u : v : w) a point. A line through M meets BC,
CA, AB at X, Y , Z respectively. We use signed distances. Prove that
u · YM · ZM + v · XM · ZM + w · XM · YM = 0.
A
Z M
X B C
XM − ZM XZ n(u + v + w)
= =− ,
ZM ZM (m + n)w
XM −Y M XY m(u + v + w)
= = .
YM YM (m + n)v
5.45 A triangle inscribed in (ABC) 179
√ √ √ √ √
1 1 2 2 232 3
4 3
32 6
2
√ √3
√
6
= − + − − + + .
1+ 2+ 2+ 2 3 3 3 3 3 3
Ï Ï Ó Ð Ñ Ï Ñ Ï Ï Ó Ð Ñ Ñ Ï Ï Ï Ó Ð Ó Ï Ï Ï Ñ Ï Ð Ï Ï Ñ Ï Ñ Ï Ð Ï Ñ Ï Ï Ñ Ï Ð Ñ Ï Ï Ï Ñ Ñ Ð Ï Ï Ó Ï Ñ Ñ Ð Ï Ñ Ñ Ï Ñ Ñ Ð Ï Ó Ï Ï Ñ Ñ Ð Ñ Ï Ñ
Ï Ñ Ñ Ð Ñ Ñ Ï Ï Ñ Ñ Ð Ó Ï Ï Ï Ñ Ò Ð Ï Ñ Ò Ï Ñ Ò Ð Ï Ò Ñ Ï Ñ Ò Ð Ñ Ï Ò Ï Ñ Ò Ð Ñ Ò Ï Ï Ñ Ò Ð Ò Ï Ñ Ï Ñ Ò Ð Ò Ñ Ï Ï Ñ Ó Ð Ï Ñ Ó Ï Ñ Ó Ð Ï Ó Ñ
Ï Ñ Ó Ð Ñ Ï Ó Ï Ñ Ó Ð Ñ Ñ Ñ Ï Ñ Ó Ð Ñ Ó Ï Ï Ñ Ó Ð Ó Ï Ñ Ï Ñ Ó Ð Ó Ñ Ï Ï Ò Ï Ð Ï Ï Ò Ï Ò Ï Ð Ï Ò Ï Ï Ò Ï Ð Ò Ï Ï Ï Ò Ñ Ð Ï Ñ Ò Ï Ò Ñ Ð Ï Ò Ñ
Ï Ò Ñ Ð Ñ Ï Ò Ï Ò Ñ Ð Ñ Ò Ï Ï Ò Ñ Ð Ò Ï Ñ Ï Ò Ñ Ð Ò Ñ Ï Ï Ò Ò Ð Ï Ò Ò Ï Ò Ò Ð Ò Ï Ò Ï Ò Ò Ð Ò Ò Ï Ï Ò Ó Ð Ï Ò Ó Ï Ò Ó Ð Ï Ó Ò Ï Ò Ó Ð Ñ Ñ Ò
Ï Ò Ó Ð Ñ Ò Ñ Ï Ò Ó Ð Ò Ï Ó Ï Ò Ó Ð Ò Ñ Ñ Ï Ò Ó Ð Ò Ó Ï Ï Ò Ó Ð Ó Ï Ò Ï Ò Ó Ð Ó Ò Ï Ï Ó Ï Ð Ï Ï Ó Ï Ó Ï Ð Ï Ñ Ñ Ï Ó Ï Ð Ï Ó Ï Ï Ó Ï Ð Ñ Ï Ñ
Ï Ó Ï Ð Ñ Ñ Ï Ï Ó Ï Ð Ó Ï Ï Ï Ó Ñ Ð Ï Ñ Ó Ï Ó Ñ Ð Ï Ó Ñ Ï Ó Ñ Ð Ñ Ï Ó Ï Ó Ñ Ð Ñ Ñ Ñ Ï Ó Ñ Ð Ñ Ó Ï Ï Ó Ñ Ð Ó Ï Ñ Ï Ó Ñ Ð Ó Ñ Ï Ï Ó Ò Ð Ï Ò Ó
Ï Ó Ò Ð Ï Ó Ò Ï Ó Ò Ð Ñ Ñ Ò Ï Ó Ò Ð Ñ Ò Ñ Ï Ó Ò Ð Ò Ï Ó Ï Ó Ò Ð Ò Ñ Ñ Ï Ó Ò Ð Ò Ó Ï Ï Ó Ò Ð Ó Ï Ò Ï Ó Ò Ð Ó Ò Ï Ï Ó Ó Ð Ï Ó Ó Ï Ó Ó Ð Ñ Ñ Ó
Ï Ó Ó Ð Ñ Ó Ñ Ï Ó Ó Ð Ó Ï Ó Ï Ó Ó Ð Ó Ñ Ñ Ï Ó Ó Ð Ó Ó Ï Ñ Ï Ï Ð Ï Ï Ñ Ñ Ï Ï Ð Ï Ñ Ï Ñ Ï Ï Ð Ñ Ï Ï Ñ Ï Ñ Ð Ï Ï Ó Ñ Ï Ñ Ð Ï Ñ Ñ Ñ Ï Ñ Ð Ï Ó Ï
Ñ Ï Ñ Ð Ñ Ï Ñ Ñ Ï Ñ Ð Ñ Ñ Ï Ñ Ï Ñ Ð Ó Ï Ï Ñ Ï Ò Ð Ï Ñ Ò Ñ Ï Ò Ð Ï Ò Ñ Ñ Ï Ò Ð Ñ Ï Ò Ñ Ï Ò Ð Ñ Ò Ï Ñ Ï Ò Ð Ò Ï Ñ Ñ Ï Ò Ð Ò Ñ Ï Ñ Ï Ó Ð Ï Ñ Ó
Ñ Ï Ó Ð Ï Ó Ñ Ñ Ï Ó Ð Ñ Ï Ó Ñ Ï Ó Ð Ñ Ñ Ñ Ñ Ï Ó Ð Ñ Ó Ï Ñ Ï Ó Ð Ó Ï Ñ Ñ Ï Ó Ð Ó Ñ Ï Ñ Ñ Ï Ð Ï Ï Ó Ñ Ñ Ï Ð Ï Ñ Ñ Ñ Ñ Ï Ð Ï Ó Ï Ñ Ñ Ï Ð Ñ Ï Ñ
Ñ Ñ Ï Ð Ñ Ñ Ï Ñ Ñ Ï Ð Ó Ï Ï Ñ Ñ Ñ Ð Ï Ñ Ó Ñ Ñ Ñ Ð Ï Ó Ñ Ñ Ñ Ñ Ð Ñ Ï Ó Ñ Ñ Ñ Ð Ñ Ñ Ñ Ñ Ñ Ñ Ð Ñ Ó Ï Ñ Ñ Ñ Ð Ó Ï Ñ Ñ Ñ Ñ Ð Ó Ñ Ï Ñ Ñ Ò Ð Ï Ò Ó
Ñ Ñ Ò Ð Ï Ó Ò Ñ Ñ Ò Ð Ñ Ñ Ò Ñ Ñ Ò Ð Ñ Ò Ñ Ñ Ñ Ò Ð Ò Ï Ó Ñ Ñ Ò Ð Ò Ñ Ñ Ñ Ñ Ò Ð Ò Ó Ï Ñ Ñ Ò Ð Ó Ï Ò Ñ Ñ Ò Ð Ó Ò Ï Ñ Ñ Ó Ð Ï Ó Ó Ñ Ñ Ó Ð Ñ Ñ Ó
Ñ Ñ Ó Ð Ñ Ó Ñ Ñ Ñ Ó Ð Ó Ï Ó Ñ Ñ Ó Ð Ó Ñ Ñ Ñ Ñ Ó Ð Ó Ó Ï Ñ Ò Ï Ð Ï Ñ Ò Ñ Ò Ï Ð Ï Ò Ñ Ñ Ò Ï Ð Ñ Ï Ò Ñ Ò Ï Ð Ñ Ò Ï Ñ Ò Ï Ð Ò Ï Ñ Ñ Ò Ï Ð Ò Ñ Ï
Ñ Ò Ñ Ð Ï Ò Ó Ñ Ò Ñ Ð Ï Ó Ò Ñ Ò Ñ Ð Ñ Ñ Ò Ñ Ò Ñ Ð Ñ Ò Ñ Ñ Ò Ñ Ð Ò Ï Ó Ñ Ò Ñ Ð Ò Ñ Ñ Ñ Ò Ñ Ð Ò Ó Ï Ñ Ò Ñ Ð Ó Ï Ò Ñ Ò Ñ Ð Ó Ò Ï Ñ Ò Ò Ð Ñ Ò Ò
Ñ Ò Ò Ð Ò Ñ Ò Ñ Ò Ò Ð Ò Ò Ñ Ñ Ò Ó Ð Ñ Ò Ó Ñ Ò Ó Ð Ñ Ó Ò Ñ Ò Ó Ð Ò Ñ Ó Ñ Ò Ó Ð Ò Ó Ñ Ñ Ò Ó Ð Ó Ñ Ò Ñ Ò Ó Ð Ó Ò Ñ Ñ Ó Ï Ð Ï Ñ Ó Ñ Ó Ï Ð Ï Ó Ñ
Ñ Ó Ï Ð Ñ Ï Ó Ñ Ó Ï Ð Ñ Ñ Ñ Ñ Ó Ï Ð Ñ Ó Ï Ñ Ó Ï Ð Ó Ï Ñ Ñ Ó Ï Ð Ó Ñ Ï Ñ Ó Ñ Ð Ï Ó Ó Ñ Ó Ñ Ð Ñ Ñ Ó Ñ Ó Ñ Ð Ñ Ó Ñ Ñ Ó Ñ Ð Ó Ï Ó Ñ Ó Ñ Ð Ó Ñ Ñ
Ñ Ó Ñ Ð Ó Ó Ï Ñ Ó Ò Ð Ñ Ò Ó Ñ Ó Ò Ð Ñ Ó Ò Ñ Ó Ò Ð Ò Ñ Ó Ñ Ó Ò Ð Ò Ó Ñ Ñ Ó Ò Ð Ó Ñ Ò Ñ Ó Ò Ð Ó Ò Ñ Ñ Ó Ó Ð Ñ Ó Ó Ñ Ó Ó Ð Ó Ñ Ó Ñ Ó Ó Ð Ó Ó Ñ
Ò Ï Ï Ð Ï Ï Ò Ò Ï Ï Ð Ï Ò Ï Ò Ï Ï Ð Ò Ï Ï Ò Ï Ñ Ð Ï Ñ Ò Ò Ï Ñ Ð Ï Ò Ñ Ò Ï Ñ Ð Ñ Ï Ò Ò Ï Ñ Ð Ñ Ò Ï Ò Ï Ñ Ð Ò Ï Ñ Ò Ï Ñ Ð Ò Ñ Ï Ò Ï Ò Ð Ï Ò Ò
Ò Ï Ò Ð Ò Ï Ò Ò Ï Ò Ð Ò Ò Ï Ò Ï Ó Ð Ï Ò Ó Ò Ï Ó Ð Ï Ó Ò Ò Ï Ó Ð Ñ Ñ Ò Ò Ï Ó Ð Ñ Ò Ñ Ò Ï Ó Ð Ò Ï Ó Ò Ï Ó Ð Ò Ñ Ñ Ò Ï Ó Ð Ò Ó Ï Ò Ï Ó Ð Ó Ï Ò
Ò Ï Ó Ð Ó Ò Ï Ò Ñ Ï Ð Ï Ñ Ò Ò Ñ Ï Ð Ï Ò Ñ Ò Ñ Ï Ð Ñ Ï Ò Ò Ñ Ï Ð Ñ Ò Ï Ò Ñ Ï Ð Ò Ï Ñ Ò Ñ Ï Ð Ò Ñ Ï Ò Ñ Ñ Ð Ï Ò Ó Ò Ñ Ñ Ð Ï Ó Ò Ò Ñ Ñ Ð Ñ Ñ Ò
Ò Ñ Ñ Ð Ñ Ò Ñ Ò Ñ Ñ Ð Ò Ï Ó Ò Ñ Ñ Ð Ò Ñ Ñ Ò Ñ Ñ Ð Ò Ó Ï Ò Ñ Ñ Ð Ó Ï Ò Ò Ñ Ñ Ð Ó Ò Ï Ò Ñ Ò Ð Ñ Ò Ò Ò Ñ Ò Ð Ò Ñ Ò Ò Ñ Ò Ð Ò Ò Ñ Ò Ñ Ó Ð Ñ Ò Ó
Ò Ñ Ó Ð Ñ Ó Ò Ò Ñ Ó Ð Ò Ñ Ó Ò Ñ Ó Ð Ò Ó Ñ Ò Ñ Ó Ð Ó Ñ Ò Ò Ñ Ó Ð Ó Ò Ñ Ò Ò Ï Ð Ï Ò Ò Ò Ò Ï Ð Ò Ï Ò Ò Ò Ï Ð Ò Ò Ï Ò Ò Ñ Ð Ñ Ò Ò Ò Ò Ñ Ð Ò Ñ Ò
Ò Ò Ñ Ð Ò Ò Ñ Ò Ò Ò Ð Ò Ò Ò Ò Ò Ó Ð Ò Ò Ó Ò Ò Ó Ð Ò Ó Ò Ò Ò Ó Ð Ó Ò Ò Ò Ó Ï Ð Ï Ò Ó Ò Ó Ï Ð Ï Ó Ò Ò Ó Ï Ð Ñ Ñ Ò Ò Ó Ï Ð Ñ Ò Ñ Ò Ó Ï Ð Ò Ï Ó
Ò Ó Ï Ð Ò Ñ Ñ Ò Ó Ï Ð Ò Ó Ï Ò Ó Ï Ð Ó Ï Ò Ò Ó Ï Ð Ó Ò Ï Ò Ó Ñ Ð Ñ Ò Ó Ò Ó Ñ Ð Ñ Ó Ò Ò Ó Ñ Ð Ò Ñ Ó Ò Ó Ñ Ð Ò Ó Ñ Ò Ó Ñ Ð Ó Ñ Ò Ò Ó Ñ Ð Ó Ò Ñ
Ò Ó Ò Ð Ò Ò Ó Ò Ó Ò Ð Ò Ó Ò Ò Ó Ò Ð Ó Ò Ò Ò Ó Ó Ð Ò Ó Ó Ò Ó Ó Ð Ó Ò Ó Ò Ó Ó Ð Ó Ó Ò Ó Ï Ï Ð Ï Ï Ó Ó Ï Ï Ð Ï Ñ Ñ Ó Ï Ï Ð Ï Ó Ï Ó Ï Ï Ð Ñ Ï Ñ
Ó Ï Ï Ð Ñ Ñ Ï Ó Ï Ï Ð Ó Ï Ï Ó Ï Ñ Ð Ï Ñ Ó Ó Ï Ñ Ð Ï Ó Ñ Ó Ï Ñ Ð Ñ Ï Ó Ó Ï Ñ Ð Ñ Ñ Ñ Ó Ï Ñ Ð Ñ Ó Ï Ó Ï Ñ Ð Ó Ï Ñ Ó Ï Ñ Ð Ó Ñ Ï Ó Ï Ò Ð Ï Ò Ó
Ó Ï Ò Ð Ï Ó Ò Ó Ï Ò Ð Ñ Ñ Ò Ó Ï Ò Ð Ñ Ò Ñ Ó Ï Ò Ð Ò Ï Ó Ó Ï Ò Ð Ò Ñ Ñ Ó Ï Ò Ð Ò Ó Ï Ó Ï Ò Ð Ó Ï Ò Ó Ï Ò Ð Ó Ò Ï Ó Ï Ó Ð Ï Ó Ó Ó Ï Ó Ð Ñ Ñ Ó
Ó Ï Ó Ð Ñ Ó Ñ Ó Ï Ó Ð Ó Ï Ó Ó Ï Ó Ð Ó Ñ Ñ Ó Ï Ó Ð Ó Ó Ï Ó Ñ Ï Ð Ï Ñ Ó Ó Ñ Ï Ð Ï Ó Ñ Ó Ñ Ï Ð Ñ Ï Ó Ó Ñ Ï Ð Ñ Ñ Ñ Ó Ñ Ï Ð Ñ Ó Ï Ó Ñ Ï Ð Ó Ï Ñ
Ó Ñ Ï Ð Ó Ñ Ï Ó Ñ Ñ Ð Ï Ó Ó Ó Ñ Ñ Ð Ñ Ñ Ó Ó Ñ Ñ Ð Ñ Ó Ñ Ó Ñ Ñ Ð Ó Ï Ó Ó Ñ Ñ Ð Ó Ñ Ñ Ó Ñ Ñ Ð Ó Ó Ï Ó Ñ Ò Ð Ñ Ò Ó Ó Ñ Ò Ð Ñ Ó Ò Ó Ñ Ò Ð Ò Ñ Ó
Ó Ñ Ò Ð Ò Ó Ñ Ó Ñ Ò Ð Ó Ñ Ò Ó Ñ Ò Ð Ó Ò Ñ Ó Ñ Ó Ð Ñ Ó Ó Ó Ñ Ó Ð Ó Ñ Ó Ó Ñ Ó Ð Ó Ó Ñ Ó Ò Ï Ð Ï Ò Ó Ó Ò Ï Ð Ï Ó Ò Ó Ò Ï Ð Ñ Ñ Ò Ó Ò Ï Ð Ñ Ò Ñ
Ó Ò Ï Ð Ò Ï Ó Ó Ò Ï Ð Ò Ñ Ñ Ó Ò Ï Ð Ò Ó Ï Ó Ò Ï Ð Ó Ï Ò Ó Ò Ï Ð Ó Ò Ï Ó Ò Ñ Ð Ñ Ò Ó Ó Ò Ñ Ð Ñ Ó Ò Ó Ò Ñ Ð Ò Ñ Ó Ó Ò Ñ Ð Ò Ó Ñ Ó Ò Ñ Ð Ó Ñ Ò
Ó Ò Ñ Ð Ó Ò Ñ Ó Ò Ò Ð Ò Ò Ó Ó Ò Ò Ð Ò Ó Ò Ó Ò Ò Ð Ó Ò Ò Ó Ò Ó Ð Ò Ó Ó Ó Ò Ó Ð Ó Ò Ó Ó Ò Ó Ð Ó Ó Ò Ó Ó Ï Ð Ï Ó Ó Ó Ó Ï Ð Ñ Ñ Ó Ó Ó Ï Ð Ñ Ó Ñ
Ó Ó Ï Ð Ó Ï Ó Ó Ó Ï Ð Ó Ñ Ñ Ó Ó Ï Ð Ó Ó Ï Ó Ó Ñ Ð Ñ Ó Ó Ó Ó Ñ Ð Ó Ñ Ó Ó Ó Ñ Ð Ó Ó Ñ Ó Ó Ò Ð Ò Ó Ó Ó Ó Ò Ð Ó Ò Ó Ó Ó Ò Ð Ó Ó Ò Ó Ó Ó Ð Ó Ó Ó
5.46 A strophoid related to RG9898 and RG10892 183
81. Let ABC be a triangle. For any point P, call Y , Z the reflections of P with respect
CA, AB respectively, and the intersection points N = BP ∩ CY , M = CP ∩ CZ. Then
we have:
1. The locus of points P such that ∠BZY = ∠CYZ is a strophoid circumscribed to
ABC.
2. For these points P the bisectors of angles ZMP, MPN and PNY concur at A, and
the points M, N also lie on the same strophoid.
Z
N
M
P
B C
P
B C
Q
V W
82. Let ABC be a triangle. We look for a triangle XY Z such that ABC is the cevian
triangle of the incenter J of XY Z.
X
B
C
J
Y A Z
Suggested by Yuriy Kazakov: The locus of points M such that ∠AMY = ∠AMZ is
a strophoid circumscribed to ABC with node at A. Which are the intersection points
of the three strophoids corresponding to the three vertices?
A
X14
X13
B C
obtenemos
64x3 − 48xy + 64y3 + 1 = 0,
que puede factorizarse como
187
188 6 Retos Matemáticos
B
C
A
L
O
S Q
P
R
B
C
A
S
P Q L
D
B
C
A
L
S Q
P
R
v
u 1−a 1−b 1−c
u
3 1 + a bc 1 + b ca 1 + c ab
t
b+c c+a a+b
3
> 1−a 1−b 1−c (desigualdad GM > HM)
b+c bc c+a ca a+b ab
+ +
1+a 1+b 1+c
3
> 4(b+c) 4(c+a)
4(a+b) (desigualdad AM > GM)
b + c (b+c) 2 c + a (c+a)2 a + b (a+b) 2
+ +
1+a 1+b 1+c
3 3
= 4 4 4 = f (a) + f (b) + f (c)
1 − a 1−a 1 − b 1−b 1 − c 1−c
+ +
1+a 1+b 1+c
1 1 1
> = = 1 = 64. (convexidad de f )
a+b+c f 13 64
f
3
6 Retos Matemáticos 191
son tangentes en el origen a la recta y = 2x. Cualquier otra recta l que pasa por el
origen vuelve a cortar a las cónicas C1 y C2 en los puntos P1 y P2 respectivamente.
Demostrar que cuando la recta l varı́a las tangentes en P1 a C1 y en P2 a C2 se cortan
en puntos de una misma recta.
Solución de Francisco Javier Garcı́a Capitán. Al cortar cualquiera de las dos
cónicas con la recta y = 2x, obtenemos la ecuación x2 = 0, que justifica la tangencia
en el origen. Por otro lado, el segundo punto de intersección de C1 y la recta y = mx
es
m−2 m(m − 2)
P1 = , ,
3m2 − 2m + 4 3m2 − 2m + 4
mientras que el segundo punto de intersección de C2 y la recta y = mx es
m−2 m(m − 2)
P2 = , .
4m2 + m + 3 4m2 + m + 3
La tangente a C1 en P1 es
4 −1 1
x
m − 2 m(m − 2) 3m2 − 2m + 4 −1 3 − 21 y = 0,
1 − 12 0 z
o bien,
(4m2 + 8m − 8)x + (3m2 − 12m)y − m2 + 4m − 4 = 0.
La tangente a C2 en P2 es
1
1 3 x
2
m − 2 m(m − 2) 4m2 + m + 3 12 4 − 12 y = 0,
1 − 12 0 z
o bien
(9m2 + 6m − 6)x + (4m2 − 16m − 5)y − m2 + 4m − 4 = 0.
Estas dos rectas se cortan en el punto
−m2 + 4m + 5 5m2 − 2m + 2
Q= , ,
11m2 − 14m − 10 11m2 − 14m − 10
P2
P1
X2 t X1 O
6 Retos Matemáticos 193
Por tanto las rectas P1 X1 , P2 X2 se cortan en un punto del infinito, que será la
imagen por ϕ de algún punto Q de la recta AB. En consecuencia, no solamente
obtenemos que las tangentes se cortan sobre una misma recta sino que dicha recta
pasa por los otros puntos comunes de las dos cónicas.
× Ø
Õ Ö
Û Ü
Ù Ú
194 6 Retos Matemáticos
i −(p − i) i −p
=0⇔ = 0 ⇔ ( j − i)p = 0 ⇔ p = 0,
j −(p − j) j −p
<<Baricentricas‘;
ptQ[i_]:=DividirRazon[ptB,ptC,i,p-i]
ptQ[i]
{0,-i+p,i}
Factor[Cross[ptQ[j],ptQ[i]]]
{(i-j) p,0,0}
Factor[Cross[ptQ[j],PuntoInfinito[rtBC]]]
{p,0,0}
196 6 Retos Matemáticos
G
T
F
R S
B E C
<< Baricentricas‘;
CuadradoDistancia[ptN, ptE1]
(5 aˆ2)/4
G
T
F
R S
B E M C N
R'
A
G
T T'
F
S
R
B E C E'
S'
G'
198 6 Retos Matemáticos
F'
R'
A
G
T T'
F
S
R
E C E'
B
S'
G'
6 Retos Matemáticos 199
æ ç
ä å
è é
â ã
ß à
Usamos la Geometrı́a de masas. Los principios que usaremos del centro de masas
de un conjunto de puntos son:
I. El centro de masas es único.
II. Si A y B son dos puntos con masas m y n respectivamente, el centro de masas es
un punto X con masa m + n y dividiendo al segmento AB en la razón AX : XB =
n : m.
III. Podemos reemplazar un subconjunto de puntos del conjunto total por el centro
de masas de dicho subconjunto, permaneciendo invariable el centro de masas del
conjunto total.
Usemos estas propiedades a modo de práctica para justificar la existencia del
baricentro de un triángulo. Dado el triángulo ABC, si consideramos masas iguales,
por ejemplo 2 sobre cada uno de estos puntos (Fig. 1a), tendremos un sistema con
masa total 6 y que tendrá un centro de masas en algún punto G, del que en principio
no sabemos nada.
200 6 Retos Matemáticos
ö ÷ ø ù
ê ë ì í
1
î ï ð ñ ò ó ô õ þ ú û ü ý ÿ
&
& ( ) * +
! "
1 '
2
$ %
, - . / < = > ?
c d e f g
H I J K V W X Y
8 9 : ;
L M N O P Q
0 1 2 3 4 5 6 7 @ A B C D E F G
Z [ \ ] ^ _ ` a b
l m n o p ~
v w x y z
j
q r s t u
k h {
}
F IG. 3d F IG. 3e
En todo el proceso hemos usado repetidamente la propiedad III del centro de
masas, por lo que el centro de masas es invariante en todo el proceso.
Usando la propiedad I (unicidad del centro de masas) se deduce de las figuras
2c y 3e que el baricentro del triángulo GA GB GC debe dividir al segmento PG en la
razón 2:1.
A continuación mostramos los pasos de nuestra demostración y cómo se escriben
con la notación habitual al resolver este tipo de problemas:
¤
§ © ª « ¬
¡ ¢ £
1 ¨
2
¥ ¦
® ¯ ° ½ ¾ ¿ À
ä å æ ç è
É Ê Ë Ì × Ø Ù Ú
¹ º » ¼
Í Î Ï Ð Ñ Ò
± ² ³ ´ µ ¶ · ¸ Á Â Ã Ä Å Æ Ç È
Û Ü Ý Þ ß à á â ã
=A + B + P + 3GA
=2A + B +C + 2P
+ (P +C + A)
2A + 2B + 2C + 3P + (P + B +C)
=A + B + P
=2A + B +C + 2P + 3GA
+ 3GA + 3GB
ê ý
í î ï ð ñ ÿ
÷ ø ù ú û
ë
ò ó ô õ ö
é ü
ì þ
A A
B P C P B C
B X C
ax + b
If f (x) = then f ( f (x)) = x for all x if a + d = 0.
cx + d
ax + b
If f (x) = then f ( f ( f (x))) = x for all x if bc = a2 + ad + d 2 .
cx + d
Francisco Javier Garcı́a Capitán, Oct. 3, 2022.
6 Retos Matemáticos 203
Nos interesa una inversión con centro B que intercambie A y K, y las circunfe-
rencias con diámetros (KB) y (AB) en las perpendiculares por A y K a la√recta AB.
La potencia k de la inversión debe cumplir k2 = BA · BK = R · 2R ⇒ k = 2R.
"
√
5R
Por otro lado, si P es uno de los puntos de corte de las circunferencias (Q, 2 )
√
y (B, 2R), como
, -
&
'
#
%
< =
: ;
8 9
3 2
> ?
/ 1
0
6
c b
m n
B X C
AX 2 + n2 − b2 AX 2 + m2 − c2
=−
2n · AX 2m · AX
⇒m AX 2 + n2 − b2 + n AX 2 + m2 − c2 = 0
⇒ (m + n)AX 2 + mn2 + m2 n = b2 m + c2 n
⇒ (m + n) AX 2 + mn = b2 m + c2 n
⇒a AX 2 + mn = b2 m + c2 n.
O M
W r
N I
ρ J
B C
OJ 2 · AI + OA2 · IJ = AJ · OI 2 + AI · IJ
2 A 2 A A 2 2A
⇒(R − ρ ) r csc + R (ρ − r) csc = ρ csc R − 2Rr + r(ρ − r)csc
2 2 2 2
A
⇒(R − ρ )2 r + R2 (ρ − r) = ρ R2 − 2Rr + r(ρ − r)csc2
2
A
⇒R2 r + ρ 2 r − 2Rρ r + R2 ρ − R2 r − R2 ρ + 2Rρ r = ρ r(ρ − r)csc 2
2
A ρ A r A
⇒ρ 2 r = ρ r(ρ − r)csc2 ⇒ = csc2 ⇒ 1 − = sen2
2 ρ −r 2 ρ 2
r A
⇒ = cos2 .
ρ 2
V
Q M
W
N r I
ρ J
B C
W I2 r2 A
IQ = = = r sen .
AI r csc A2 2
208 6 Retos Matemáticos
NJ 2 ρ2 A
JI 0 = = A
= ρ sin
AJ ρ csc 2 2
ρ A ρ cos2 A2 r
⇒ I 0 A = JA − JI 0 = A
− ρ sen = A
= = IA,
sen 2 2 sin 2 sen A2
JI ρ sen A2 ρ A
= A
= = sec2 > 1.
IQ r sen 2 r 2
ρ 1 2 2 4bc
= = = =
r cos2 A2 1 + cosA 1 + b2 +c2 −a2 (b + c)2 − a2
2bc
a2 ρ (b + c)2 4bc (b − c)2
⇒ 1+ − = − = .
(b + c)2 − a2 r (b + c)2 − a2 (b + c)2 − a2 (b + c)2 − a2
4bc 2 b2 + c2 + 2bc − a2 2
φ= ⇒ = = cos A + 1 ⇒ cosA = − 1,
(b + c)2 − a2 φ 2bc φ
x
1
B M C
O
F
B M C
La construcción es la siguiente:
210 6 Retos Matemáticos
pudiendo ser m = 0 (todas las raı́ces son complejas) o m = 0 ( todas las raı́ces son
reales).
6 Retos Matemáticos 211
A D
O
e C
B
Puede haber hasta cuatro soluciones, que son los puntos posibles de intersección
de dos cónicas.
N
X C
B
Y
Z
V
A
M
W
siendo
(x+2)! Γ (x+3)
ln 2 ! ln Γ 2 +1
M = lı́m = lı́m .
x→0 x! − 1 x→0 Γ (x + 1) − 1
Usando la regla de L’Hopital y la regla de la cadena,
0 0
Γ 0 Γ (x+3)
2 + 1 ·
Γ (x+3)
2 Γ 0 Γ (3) + 1 · Γ (3)
2 2
0
Γ 0 (2) · Γ 2(3)
M = lı́m = =
x→0
Γ Γ (x+3) + 1 · Γ 0 (x + 1) Γ
Γ (3) 0 Γ (2) · Γ 0 (1)
2 2 + 1 · Γ (1)
Γ 0 (2) · Γ 0 (3)
= .
2 · Γ 0 (1)
d ln Γ (x) Γ 0 (x)
ψ (x) = =
dx Γ (x)
y la relación
n−1
1
ψ (n) = ∑ k −γ
k=1
14
5
O B C
Tenemos los puntos O = (0, 0), T = (0, 14), A = (2, 14), B = (5, 0) y C = (x, 0).
Ahora usamos el producto escalar para hallar x.
−→ −→
Consideramos los vectores u = AB = (3, −14), v = AC = (x − 2, −14). A partir
de aquı́,
1 u·v 1
cos(u, v) = ⇒ = ⇒ x = 45.3313 ⇒ C = (45.3313, 0).
2 |u| |v| 2
T A
2
60º
14 I
5
O B F C
En la sección mostrada, para hallar el incentro I del triángulo ABC, usamos que
las coordenadas baricéntricas de I respecto de ABC son (BC,CA, AB). De esta forma
obtenemos
|BC| A + |CA| B + |AB|C
I= = (9.55615, 5.6359).
|BC| + |CA| + |AB|
Inmediatamente resulta BF = 4.55615. Es cierto que el valor de BF también
puede obtenerse con la fórmula
AB + BC −CA
BF =
2
. Lo hemos hecho ası́ para obtener el incentro y ası́ trazar la figura, ¡y también para
mostrar la utilidad de las coordenadas baricéntricas!
El semieje mayor a, la distancia c del centro de la elipse al foco, y finalmente el
semieje menor b son
BC
a= = 20.1656
2
c = a − BF = 15.6095,
p
b = a2 − c2 = 12.767.
y la superficie de la elipse resulta π ab = 808.819m2 .
Para la segunda parte, tenemos para cada torre un√triángulo rectángulo ABC con
∠B = 90◦ y AB = 14, de donde AC = 28 y BC = 14 3.
A
60º
14
I
B F C
En este caso podemos calcular directamente
AB + BC −CA
BF = = 5.12436
2
6 Retos Matemáticos 215
(x − p)2 y2
+ 2 =1
a2 a
viene dada por
b
m = ±p .
p2 − a2
En nuestro caso, para p = R − a obtenemos m = ±0,542747 que corresponde a
±28,4908◦, en valor absoluto menor que 36◦ .
Entonces el área pedida en el segundo apartado será simplemente cinco veces el
área de una de las elipses, 5 × 377.07 = 1885.35m2 .
216 6 Retos Matemáticos
Teorema de Dandelin
Q1
C1 F1
P
F2
Q2
C2
Un plano corta a un cono, y dos esferas son tangentes por cada lado al plano, y
tangentes al cono. Entonces, el plano corta al plano en una elipse, cuyos focos son
los puntos de contacto de las esferas y el plano.
Germinal Dandelin (1794-1847)
En efecto, tenemos PF1 + PF2 = PQ1 + PQ2 = Q1 Q2 = cte.
6 Retos Matemáticos 217
Solución de Francisco Javier Garcı́a Capitán. Como las raı́ces están en progre-
sión armónica, haciendo el cambio x → 1x obtenemos una ecuación cuyas raı́ces
x1 , x2 , x3 , x4 están en progresión aritmética:
que se convierten en
4a + 2d = 4
6a2 + 6ad − d 2 = −14
(6.2)
4a3 + 6a2 d − 2ad 2 − 2d 3 = −36
4
a + 2a3 d − a2 d 2 − 2ad 3 = 17
y sus inversos
√ √
1+3 2 0 √ 0 √ 0 3 2−1
x01 =− , x2 = −1 − 2, x3 = 1 − 2, x4 = .
17 17
218 6 Retos Matemáticos
an2 + bn + c = m2
⇒(2an + b)2 − 4am2 = b2 − 4ac
⇒u2 − av2 = N,
Las primeras soluciones son (5, 4), (31, 22), (181, 128), (1055, 746), (6149, 4348),
(35839, 25342), (208885, 147704), ...
Estas soluciones cumplen la relación
xk+1 34 xk
= .
yk+1 23 yk
Sólo las soluciones de orden impar son útiles para nosotros. Sean éstas (Xn ,Yn ).
Teniendo en cuenta que
34 34 17 24
= ,
23 23 12 17
( (
Xn+1 = 17Xn + 24Yn 4un+1 + 1 =17(4un + 1) + 24(2vn )
⇒
Xn+1 = 12Xn + 17Yn 2vn+1 =12(4un + 1) + 17(2vn )
(
un+1 =17un + 12vn + 4
⇒ ,
vn+1 =24un + 17vn + 6
con los valores iniciales u1 = 1 y v1 = 2.
Las primeras soluciones son (1, 2), (45, 64), (1537, 2174), (52221, 73852), (1773985, 2508794),
(60263277, 85225144).
6 Retos Matemáticos 221
ra P
Pa
rb
rc
B
Pc P
ab
C
V W
J K
@ A
B C
H I L M
P Q Q R S R Q
F G
T U
D E
Veamos esto con algo más de detalle. En general, podemos calcular que si (x0 , y0 )
es el punto dado e y = px, y = qx, y = rx son las tres rectas dadas y hacemos simetrı́as
de P considerándolas las bisectrices en ese orden de los ángulos de un triángulo
A1 B1C1 obtendremos que éste triángulo tiene los vértices
k kp k kq k kr
A1 = , , B1 = , ,C1 = , ,
u u v v w w
siendo u = (1 + p2 )(1 +qr), v = (1 +q2 )(1 + pr), w = (1 +r2 )(1 + pq) y siendo
k = (1 + pq − pr + qr)x0 + (p − q + r + pqr)y0 , cumpliéndose que P estará sobre
C1 A1 cumpliendo (omitimos los cálculos)
Como se tiene
C1 P C2 P C3 P
· · = −1,
PA1 PA2 PA3
6 Retos Matemáticos 223
al menos en uno de los casos el punto P será exterior al lado del triángulo y estará en
alguna de sus prolongaciones.
224 6 Retos Matemáticos
100 (Retos Matemáticos 3/01/2003). Dado un número entero positivo, ¿es mayor
el número de sus divisores de la forma 4k + 1, o los divisores de la forma 4k + 3?
e f
Solución (incompleta). Sea N = 2h p11 . . . per r q11 . . .qs f s , donde los primos pi son
de la forma 4k + 1 y los primos q j son de la forma 4k + 3. Los divisores impares de
N son de la forma d = pu11 . . . pur r qv11 . . .qsvs con 0 6 ui 6 ei y 0 6 v j 6 f j .
El número d sólo puede ser de la forma 4k + 3 cuando la suma v1 + · · · + vs sea
impar.
Consideramos algunos ejemplos en los que hay el mismo número de divisores:
N Divisores 4k + 1 Divisores 4k + 3
105 = 3 · 5 · 7 1,5,21,105 3,7,15,35
135 = 33 · 5 1,5,9,45 3,15,27,135
165 = 3 · 5 · 11 1,5,33,165 3,11,15,55
189 = 33 · 7 1,9,21,189 3,7,27,63
195 = 3 · 5 · 13 1,5,13,65 3,15,39,195
O estos otros:
N Divisores 4k + 1 Divisores 4k + 3
5005 1,5,13,65,77,385,1001,5005 7,11,35,55,91,143,455,715
5010 1,5,501,2505 3,15,167,835
5015 1,5,17,85 59,295,1003,5015
5016 1,33,57,209 3,11,19,627
5019 1,21,717,1673 3,7,239,5019
5022 1,9,81,93,837 3,27,31,279,2511
5025 1,5,25,201,1005,5025 3,15,67,75,335,1675
5031 1,9,13,117,129,1677 3,39,43,387,559,5031
5035 1,5,53,265 19,95,1007,5035
5037 1,69,73,5037 3,23,219,1679
5040 1,5,9,21,45,105 3,7,15,35,63,315
5049 1,9,17,33,153,297,561,5049 3,11,27,51,99,187,459,1683
Test1[n_]:=Module[{d,d1,d3},
d=Divisors[n];
d1=Select[d,Mod[#,4]==1&];
d3=Select[d,Mod[#,4]==3&];
Length[d1] ==Length[d3]
]
Ahora definimos la función Test2 que devuelve True si el número n tiene todos
sus divisores tiene el mismo número de divisores de la forma 4k + 1 que de la forma
4k + 3:
Test2[n_]:=Module[{desc3},
desc3=Select[FactorInteger[n],Mod[First[#],4]==3&];
Not[Apply[And,Map[EvenQ,desc3[[All,2]]]]]
]
Finalmente comprobamos que las dos funciones devuelven los mismos resulta-
dos para un rango razonablemente grande:
Select[Range[1,1000],Test1]==Select[Range[1,1000],Test2]
True
e f
Para demostrar la conjetura, llamemos a = p11 . . . per r y b = q11 . . .qs f s . Entonces
se tiene:
1. El número f (N) de divisores de N que son 1 módulo 4 es f (N) = d(a) f (b),
2. El número g(N) de divisores de N que son 3 módulo 4 es g(N) = d(a)g(b),
siendo d(a) el número de divisores de a.
Por tanto, es suficiente demostrar la conjetura para números cuyos factores pri-
f
mos sean todos 3 módulo 4, es decir N = q11 . . .qs f s con qi = 3 mod 4. Ahora con-
sideramos dos casos:
a) Si alguno de los exponentes, por ejemplo f 1 = 2k + 1 es impar consideramos
f
todos los divisores de N 0 = N/p1 formamos pares multiplicando cada uno de
ellos por potencias de la forma q1 y q2h+1
2h
1 siendo 0 6 h 6 k. Y ası́ uno de los
factores conseguidos será congruente con 1 módulo 4 y el otro será congruente
con 3 módulo 4.
Este procedimiento podrı́a programarse en Mathematica escribiendo las fun-
ciones
Resto[m_] := Mod[m, 4];
CasoAlgunImpar[n_] := Module[{desc,p,e,pares},
desc = FactorInteger[n];
{p, e} = SelectFirst[desc, OddQ[Last[#]] &];
pares = Apply[Union,
Map[Table[{pˆ(2k), pˆ(2k+1)} #, {k,0,(e-1)/2}] &,
226 6 Retos Matemáticos
Divisors[n/pˆe]]];
Map[SortBy[#, Resto] &, pares]
]
Por ejemplo con N = 33 · 7 · 11,
CasoAlgunImpar[3ˆ3 7 11]
{{1,3},{21,7},{9,27},{33,11},{189,63},
{77,231},{297,99},{693,2079}}
Con Mathematica podemos obtener todos los divisores de cada tipo mediante la
función InformeDivisores siguiente:
InformeDivisores[n_]:=Module[{d,d1,d3},
d=Divisors[n];
d1=Select[d,Mod[#,4]==1&];
d3=Select[d,Mod[#,4]==3&];
{d1,d3}
]
InformeDivisores[3ˆ3 7 11]
{{1,9,21,33,77,189,297,693},
{3,7,11,27,63,99,231,2079}}
Comprobamos entonces que obtenemos los mismos divisores, pero emparejados
como querı́amos.
b) Si los exponentes son todos pares, puede demostrarse por inducción que f (N) =
g(N) + 1.
En este caso, dejando fuera al 1 podemos también emparejar los divisores de N
de forma que en cada pareja siempre haya uno congruente con 1 módulo 4 y otro
congruente con 3 módulo 4.
Seguimos suponiendo que N sólo tiene factores primos congruentes con 3 módu-
f
lo 4, y por tanto se escribe N = q11 . . .qs f s con qi = 3 mod 4. Entonces un divisor
f1 f
d de n se escribirá d = q1 . . .qs s donde todos los f i son pares no nulos.
Vamos a tener s tipos de parejas distintas. Para cada i = 1, . . ., s las parejas de
tipo i están formadas por los divisores con exponentes (0, . . ., 0, yi, yi+1, . . ., ys)
y (0, . . ., 0, yi − 1, yi+1, . . ., ys) donde y j es 0 para j < i, yi es par ente 2 y f i , y
donde para j > i y j puede variar entre 0 y f j .
Por ejemplo para N = 32 · 74 · 112 cuyos exponentes son (2, 4, 2) las parejas de
divisores serı́an:
(2, x, y), (1, x, y) variando x entre 0 y 4, e y entre 0 y 2 (15 parejas).
(0, 4, y), (0, 3, y) variando y entre 0 y 2 (3 parejas).
(0, 2, y), (0, 1, y) variando y entre 0 y 2 (3 parejas).
(0, 0, 2), (0, 0, 1) (1 pareja).
.
6 Retos Matemáticos 227
En total, son 22 parejas, que se corresponden con los 45 divisores que tiene N
(hemos excluı́do al 1). Concretando en este ejemplo, vemos que basta determinar
las primeras listas de cada pareja, ya que la segunda lista se obtiene del la primera
restando 1 al primer exponente no nulo.
Destacamos las tres listas primeras (2, 4, 2), (0, 4, 2) y (0, 0, 2) que llamamos
madres y apartir de las que obtenemos las hijas primeras. Ası́ las hijas primeras
de (2, 4, 2) serı́an las 15 listas de exponentes (2, x, y) con x entre 0 y 4 e y entre 0
y 2.
La programación con Mathematica, es algo más complicada que el caso anterior.
Definimos primero algunas funciones.
La descomposición factorial de un número N en Mathematica, mediante la fun-
ción FactorInteger es una lista de pares (p, e) donde p es un primo y e es
el exponente en que aparece p en la descomposición factorial de N. Para N = 28
es {(2, 2), (7, 1)}. La descomposición factorial del divisor 7 de N = 28 {(7, 1)},
pero a nosotros nos interesa que esté expresada como {(2, 0), (7, 1)} para que
aparezcan todos los primos que hay en la descomposición factorial de N = 28.
La función CompletarDescomposicion se encarga de ésto:
CompletarDescomposicion[dDivisor_, dNumero_] :=
Sort[Join[dDivisor, Map[{#, 0} &,
Complement[dNumero[[All,1]],
dDivisor[[All,1]]]]]]
La función CompletarDescomposicion obtiene las descomposiciones com-
pletas de todos los divisores, excepto del 1, de un número:
DescomposicionesDivisores[n_] :=
Sort[Map[CompletarDescomposicion[
FactorInteger[#], FactorInteger[n]] &,
Drop[Divisors[n]], 1]]
La función Madres devuelve las listas madres de exponentes para una lista de
exponentes dada.
Madres[exp_] := Table[
Table[
If[i < k, 0, exp[[i]]],
{i, 1, Length[exp]}],
{k, 1, Length[exp]}]
La función PrimeraNoNula devuelve la primera posición en una lista en la
que hay un número no nulo. Lo usaremos para comprobar si una determinada
lista de exponentes es hija de otra.
PrimeraNoNula[list_] := First[First[
Position[list, _?(# != 0 &)]]];
La función EsHijaPrimera devuelve True si la primera lista de exponentes
es hija de la segunda.
228 6 Retos Matemáticos
231
232 7 Resultados interesantes
101. El área del triángulo ceviano de un punto P es el doble que el del triángulo
de referencia cuando el punto está sobre la elipse circunscrita de Steiner o sobre la
cúbica K327 (cúbica de Tucker-Poncelet).
Z
A
P
Y
G
B C X
Y Z
102. En la figura cada número es la suma de los dos que tiene encima, cada fila tiene
un número menos que la anterior y en la última sólo hay un número. Razonar que el
último número es múltiplo de 1993.
7 Resultados interesantes 233
0 1 2 3 4 5 6
1 3 5 7 9 11
4 8 12 16 20
12 20 28 36
32 48 64
80 112
192
f[0,n_] := n;
f[m_,n_] := f[m-1,n] + f[m-1,n+1]
t = Tabla[f, 6];
Map[
Join[
Table[" ", {Length[t] - Length[#]}],
Riffle[#, " "]] &, t] // TableForm // TeXForm
234 7 Resultados interesantes
C O
A
D E
2 2 2 2 2 2
From√ Pythagorean Theorem, BE = BD + DE = (2R) + R = 5R , therefore
BE = 5R. √
From power of a point
√
with respect to a circle, R2 = BA2 = BM · BE = BM · 5R,
hence BM = √15 R = 55 R = 51 R and MC = BC − BM = BE BE 3 3
2 − 5 = 10 · BE = 5 BC.
3
Thus the altitude of 4MAC is 5 R. Since the altitude of 4EAC is EO = R and
AC = 21 R, we have
1 1 3 1 1 3 1 2
(MAE) = (MAC) + (EAC) = · R· R+ · R·R = + · R2 = · R2 .
2 2 5 2 2 20 4 5
236 7 Resultados interesantes
Define
n
1
g(n) = ∑ .
q not prime q
Find a formula f (n) formed by elementary functions and a constant C such that
[ \ \ ] \ \ ^ \ \ _ \ \ ` \ \ \
7 Resultados interesantes 237
Generalization of RG10979:
107. Let ABC be a triangle and P a point with cevian triangle XY Z. Choose any
other points D, E, F on lines AX, BY , CZ respectively and consider the intersection
points
A0 = EZ ∩ FY, B0 = FX ∩ DZ, C 0 = DY ∩ EX.
Then AA0 , BB0 and CC 0 are concurrent.
A
Z A' Y
F
P QE
C'
B' D
B X C
108. Los afijos de las raı́ces del número complejo z0 = 1 forman un polı́gono regular
de n lados que llamaremos P0 . Se pide:
1. Comprobar que los puntos medios de los lados de P0 son los afijos de las raı́ces
n−ésimas de z1 que habrá que determinar.
2. Sea P1 el polı́gono formado por los afijos de las raı́ces n−ésimas de z1 y, en
general sea Pm+1 el polı́gono cuyos vértices son los puntos medios de los lados de
Pm . Siendo zm el número cuyas raı́ces n−ésimas son los vértices de Pm . Estudiar
la serie ∑∞
m=0 zm y calcular su suma en caso de que se sea convergente.
2kπ i
Solución. Las raı́ces de z0 = 1 son de la forma w0,k = e n , k = 0, . . ., n − 1. El
punto medio de w0,k y w0,k+1 se obtiene aplicando un giro con centro el centro el
origen y amplitud πn seguido de una homotecia también con centro el origen y razón
cos πn .
El resultado es el número complejo
π πni 2knπ i π (2k+1)π i
w1,k = cos ·e ·e = cos · e n .
n n
Como
π (2k+1)π i π π
wn1,k = cosn ·e = cosn .(−1) = − cosn ,
n n n
resulta que z1 = − cosn πn . Siguiendo el proceso,
π π i (2k+1) πi π (2k+2)π i
w2,k = cos2 · e · e n = cos2 · e n ,
n n
y se cumple
π (2k+2)π i π
wn2,k = cos2n ·e = cos2n .
n n
En general tendremos
π (2k+m)π i π
zm = wnm,k = cosmn ·e = (−1)m cosmn .
n n
La serie ∑∞m=0 zm es una serie geométrica de razón z1 . La serie es convergente ya
que 0 < z1 < 1 y cuya suma es
∞
1 1
∑ zm = 1 − z1 = 1 + cosn π .
m=0 n
7 Resultados interesantes 239
109. Sea ABC un triángulo con circuncentro O y triángulo medial DEF. Las circun-
ferencias con centros D, E, F que pasan por O cortan a BC, CA, AB en D0 y D00 , E 0
y E 00 , F 0 y F 00 respectivamente. Demostrar que
1. Los triángulos D0 E 0 F 0 y D00 E 00 F 00 son semejantes a ABC y el área de cada uno de
ellos es la mitad del área de ABC.
2. Si X,Y, Z son los segundos puntos de intersección de las circunferencias (D),
(E), (F), es decir los puntos simétricos de O respecto de EF, FD, DE respec-
tivamente, entonces AX, BY y CZ concurren en X68 el punto de Prasolov, y se
tiene además que X = E 0 F 0 ∩ E 00 F 00 , Y = F 0 D0 ∩ F 00 D00 y Z = D0 E 0 ∩ D00 E 00 .
F'
E''
X
F E
X68
O E'
Z
F''
Y
B D' D D'' C
<< Baricentricas‘;
ptEt = SimetriaCentral[ptC,
Pie[Circuncentro[{ptO, ptDt, ptC}], rtCA]]
{-aˆ2 + bˆ2 + cˆ2 t, 0, cˆ2 + (-aˆ2 + bˆ2) t}
ptFt = SimetriaCentral[ptB,
Pie[Circuncentro[{ptO, ptDt, ptB}], rtAB]]
{-bˆ2 + (aˆ2 - cˆ2) t, aˆ2 - cˆ2 - bˆ2 t, 0}
240 7 Resultados interesantes
exprt = Numerator[Factor[
AreaTriangulo[{ptDt, ptEt, ptFt}] - 1/2]]
-aˆ4 + 2 aˆ2 bˆ2 - bˆ4 + 2 aˆ2 cˆ2 - cˆ4
- 4 bˆ2 cˆ2 t - aˆ4 tˆ2 + 2 aˆ2 bˆ2 tˆ2
- bˆ4 tˆ2 + 2 aˆ2 cˆ2 tˆ2 - cˆ4 tˆ2
Medio[ptD1, ptD2]
{0, 1, 1}
d = FullSimplify[CuadradoDistancia[ptD1, ptD2]/4]
-((aˆ2 (-aˆ2 + bˆ2 + cˆ2)ˆ2)/(
4 (a - b - c) (a + b - c) (a - b + c) (a + b + c)))
NombreETC[[68]]
"PRASOLOV POINT"
110. Let ABC be a triangle. Call (D) and (D0 ) the A−mixtilinear incircle and the
A−mixtilinear excircle and X, X 0 the corresponding tangency points with the cir-
cumcircle. Then the line XX 0 goes through the internal center of similitude S of
circles (D) and (D0 ).
A
D O
B C
S
X
X'
D'
111. Let ABC be a triangle. Call (D) and (D0 ) the A−mixtilinear incircle and the
A−mixtilinear excircle and X, X 0 the corresponding tangency points with the cir-
cumcircle. If a variable circle goes through X and X 0 and M, M 0 are the second
intersections with circles (D) and (D0 ), then line MM 0 goes through a fixed point.
A
D O
B C
M
X
X'
M'
D'
Remark. This is Problem RG11028 by Tran Viet Hung. The fixed point happens
to be S, the internal center of similitude of circles (D) and (D0 ).
242 7 Resultados interesantes
112. Let P, Q be two variable points on circles (A) and (B) respectively. We con-
sider a variable circle through P and Q, intersecting (A) and (B) again at M and
N respectively. Then the line MN envelopes a conic tangent to (A) and (B) whose
center lies on line AB.
Q
A N B
Remark. When the line PQ goes through one of the similiarity centers S of the
two circles, the conic can degenerate in two lines through S, and we get that MN
goes through S.
N
P
A S B
M Q
We use projection and the circular points at infinity and we find the following
nice result with conics:
7.1 A fixed point related to mixtilinear circles 243
113. The points P, Q lie on the conics α , β respectively and both the conics go
through two points I, J. A variable conic through P, Q, I, J meets again α at M and
β at N. Then the line MN envelopes a conic tangent to α and β .
α Q β
I
M
J
N
A
L
M ω
ω ω
B C
(KLM) cot ω
= 1+ .
(ABC) 2
Francisco Javier Garcı́a Capitán, Sep. 9, 2022.
244 7 Resultados interesantes
ω Y
Z
Ω
ω
ω
B C
(XYZ) 1
= .
(ABC) 4 sin2 ω
Francisco Javier Garcı́a Capitán, Sep. 9, 2022.
7.1 A fixed point related to mixtilinear circles 245
T
A
T
A
O Q r
o k m
n i l
k l m
h i j
f f g
23 111 { | } ~
p q
r s t
u v u
w x y
z z x
d
7.1 A fixed point related to mixtilinear circles 247
231
248 7 Resultados interesantes
® ¦ ® ¦
¨ « ¨ «
¦ § ¦ §
ª ª
¬ ¨ ¬ ¨
¢ £ ¢ £
© « © «
§ § § §
® ¨ ® ¨
¬ ¬
« «
¡ ¡
¨ ®
© ª
« 3 «
© ª
¨ ®
§ ¦ § ¦
« ®
11 ©
« 23 23 «
©
11 « ®
¬ © ¬ ©
¬ ¬
« ª « ª
¬ ¨ ¬ ¨
¢ ¥ ¢ ¥
§ © § ©
¦ ¨ ¦ ¨
¨ ¯ ¨ ¯
© ¬ © ¬
¯ ª ¨ ¯ ª ¨
¢ ¤
¯ ª ¦ ¯ ª ¦
© «
§ ©
2 2
§ ©
© «
¯ ª ¦ ¯ ª ¦
¢ ¤
¯ ª ¨ ¯ ª ¨
© ¬ © ¬
¨ ¯ ¨ ¯
¦ ¨ ¦ ¨
¢ ¥ ¢ ¥
§ © § ©
¬ ¨ ¬ ¨
« ª « ª
¬ ¬
¬ © ¬ ©
« «
© ©
« ® « ®
23 23
11 § ¦ § ¦
11
« «
¡ ¡
3
¨ ® ¨ ®
© ª © ª
« «
¬ ¬
® ¨ ® ¨
§ § ¢ £ ¢ £ § §
© « © «
¬ ¨ ¬ ¨
ª ª
¦ § ¦ §
¨ « ¨ «
® ¦ ® ¦
7.1 A fixed point related to mixtilinear circles 249
½ µ ½ µ
· º · º
µ ¶ µ ¶
¼ ¹ ¼ ¹
» · » ·
± ² ± ²
¸ º ¸ º
¶ ¶ ¶ ¶
½ · ½ ·
¼ » ¼ »
º ¼ º ¼
° °
· ½
¸ ¹
¼ º 3 ¼ º
¸ ¹
· ½
¶ µ ¶ µ
º ½
11 ¸ ¼
º ¼ 23 23 º ¼
¸ ¼
11 º ½
» ¸ » ¸
¼ » ¼ »
º ¹ º ¹
» · » ·
± ´ ± ´
¶ ¸ ¶ ¸
µ · µ ·
· ¾ · ¾
¸ » ¸ »
¾ ¹ · ¾ ¹ ·
± ³
¾ ¹ µ ¾ ¹ µ
¸ º
¶ ¸
¼ ¼
2 2
¼ ¼
¶ ¸
¸ º
¾ ¹ µ ¾ ¹ µ
± ³
¾ ¹ · ¾ ¹ ·
¸ » ¸ »
· ¾ · ¾
µ · µ ·
± ´ ± ´
¶ ¸ ¶ ¸
» · » ·
º ¹ º ¹
¼ » ¼ »
» ¸ » ¸
º ¼ º ¼
¸ ¼ ¸ ¼
º ½ º ½
23 23
11 ¶ µ ¶ µ
11
¼ º ¼ º
° °
3
· ½ · ½
¸ ¹ ¸ ¹
º ¼ º ¼
¼ » ¼ »
½ · ½ ·
¶ ¶ ± ² ± ² ¶ ¶
¸ º ¸ º
» · » ·
¼ ¹ ¼ ¹
µ ¶ µ ¶
· º · º
½ µ ½ µ
250 7 Resultados interesantes
È Ð Ê
Æ Æ Ç
× Ò Ù
× Ú Ñ
 Ã
Ö Ò Ù
Ö Ö Ò
È Ë Ð
Ó Ñ Ñ
È Ë Í
× Ó Ö
Ó Ø Ò
× × Ø
× Ö Ò
23
È Ë Ê
Ö Ó Ó
Ó Ø Ú
× Ø Ñ
¿ Á
× Ó Ø
È Ì Í
× Ô ×
Ö Ö ×
Ö Ô Ú
× × Ô
111 È Ë Ð
È Î Ï
Ö Ñ ×
× Ù Ó
¿ À
Ö × Ô
È Ê Ë
Ñ Õ Ö
Ñ Ò Ô
× Ò Ó
Ä Å
Ñ Ò Ó
È É Ê
ä ì æ
â â ã
ó î õ
ó ö í
Þ ß
ò î õ
ò ò î
ä ç ì
ï í í
ä ç é
ó ï ò
ï ô î
ó ó ô
ó ò î
23
ä ç æ
ò ï ï
ï ô ö
ó ô í Û Ý
ó ï ô
ä è é
ó ð ó ò ò ó
ò ð ö
ó ó ð
111 ä ç ì
ä ê ë
ò í ó
ó õ ï
Û Ü
ò ó ð
ä æ ç
í ñ ò
í î ð
ó î ï
à á
í î ï
ä å æ
7.2 Playing with circles 251
115. Given two circles (B) and (C) touching externally at X, and an arbitrary point
Y on (C), to construct the circle (A) touching (C) at Y and also touching (B).
C
X
B
Z Y
L
Solution. We give the following construction:
1. Draw the radius BL parallel to radius CY.
2. Join LY meeting again (B) at Z.
3. BZ and CY meet at A.
Now an arbitrary line through X meets (B) at M and (C) at N. If MY and NZ
intersects again (A) at V and W respectively, then VW is a diameter of A (Yaglom).
C
X
B Z
Y V
A
M
W
252 7 Resultados interesantes
C
X
B Z
Y V
A
M
W
En un sistema de coordenadas cartesianas, dadas dos circunferencias (B, R) y
(C, r) con B = (a, b) y C = (c, d) se obtienen todos los triángulos equiláteros XY Z
donde X está sobre el eje x, Y sobre la circunferencia (B, R) y Z sobre la circunfe-
rencia (C, r).
Hallar la ecuación del lugar geométrico del baricentro G de XY Z.
Y' Z
B G C
G'
Z'
253
254 7 Resultados interesantes
4 2 2 4 3
√ 2 √ 3 √
√ a 3+ 2a4 b √+ b3 − a c2− 3a √ bc − ab2 c − 3b√ c + 2 3abc 2 2 2 3
√ +2 2b c√− ac2 −
3bc +c + 3a √ 2 3 2
d +3a bd + 3ab d +3b d√−2 3a cd −2 3b√cd + 3ac d +
3bc2 d + 2a2 d√ 2 + 2 3abd 2 + 4b2 d 2 − acd 2 − 3bcd 2 + 2c2 d 2 + 3ad 3 + 3bd 3 +
√ √
d 4 + a2 r2 − 2 3abr2 − b2 r2 + acr √
2 + 3bcr2 − 2c2 r2 − 3adr2 − 3bdr2 − 2d 2 r2 +
√ √
r4 − 2a2R2 − 2b2 R2 + acR2√+ 3bcR2 + c2 R2√− 3adR2 − 3bdR √
2 + 2 3cdR2 −
d 2 R2 −2r 2 2
√ R +R
4 −3a3 x+ 3a2 bx−3ab2 x+ 3b3 x+3a2 cx−2 3abcx−3b2 cx+
√ 2 √ 2 √ √ 2
3ac x+ √3bc x−3c3 x− 3a
2 2
√ dx−6abdx+ √ 3b dx+2 3acdx−6bcdx−
√ 3c dx−
3ad 2x − 3bd 2 x − 3cd 2 x − 3d 3 x − 3ar2 x + 3br2 x + 3cr2 x + 3dr2 x + 3aR2 x −
√ √
2 x − 3cR2 x − 3dR2 x + 3a2 x2 + 3b2 x2 − 6acx2 + 3c2 x2 + 6bdx2 + 3d 2 x2 +
√3bR 3 2
√ 2 3
√ 2 √ 2 √ 2
√3a3 y−9a 2by+ 3ab √ y−9b y+32 3a cy−6abcy+5 √ 3b cy−3 3ac√ y−3bc2 y−
3c y − 3a √ dy2− 6 3abdy − 21b dy − 6acdy√+ 6 3bcdy − 9c√dy − 5 3ad 2 y −
√
2
Z
Y
B G
Y' C
G'
Z'
X
Cuando c = −a, b = d y R = r resulta la curva
√ √ 2
−y 3a + 3b a2 + 5b2 − 2R2 + a + 3b a2 + b2 − R2 + 3x2 a2 + b2 +
√ √ √
3y2 2 3ab + 10b2 − R2 + 3x2 y 3a − 3b − 3y3 3a + 9b + 9x2 y2 + 9y4 = 0
117. Sean (O) una circunferencia y t, t 0 las tangentes a (O) en los extremos T, T 0 de
un diámetro. Se consideran todos los triángulos equiláteros ABC estando A sobre la
circunferencia, B sobre t 0 y C sobre t. Hallar el lugar geométrico del baricentro G
del triángulo ABC.
C' T C
A t
G'
O G
P
Y
K
F
O X
P
Y
K
F
U J' O J X
B
K
C
F
O
d
K'
258 7 Resultados interesantes
1 2 ÷ 10 17 18 18 4 2 12 10 20 20 4 14 12 22
ú ú
3 4 11 12 20 ø ÷ 1 ÷ 14 17 22 18 8 2 10 ø 23
ù ú ú ù
13 14 21 22 3 8 11 ø 23ø ÷ 1 7 ÷ 17 ø 21
ù ú ù ù ù
7 8 ø ø 23 7 13 ø 21 3 11 13 ø ÷
ú ú ù ú ù ù
22 8 ø 14 23 23 7 8 ø 21ø 21 7 13 ø ø ÷
ù ù ú ú
20 7 4 ø 12 21 22 13 14 ø ÷ 23 3 8 11 ø 17
ù ú
18 2 13 10 ø ÷ 20 3 4 11 12 17 22 1 14 ÷ 10
1 3 ÷ 11 17 18 1 2 10
÷ 20 18 4 2 12
ù
ø 3
÷ 11 13 17 17 1 3 11 10
÷ 10 18 1 2 ÷ 12
ù ù
21 1 7 ÷ 10 ø ø 18
÷ 2 13 12 17 20 3 4 11 14
ú ù ù ú ú
23 18 8 2 12 ø 21 20 7 4 14ø ø 22
÷ 13 ø
ú ú ú ù
22 20 4 14 23 22 8 ø 21 23 7 8 ø
ú ú ú ú ù
12 20 18 4 2 14 14 22 20 4 ø ø 23 22 8 ø
ú ú ù
10 22 1 ÷ ø 12 23 18 8 2 ø 14 21 20 7 4 13
ù ù
17 23 3 8 11 ø 10 21 1 7 13 ÷ 12 ø ÷ 18 2 11
ù ù
ø 21
÷ 7 13 17 3ø ÷ 11 10 17 1 3 ÷
ù ù ù
ø 21 23 7 8 13 13 21ø ÷ 7 11 11 17 ø 3
÷ ÷
ú ù ú ù
ø 22 ø ÷ 11 ø 17 23 3 8 ÷ 13 10 21 1 7 2
ú ú ù
14 17 20 3 4 ÷ ø 10 22 1 2 ø 12 23 18 8 4
ú ú
12 10 18 1 2 14 12 20 18 4 ø 14 22 20
ú
10 17
÷ 1 3 2 2 12 10 18 1 4 4 14 12 20 18
ù ú ú
11 12 ø ÷ 18 4 14 17
÷ 20 3 2 ø 10 22 1 8
ú ú ù ù
13 14 21 20 7 11 ø ø ÷ 22 8 ÷ ø 17 23 3 7
ù ú ù ù
ø 23 ø 22 8 13 21ø 23 7 11 13 ø 21
÷
ú ú ù ú ù ù
14 ø 22 20 8 8 ø ø 23 22 7 7 13 ø 21 23
ù ú ù ú
4 12 ø 23 18 7 13 14 21 20 8 11 ø 22 ø ÷ 3
ù ú
2 13 10 21 1 4 11 12 ø 18 3
÷ ÷ 14 17 20 1
11 17
÷ ø 3
÷ 2 10 ÷ 17 1 4 2 12 10 18
ù
11 13 ø 21 3
÷ 3 11 ÷ 17 1ø ÷
ù ù
7 ÷ ø 17 23 1 2 13 10 21 18
ú ù
8 2 ø 10 22 18 7 4 ø 12 23 20
ú ú ú
4 14 12 20 8 ø 14 22
Deseamos que cada alumno comparta mesa con el mayor número posible de
compañeros de clase. Sin embargo, con esta forma de permutar los alumnos pode-
mos observar que cada alumno se queda sin compartir mesa con 8 de sus com-
pañeros:
7.4 Ubicaciones de alumnos 259
û ü ý þ û ÿ þ û û þ û þ û þ û þ û þ û ü û ÿ þ û þ û þ û ý þ ÿ þ û þ þ ü û ÿ þ û û þ û þ û þ û þ û þ û þ û
ü û ÿ þ û þ û þ û ý þ ÿ þ û þ þ ü û ÿ þ û þ û þ û þ û þ û þ û þ û ý ü û ÿ þ û þ û þ û þ û ý þ û þ þ
ü û ÿ þ û þ û þ û þ û þ û þ û ý þ û ü û ÿ þ û þ û þ û þ û þ û ý þ û þ ý ü û þ û þ û þ û ý þ ÿ þ û þ þ
û ÿ ü û þ þ þ þ þ þ þ û û ü û þ þ û þ û ý þ ÿ þ û þ þ û ü û þ þ þ þ þ þ þ û
û ü û þ þ þ û þ ÿ þ û þ þ û ü û þ þ þ þ þ þ û þ ÿ û ü û þ þ þ þ û þ ÿ þ þ
û ü û þ þ þ þ þ û þ ÿ þ û ü þ þ þ þ þ þ þ ý û ü þ ý þ û û þ û þ û þ û þ û þ û
û ý ü þ þ þ þ þ þ ý þ û û ÿ ü þ þ ý þ û û þ û þ û þ û þ û û ü þ þ þ þ þ ý þ û û þ û
ü þ þ þ ý þ û û þ û þ û þ û ü þ þ þ þ ý þ û û þ û þ û
La siguiente figura muestra una permutación de los alumnos que podemos aplicar
sucesivamente y entonces el número de compañeros que no comparten mesa en un
ciclo de permutaciones se reduce a dos:
1 2 10 17 18 10 22 3 7 23 7 1 20 8 13 3
3 4 11 12 20 20 14 2 2 11 14 4 17 22
13 14 21 22 4 17 12 1 18 23 10
7 8 23 8 21 11 18 13 21 12
8 10 2 21 20 21 7 22 12 2 12 8 1 18 22
22 17 23 1 1 14 23 11 13 10 10 17 13 7
11 18 13 4 7 3 8 20 14 3 11 21
12 14 3 4 17 20 18 4 23 2
21 10 4 1 4 12 7 3 10 8 11 20 7
7 23 14 8 8 13 17 18 21 21 18 23 12
2 17 20 18 12 22 23 2 14 1 13 22 3 17 4
11 13 22 3 11 1 20 14 10 2
11 4 21 2 8 12 14 22 21 14 11 17 1 12
12 13 3 18 3 20 4 4 20
2
10 1 20 23 7 10 2 13 11 8 18 7 22
14 17 18 7 22 17 23 8 1 23 13 3 21 10
17 4 23 10 23 14 13 7 4 13 17 11 8
3 2 18 22 11 11 20 22 1 2 1 3 10 14
21 8 1 14 12 3 21 10 18 17 20 12 7 23
13 20 12 7 2 8 18 22 4 21
23 21 11 13 14 18 12 18 17 14
14 22 10 20 7 17 17 1 7 2 8 23 23 10 8 22 21 13
4 2 8 3 13 22 4 21 20 11 1 12 2
18 1 12 3 10 11 3 20 7 4
23 3 4 17 3 18 13 20 23 20 2 11 13
13 7 21 1 12 8 12 10 21 7 4 18
10 11 22 18 14 7 4 1 17 8 14 10 3
20 2 8 14 2 22 21 17 11 22 1 12 23
2 3 22 22 20 18 1 14
18 12 4 8 21 11 3
23 21 17 11 7 20 13 12 23 8 2
1 10 13 14 10 7 4 17
260 7 Resultados interesantes
1 23 5 19 9 15
2 22 6 18 10 14
3 21 7 17 11 13
4 20 8 16 12
3
21 7 17 11 13 4 22
8 18 12 14 23 13
4
20 8 12
21 17 13 22 10
18 14
4
3 8 22 12 18 4 23 13 10 1 14 20
2 21 13 17 3
10 22 14 18 7 4 11 23
1 10
20 14 7 2
11 21 17 8 3 12 22 18
7 23 11 8 1
12 20 2 13
21 17
7 11 2 21 8 7
12 3 22
8 13
4 17 23
8 12 1 20 13 2 17 21 10 7 14 3 18 22
4 13
23 17 10 14 1 18 20 11 2 21
10 3 14 22 18 11 4 23 12 1 20
10 14 18 1 11 10 2 12 11 7 20 3
11 8 4 23 12 20 1 13 10 17 21
2
12 7 3 20 22 13 8 17 4 21 23 14 18 22 1
13 17 2 21 14 7 18 3 22 8 4 23
13 12 17 8 21 4 14 13 18 22 14 10 23
14 11 18 7 22 3 12 8 23 4 13 20
1
10 23
2 11 20 7
1 3 17 12 21 8 2 4
20 1 17 10 21 2 18 11 22 7 3
20 11 1 7 17 21 12 2 8 18 17 22 13 3
17 14 21 10 2 18 22 11 3 7 23 12 4 8
18 13 22 3
14 23 10
4 20 1 11 7
12 23
8 4 20 13 1 21 14 2 10
18 23
14 4 10 20 1 11 21 20 2 12
20 17 1 13 21 18 2 14 10 22 3 7 11
21 2 12 8 22 17 3 13 7 23 18 4 14 8 10
22 3 11 7 23 4 12 8 1 17 13
22 21 3 17 7 13 23 22 4 18 8 14
23 20 4 8
12 1 21 17 13
1 11 2 20 10 12
2 18 14 10 3 7 11
262 7 Resultados interesantes
118 (Problema 713). Un contratista se compromete a pintar una cierta obra por
12.000 pesetas, incluido el beneficio que piensa obtener, que asciende al 10 % de
dicha cantidad. La superficie a pintar es de 1.200 metros cuadrados, y con 1 kilo-
gramo de pintura, que cuesta 15 pesetas, se pueden pintar 200 decı́metros cuadrados.
Se sabe igualment eque un obrero pinta en cada jornada de trabajo 10 metros
cuadrados y que los gastos calculados por el contratista, aparte del coste de la pintura
y jornales, ascienden a 600 pesetas.
Pareciéndole poca la ganancia, y antes de comprar la pintura, decide emplear
una mezcla de aquélla con gasolina en la proporción de 0,125 l. por cada kilogramo
de pintrua. De esta manera resulta que con un kilogramo de de la mezcla obtenida
pede pintar un 50 por 100 más de superficie que primitivamente y en un 25 por 100
menors tiempo, debido todo ello a la mejor fluidez de la mezcla.
Se desea saber cuál es el tanto por ciento de beneficio que obtiene sobre el im-
porte total de la contrata y las cantidades de pintura en kilogramos y gasolinea en
litros que debe comprar, teniendo en cuent que un litro de gasolina cuesta 2 pesetas y
pesa 800 gramos. El importe de 600 pesetas de gastos generales no sufre variación.
Propuesto en la Escuela Naval Militar. Primera convocatoria. 1943.
119 (FJGC). El polinomio x3 + px3 +qx2 +r tiene sus raı́ces en progesión armónica
si y solo si 2q3 − 9pqr + 27r2 = 0.
Propuesto por Francisco Javier Garcı́a Capitán, 21/11/2022.
4(b + r)(b + R)
m2 = .
(R − r)2 B
The line through H with slope m is tangent to the
elipse if and only if
4Rr(b + r)(b + R)
m2 = .
a2 (R − r)2
10
10 5 5 10
10
123 (Generalization). Let B,C be two fixed point on a circle (O) and A a variable
point on the circle. Call M the midpoint of CA and P the orthogonal projection of M
on AB. Then the locus of P when A varies is a circle whose center S is the midpoint
of O and X, the midpoint of BC.
P
M
O
S
B X C
7.5 Revista Euclides 267
P
M
O
S
B X C
268 7 Resultados interesantes
2023
124. Let ABC be a triangle. A line through A intersects BC at X. Call M the midpoint
of BC and X 0 the reflection of X with respect to M. If P is a variable point on line
AX, then the locus of the orthocenter H of PBC is a hyperbola whose asymptotes
are the line through X perpendicular to BC and the line through X 0 perpendicular to
AX.
X H B D M C X'
Moreover, the locus of the center S of the hyperbola is a parabola trough M and D,
de feet of the altitude drawn from A to BC. The axis of the parabola is perpendicular
to BC and the distance from the vertex to the line BC is given by
2
b2 − c2
a · (ABC)
Finally, the distance from the vertex to the focus of the parabola is 18 AD.
Francisco Javier Garcı́a Capitán, Dec. 13 2022.
270 7 Resultados interesantes
4(t − a)2
f (t)2 + f 0 (t)2 = . (7.2)
(b − a)2
125. Let ABC be a triangle and P = (u : v : w) a point. Call DEF and XY Z the
cevian and the circumcevian triangles of P with respect to ABC. We consider the
intersection points
D0 = AP ∩ Y Z, E 0 = BP ∩ ZX, F 0 = CP ∩ XY.
Then we have:
1. The six points D, D0 , E, E 0, F, F 0 lie on a conic.
2. If U,V,W are the second intersections of the conic and lines BC, CA, AB, respec-
tively, the triangle UVW is perspective with ABC at the point
Q = (b2 c2 u2 : c2 a2 v2 : a2 b2 w2 ).
A Y
V
D' E
Z
F
Q P
F'
W O
E'
B U D C
Remarks. 1. The point Q can be regarded as the barycentric square of the barycen-
tric product of P and X75 .
2. The point P and the vertices of the anticevian triangle of P have the same Q.
3. The following table shows examples of Q for some P:
P X1 X2 X3 X4 X5 X6
Q X2 X76 X394 X2052 X45793 X6
272 7 Resultados interesantes
126. Let ABC be a triangle and S = (p : q : r) a point. For any point P = (u : v : w),
call DEF its cevian triangle and XY Z the triangle formed by second intersections of
the cevians por P and the circumconic with perspector S. We consider the intersec-
tion points
D0 = AP ∩ Y Z, E 0 = BP ∩ ZX, F 0 = CP ∩ XY.
Then we have:
1. The six points D, D0 , E, E 0, F, F 0 lie on a conic.
2. If U,V,W are the second intersections of this conic and lines BC, CA, AB, respec-
tively, the triangle UVW is perspective with ABC at the point
2 2 2
u v r
Q= : : .
p q r
D'
Z F
S E
P
W
V
E' Q F'
B D U C
22 +42 +62 +82 +102 +122 +142 +162 +182 +202 +222 = 2024.
SepararExponentes[{a_,b_}]:={
{a, Quotient[b,2]},{a, Mod[b,2]}}
ExponentesNoNulos[list_]:=Select[list,
Last[#]!=0&][[All,1]]
LibreDeCuadrados[n_]:=Module[{a,b,fact},
fact=FactorInteger[n];
{a,b}=Map[ExponentesNoNulos,
Transpose[Map[SepararExponentes,fact]]];
{Apply[Times,a],b}
]
CasoPrimoImpar[p_]:=Module[{u,k,x,y,r,s},
x=First[Select[Range[0,p-1],Mod[#ˆ2+1,p] ==0&]];
k=(xˆ2+1)/p;
y=1;
While[k>1,
{r,s}=Mod[{x,y},k];
If[r>k/2,r=r-k];
If[s>k/2,s=s-k];
7.5 Revista Euclides 275
La figura del ocho, S1 ((−1, 0)) ∪ S1 ((1, 0)), es un retracto de deformación fuerte
de R2 \{(1, 0), (−1, 0)}.
128 (11360). I use my construction of the inconic with given perspector P (see Fo-
rum Geometricorum, 14 (2014) 387–388). If P = (u : v : w), and DEF is the cevian
triangle of P, we have
V
W S
E
F P
M E' T F' N
B D C
Then we have
AM 5v AN 5w AT 5(v + w)
= , = , = .
MB u NB u TB 2u
278 7 Resultados interesantes
E' E
G
P
F
B M C
G'
A'
If CE : EA = t, then we have
P
F
B' C'
B M C
G'
A'
B0C 0 AF · FB AE · EC
= = .
BC AB2 AC 2
280 7 Resultados interesantes
I
O
B C
Ia
¡Feliz Navidad!
M
L A
E
D F H G
K B C
S R
J
I
The making of
b4 + c4
a2 =
b2 + c2
2c4
⇔a2 = b2 − c2 + 2
b + c2
2
2
c
⇔a2 = b2 + √
2
−c .
b√2 +c2
2
282 7 Resultados interesantes
(7r + 3R)Rr
k= .
(3R − r)(R + 2r)
Francisco Javier Garcı́a Capitán, Dec 28, 2022.
Podemos escribir 0 −→ −→
X = X + kuY X + kuX Z
Y 0 = Y + k−
u→ −→
ZY + kuY X
Z = Z + k− uX→Z + k−
u→
0
ZY
Z
7.5 Revista Euclides 283
Z Y
B'
B C
D
C'
B0C 0 AD
= .
BC ma
Z Y
wa
B'
B D C
C'
B0C 0 AD
= .
BC wa
284 7 Resultados interesantes
q
M = |p2 | + m2 + |p3 |2 + |p4 |
|p3 | sin ϕ = |p4 | sin θ
|p2 | = |p3 | cos ϕ + |p4 | cos θ
Si z1 + z2 + z3 = 0, y θ1 , θ2, θ3 son los argumentos de z1 , z2 , z3 entonces