Problema 29:

(Propuesto, sin solución, en Norte de problemas, de Rey Pastor y Gallego Díaz)

Si α 1 , α 2 , K , α n son las proyecciones de un segmento rectilíneo de longitud l
sobre los n lados de un polígono regular, demostrar que
1
α 12 + K + α 2n = nl 2
2
3
α 14 + K + α 4n = nl 4
8

Solución de Andrés Sánchez Pérez, La Habana, Cuba.

Inscribamos una circunferencia al polígono regular:

A k +1
Mk
Ak

O
M
L N

A1 M1 A2 Bk

Sea MN = l . M 1 y M k son las respectivas proyecciones de M sobre A 1 A 2 y

A k A k +1 ( A n +1 = A 1 ). Por la propiedad del ángulo exterior a una circunferencia:
2π[n − ( k + 1) + 1] 2π (k − 2)
−
∠A 1 OA k +1 − ∠A 2 OA k n n
∠A 1 B k A k +1 = =
2 2
π[n − 2(k − 1)]
=
n
π
Supongamos que ∠M 1 MN = α . ∠MM k B k = ∠MM 1 B k = por ser M 1 y M k
2
las respectivas proyecciones de M sobre A 1 A 2 y A k A k +1 . Entonces, por suma
de ángulos interiores de un cuadrilátero:
π[n − 2( k − 1)] 2π (k − 1)
∠M 1 MM k = π − = , restándole α , obtenemos que
n n
2π (k − 1)
∠M k MN = − α , en consecuencia:
n
 2π (k − 1) 
α k = l sen − α
 n 
Inciso a:
 4π( k − 1) 
1 − cos − 2 α
  2π( k − 1)
2
  n 
α 2k = l 2 sen − α  ⇒ α 2k = l 2
  n  2
Se trata de hallar ahora:
 4π(k − 1) 
1 − cos − 2α 
n n
 n  1 2 1 2 n  4π(k − 1) 
∑ α 2k = ∑ l 2 = nl − l ∑ cos − 2α 
k =1 k =1 2 2 2 k =1  n 
 2π 
Multipliquemos la sumatoria de cosenos por sen  que será distinto de 0
 n 
pues n ≥ 3 , luego la dividimos y obtenemos el resultado.
 2π  n  4π( k − 1)  n  2π   4π (k − 1) 
sen ∑ cos − 2α  = ∑ sen  cos − 2 α
 n  k =1  n  k =1  n   n 
1 n   2π( 2k − 1)   2π(3 − 2k ) 
= ∑ sen
2 k =1  
− 2α  + sen  + 2 α 
n   n 
1 n   2π( 2k − 1)   2π( 2k − 3) 
= ∑ sen
2 k =1  
− 2α  − sen − 2α 
n   n 
1   2π( 2n − 1)   2π 
= sen − 2α − sen− − 2α  
2  n   n 
1   2π( 2n − 1)   2π 
= sen − 2α + sen + 2α 
2  n  n 
 2π (2n − 1) 2π   2π( 2n − 1) 2π 
 − 2α + + 2α   − 2α − − 2α 
1 n n n n
= ⋅ 2sen  cos 
2  2   2 
   
 2π( n − 1) 
= sen(2π ) cos − 2 α
 n 
=0
n
1
Finalmente ∑ α 2k = nl 2
k =1 2
Inciso b:
 4π( k − 1)    4π (k − 1)
2

1 − 2 cos − 2α  + cos − 2 α 
 n    n 
α 4k = l 4
4
8π( k − 1) 
cos − 4α  + 1
 4π( k − 1)   n 
1 − 2 cos − 2α  +
= l4  n  2
4
  4π(k − 1)   8π(k − 1) 
2 − 4 cos − 2α + cos − 4 α + 1
 n   n 
= l4
8
 4π (k − 1)   8π (k − 1) 
3 − 4 cos − 2α + cos − 4 α
 n   n 
= l4
8
Se trata de hallar ahora:
 4π( k − 1)  8π( k − 1) 
3 − 4 cos  − 2 α  + cos  − 4 α 
n n
 n   n 
∑
k =1
αk = ∑l
4

k =1
4

8
3 1 n  4π (k − 1)  1 n  8π( k − 1) 
= nl 4 − l 4 ∑ cos − 2α  + l 4 ∑ cos − 4α 
8 2 k =1  n  8 k =1  n 
3 4 1 4 n  8π (k − 1) 
= nl + l ∑ cos − 4 α
8 8 k =1  n 
n
 4π (k − 1) 
pues del inciso anterior sabíamos que ∑ cos − 2 α = 0 .
k =1  n 
Si n = 4 ⇒
[ ( ) ] l + l ∑ cos(4α )
4
3 4 1 4 4 3 4 1 4 4
∑ α 4
k =
2
l + l ∑
8 k =1
cos 2 π k − 1 − 4 α =
2 8 k =1
k =1

= l 4 + l 4 cos( 4α )
3 1
2 2
 4π 
Si n ≠ 4 ⇒ sen  ≠ 0 , con n ≥ 3 .
 n 
 4π 
Multipliquemos la sumatoria de cosenos por sen  que será distinto de 0
 n 
pues n ≥ 3 y n ≠ 4 , luego la dividimos y obtenemos el resultado.
 4π  n  8π( k − 1)  n 4 π  8 π (k − 1) 
sen ∑ cos − 4α  = ∑ sen  cos − 4α
 n  k =1  n  k =1  n   n 
1 n   4π( 2k − 1)   4π(3 − 2k ) 
= ∑ sen − 4α  + sen  + 4 α 
2 k =1   n   n 
1 n   4π( 2k − 1)   4π( 2k − 3) 
= ∑ sen
2 k =1  
− 4α  − sen − 4α 
n   n 
1   4π( 2n − 1)   4π 
= sen − 4α − sen− − 4α  
2  n   n 
1   4π( 2n − 1)   4π 
= sen − 4α + sen + 4α 
2  n  n 
  4π (2n − 1) 4π   4π( 2n − 1) 4π 
 − 4 α + + 4 α   − 4 α − − 4α 
1 n n n n
= ⋅ 2sen  cos 
2  2   2 
   
 4π( n − 1) 
= sen(4π ) cos − 4 α
 n 
=0
n
3
Finalmente ∑ α 4k = nl 4
k =1 8
Revista Escolar de la Olimpíada Iberoamericana de
Matemática

http://www.campus-oei.org/oim/revistaoim/

Edita: