.....................................................................................................

4
............................................................................. 5
................................................................................ 5
................................................................... 6
................... 6
.......................................................................................... 6
............................................................................................... 23

.................................................................................................. 34
............................................................ 34
......................................................... 35
.......... 40

.............................................................................................. 45
................................................................................. 45
............................................................................ 46
....................................................................... 56

..................................................................................... 59
.............................................. 59
...................................................................................... 59
.................................................................................... 60
..................................................................................... 62

Figura 1. Propósito ........................................................................................................................................ 5

Figura 3. Segmento de recta ....................................................................................................................... 13
Figura 4. Rectas paralelas equidistantes ..................................................................................................... 14
Figura 5. Rectas paralelas con dos rectas transversales ............................................................................. 17
Figura 6. Rectas paralelas equidistantes ..................................................................................................... 19
Figura 7. Triángulos con segmentos inconmensurables ............................................................................. 20
Figura 8. Bisectriz de un triángulo .............................................................................................................. 21
Figura 9. Polígonos semejantes .................................................................................................................. 23
Figura 10. Triángulos semejantes ............................................................................................................... 24
Figura 11. Trazos auxiliares ......................................................................................................................... 25
Figura 12. Segmentos auxiliares ................................................................................................................. 26
Figura 13. ángulos correspondientes congruentes ..................................................................................... 28
Figura 14. Dos triángulos con lados proporcionales ................................................................................... 29
Figura 15. Triángulo semejante .................................................................................................................. 30
Figura 16. Polígonos semejantes ................................................................................................................ 31
Figura 17. Triángulos semejantes en polígonos semejantes ...................................................................... 32
Figura 18. Polígono regular ......................................................................................................................... 35
Figura 19.bisectrices de los ángulos del polígono regular .......................................................................... 37
Figura 20. Polígono regular ......................................................................................................................... 38
Figura 21. Apotema de un polígono ........................................................................................................... 39
Figura 22. Apotema de un polígono ........................................................................................................... 41
Figura 23. apotema de un hexagono .......................................................................................................... 43
Figura 24. Rectángulos con áreas proporcionales ...................................................................................... 46
Figura 25. Áreas de rectángulos proporcionales ........................................................................................ 49
Figura 26. Representación Teorema 4.1.9 .................................................................................................. 50
Figura 27. Área de un paralelogramo ......................................................................................................... 51
Figura 28. Demostración teorema 4.21 ...................................................................................................... 52
Figura 29. Gráfica teorema de pitágoras ................................................................................................... 54
 

Figura 1. Propósito


 𝑎, 𝑏, 𝑐 𝑑 ℝ
𝑏 𝑑
𝑎 𝑐
= .
𝑏 𝑑
 𝑎 𝑐 𝑏
𝑑 𝑎 𝑑 𝑏 𝑐

𝑥 𝑎, 𝑏, 𝑐 ℝ 𝑥

𝑎 𝑐
= .
𝑏 𝑥

𝑎, 𝑏, 𝑐
𝑎 𝑏
= .
𝑏 𝑐

𝑎𝑏 𝑥 ℝ

𝑎 𝑏
= .
𝑏 𝑥
 𝑎, 𝑏, 𝑐 𝑑 ℝ
𝑏 𝑑

𝑎 𝑐
=
𝑏 𝑑

𝑏𝑑

𝑎 𝑐
𝑏𝑑 ( ) = 𝑏𝑑 ( ) ;
𝑏 𝑑
 𝑏 𝑑
𝑎𝑑 ( ) = 𝑐𝑏 ( ) ;
𝑏 𝑑

𝑎𝑑 = 𝑐𝑏.

𝑎, 𝑏, 𝑐 𝑑 ℝ 𝑎, 𝑏, 𝑐 𝑑

𝑎 𝑐
= .
𝑏 𝑑

𝑎𝑑 = 𝑐𝑏;

𝑐𝑑

1 1
( ) (𝑎𝑑) = ( ) (𝑐𝑏),
𝑐𝑑 𝑐𝑑

𝑎 𝑏
= .
𝑐 𝑑
 𝑎, 𝑏, 𝑐 𝑑 ℝ 𝑎, 𝑏, 𝑐 𝑑

𝑎 𝑐
= ;
𝑏 𝑑

𝑎𝑑 = 𝑐𝑏;

𝑎𝑐

1 1
( ) (𝑎𝑑) = ( ) (𝑏𝑐),
𝑎𝑐 𝑎𝑐
 𝑑 𝑏
= .
𝑐 𝑎

𝑎, 𝑏, 𝑐 𝑑 ℝ 𝑎, 𝑏, 𝑐 𝑑

𝑎 𝑐
= ;
𝑏 𝑑

𝑎+𝑏 𝑐+𝑑
= .
𝑏 𝑑

𝑎 𝑐
+ 1 = + 1,
𝑏 𝑑

𝑏 𝑑
𝑏 𝑑
 𝑎 𝑏 𝑐 𝑑
+ = + ,
𝑏 𝑏 𝑑 𝑑

𝑎+𝑏 𝑐+𝑑
= .
𝑏 𝑑

̅̅̅̅
𝐴𝐵 ̅̅̅̅̅̅
𝐴 ′ 𝐵′ 𝑛, 𝑛′ , 𝑚 𝑘
̅̅̅̅) = 𝑛
𝑚(𝐴𝐵 ̅̅̅̅̅̅
𝑚(𝐴 ′ 𝐵 ′ ) = 𝑘 ∙ 𝑛′ ̅̅̅̅ ) ≤ 𝑚(𝐴
𝑚(𝐴𝐵 ̅̅̅̅̅̅
′ 𝐵′)

1
̅̅̅̅
𝐴𝐵 ̅̅̅̅̅̅
𝐴 ′ 𝐵′
𝑛
1
.
𝑘∙𝑛′
 Figura 2. Segmento de recta

̅̅̅̅)
𝑚(𝐴𝐵 𝑛
= .
̅̅̅̅̅̅
𝑚(𝐴 ′ 𝐵′) 𝑘 ∙ 𝑛′

̅̅̅̅
𝐴𝐵 ̅̅̅̅̅̅
𝐴 ′ 𝐵′ 𝑛 𝑘∙
𝑛’

̅̅̅̅)
𝑚(𝐴𝐵 𝑛
= .
̅̅̅̅̅̅
𝑚(𝐴 ′ ′
𝐵 ) 𝑘 ∙ 𝑛′

̅̅̅̅ , 𝐴
𝐴𝐵 ̅̅̅̅̅̅ ̅̅̅̅
′ 𝐵 ′ , 𝐶𝐷 ̅̅̅̅̅̅
𝐶 ′ 𝐷′
̅̅̅̅), 𝑚(𝐴
𝑚(𝐴𝐵 ̅̅̅̅̅̅ ̅̅̅̅ )
′ 𝐵 ′ ), 𝑚(𝐶𝐷 ̅̅̅̅̅̅
𝑚(𝐶 ′ 𝐷 ′ ); ̅̅̅̅
𝐴𝐵 ̅̅̅̅
𝐶𝐷
̅̅̅̅̅̅
𝐴 ′ 𝐵′ ̅̅̅̅̅̅
𝐶 ′ 𝐷′

̅̅̅̅)
𝑚(𝐴𝐵 ̅̅̅̅ )
𝑚(𝐶𝐷
= .
̅̅̅̅̅̅
𝑚(𝐴 ′ 𝐵′) ̅̅̅̅̅̅
𝑚(𝐶 ′ 𝐷′ )
 ̅̅̅̅
𝐴𝐵 ̅̅̅̅
𝐶𝐷

̅̅̅̅
𝐴𝐵 ̅̅̅̅
𝐶𝐷

̅̅̅̅
𝐴𝐵
̅̅̅̅
𝐶𝐷
̅̅̅̅
𝐴𝐵

̅̅̅̅
𝐶𝐷
Figura 3. Rectas paralelas equidistantes

̅̅̅̅
𝐶𝐷

̅̅̅̅
𝐴𝐵

̅̅̅̅
𝐴𝐵 ̅̅̅̅
𝐶𝐷

̅̅̅̅
𝐴𝐵 ̅̅̅̅
𝐶𝐷 ̅̅̅̅
𝐴𝐵
 ̅̅̅̅
𝐶𝐷

̅̅̅̅
𝐴𝐶 , ̅̅̅̅ ̅̅̅̅̅, 𝐺𝑁
𝐸𝐿, 𝐹𝑀 ̅̅̅̅
𝐵𝐷
̅̅̅̅ ) = 𝑚(𝐸𝐹
𝑚(𝐴𝐸 ̅̅̅̅ ) = 𝑚(𝐺𝐵
̅̅̅̅ ) = 𝑚(𝐹𝐺 ̅̅̅̅)
̅̅̅̅) = 𝑚(𝐿𝑀
𝑚(𝐶𝐿 ̅̅̅̅) = 𝑚(𝑀𝑁
̅̅̅̅̅) = 𝑚(𝐷𝑁
̅̅̅̅).

∢𝐸𝐴𝐶 ≡ ∢𝐹𝐸𝐿 ≡
∢𝐺𝐹𝑀 ≡ ∢𝐵𝐺𝑁 𝑚(∢𝐸𝐴𝐶) = 𝑚(∢𝐹𝐸𝐿) = 𝑚(∢𝐺𝐹𝑀) = 𝑚(∢𝐵𝐺𝑁).
̅̅̅̅
𝐴𝐻
𝑚(∢𝐸𝐴𝐶) = 𝑚(∢𝐸𝐴𝐻) + 𝑚(∢𝐻𝐴𝐶) 𝑚(∢𝐸𝐴𝐻) = 𝑚(∢𝐸𝐴𝐶) −
𝑚(∢𝐻𝐴𝐶) 𝑚(∢𝐹𝐸𝐼) = 𝑚(∢𝐹𝐸𝐿) − 𝑚(∢𝐼𝐸𝐿) 𝑚(∢𝐺𝐹𝐽) =
𝑚(∢𝐺𝐹𝑀) − 𝑚(∢𝐽𝐹𝑀) 𝑚(∢𝐵𝐺𝐾) = 𝑚(∢𝐵𝐺𝑁) − 𝑚(∢𝐾𝐺𝑁)

̅̅̅̅
𝐴𝐻 , ̅̅̅ 𝐹𝐽, ̅̅̅̅
𝐸𝐼 , ̅̅̅ 𝐺𝐾
∢𝐻𝐴𝐶 ≡ ∢𝐼𝐸𝐿 ≡ ∢𝐽𝐹𝑀 ≡ ∢𝐾𝐺𝑁
𝑚(∢𝐻𝐴𝐶) = 𝑚(∢𝐼𝐸𝐿) = 𝑚(∢𝐽𝐹𝑀) =
𝑚(∢𝐾𝐺𝑁) 𝑚(∢𝐸𝐴𝐶) − 𝑚(∢𝐻𝐴𝐶) = 𝑚(∢𝐹𝐸𝐿) − 𝑚(∢𝐼𝐸𝐿) =
𝑚(∢𝐺𝐹𝑀) − 𝑚(∢𝐽𝐹𝑀) = 𝑚(∢𝐵𝐺𝑁) − 𝑚(∢𝐾𝐺𝑁) 𝑚(∢𝐸𝐴𝐻) =
𝑚(∢𝐹𝐸𝐼) = 𝑚(∢𝐺𝐹𝐽) = 𝑚(∢𝐵𝐺𝐾)

∢𝐿𝐸𝐴 ≡ ∢𝑀𝐹𝐸 ≡ ∢𝑁𝐺𝐹 ≡ ∢𝐷𝐵𝐺 ̅̅̅̅

𝐴𝐸 ≡
̅̅̅̅ ≡ 𝐺𝐵
̅̅̅̅ ≡ 𝐹𝐺
𝐸𝐹 ̅̅̅̅

∆𝐸𝐴𝐻 ≡
∆𝐹𝐸𝐼 ≡ ∆𝐺𝐹𝐽 ≡ ∆𝐵𝐺𝐾 ̅̅̅̅ ≡ 𝐸𝐼
𝐴𝐻 ̅̅̅ ≡ 𝐹𝐽 ̅̅̅̅̅
̅̅̅ ≡ 𝐺𝐾.
̅̅̅̅ ≡ 𝐶𝐿
𝐴𝐻 ̅̅̅̅, 𝐸𝐼
̅̅̅ ≡ 𝐿𝑀
̅̅̅̅, 𝐹𝐽
̅̅̅ ≡ 𝑀𝑁
̅̅̅̅̅ ̅̅̅̅ ≡
𝐺𝐾
̅̅̅̅
𝑁𝐷; ̅̅̅
𝐶𝐿̅, ̅̅̅̅
𝐿𝑀, ̅̅̅̅̅
𝑀𝑁 ̅̅̅̅
𝑁𝐷
1
Tales de Mileto es considerado uno de principales iniciadores de la formalización de la geometría, pero no se
cuentan con escritos propios de Tales que hayan llegado hasta nuestros días para confirmar este supuesto, esta
afirmación se da a partir de referencias que se han hecho por parte de otros filósofos griegos posteriores a él.
 𝑅1
𝑅2
𝑅3 , 𝑅4 𝑅5

𝑅1 𝑅2
𝑅1
̅̅̅̅
𝐴𝐸 ̅̅̅̅
𝐸𝐵
Figura 4. Rectas paralelas con dos rectas transversales
𝑅2
̅̅̅̅ ̅̅̅̅̅
𝐶𝐹 𝐹𝐷 𝑅3 , 𝑅4 𝑅5
̅̅̅̅
𝐴𝐶 ̅̅̅̅
𝐸𝐹 ̅̅̅̅
𝐵𝐷

̅̅̅̅ ̅̅̅̅
𝐴𝐶 ‖𝐸𝐹
̅̅̅̅ ̅̅̅̅
𝐴𝐶 ‖𝐵𝐷 ̅̅̅̅
𝐵𝐷‖𝐸𝐹̅̅̅̅ .

̅̅̅̅ ̅̅̅̅ ̅̅̅̅

𝐴𝐶 ‖𝐸𝐹 ̅̅̅̅
𝐴𝐶 ‖𝐵𝐷
̅̅̅̅
𝐵𝐷‖𝐸𝐹̅̅̅̅ .
̅̅̅̅ ) 𝑚(𝐶𝐹
𝑚(𝐴𝐸 ̅̅̅̅ )
= .
̅̅̅̅ ) 𝑚(𝐹𝐷
𝑚(𝐸𝐵 ̅̅̅̅ )
 ̅̅̅̅) = 𝑎
𝑚(𝐺𝐵 ̅̅̅̅) = 𝑏
𝑚(𝐻𝐷
𝑅1
𝑅2

𝑛 ̅̅̅̅
𝐴𝐸
̅̅̅̅
𝐶𝐹 ̅̅̅̅
𝐸𝐵 ̅̅̅̅
𝐹𝐷 𝑚
𝑚(𝐴𝐸) = 𝑎 ∙ 𝑛 𝑚(𝐶𝐹) = 𝑏 ∙ 𝑛, 𝑚(𝐸𝐵) = 𝑎 ∙ 𝑚 𝑚(𝐹𝐷) =
𝑏∙𝑚 𝑚(𝐶𝐹) > 0 𝑚(𝐹𝐷) > 0

̅̅̅̅ ) 𝑎 ∙ 𝑛
𝑚(𝐴𝐸 𝑛
= = ;
̅̅̅̅) 𝑎 ∙ 𝑚
𝑚(𝐸𝐵 𝑚

̅̅̅̅ ) 𝑏 ∙ 𝑛
𝑚(𝐶𝐹 𝑛
= = ;
̅̅̅̅) 𝑏 ∙ 𝑚
𝑚(𝐹𝐷 𝑚

̅̅̅̅ ) 𝑚(𝐶𝐹
𝑚(𝐴𝐸 ̅̅̅̅ )
= .
̅̅̅̅ ) 𝑚(𝐹𝐷
𝑚(𝐸𝐵 ̅̅̅̅ )
 𝑅1 𝑅2
𝑅3 , 𝑅4 𝑅5

𝑅1
𝑅2 𝑅1 ∩ 𝑅2 ∩
𝑅3 = {𝐴}. ∆𝐴𝐵𝐷
Figura 5. Rectas paralelas equidistantes

̅̅̅̅ ) 𝑚(𝐴𝐹
𝑚(𝐴𝐸 ̅̅̅̅ )
= .
̅̅̅̅ ) 𝑚(𝐹𝐷
𝑚(𝐸𝐵 ̅̅̅̅ )

2
Nota para el estudiante. Si hiciéramos la demostración particular para este caso, observarás que es
completamente análoga a la demostración del teorema de Tales. Revisa con detalle esa demostración y haz las
analogías necesarias para corroborar lo que se afirma aquí. No siempre vas a poder justificar de esta forma una
demostración, en este caso lo hacemos porque tenemos la demostración del teorema de Tales que nos apoya en la
demostración.

Cuando tú justifiques una demostración enunciado un teorema, debes describir por qué usas el teorema para
realizar tu demostración. Observa que además tenemos una construcción geométrica que cumple con las hipótesis
del teorema, no estamos solo enunciado un teorema.
 ∆𝐴𝐵𝐶
𝑅2 , ̅̅̅̅
𝐴𝐵
̅̅̅̅
𝐴𝐶 ̅̅̅̅
𝐵𝐶

𝑅4 ̅̅̅̅
𝐴𝐵
̅̅̅̅̅̅
𝑚(𝐹𝐷) ̅̅̅̅ )
𝑚(𝐺𝐸
̅̅̅̅ )
𝑚(𝐷𝐶 ̅̅̅̅ )
𝑚(𝐸𝐶

∆𝐹𝐺𝐶
Figura 6. Triángulos con segmentos
inconmensurables

∆𝐹𝐺𝐶

̅̅̅̅ )
̅̅̅̅ ) 𝑚(𝐺𝐸
𝑚(𝐹𝐷
= .
̅̅̅̅ ) 𝑚(𝐸𝐶
𝑚(𝐷𝐶 ̅̅̅̅ )

̅̅̅̅
𝐴𝐹 ̅̅̅̅
𝐵𝐺
∆𝐴𝐵𝐶
̅̅̅̅
𝐴𝐹 ̅̅̅̅
𝐵𝐺

̅̅̅̅ )
̅̅̅̅ ) 𝑚(𝐺𝐸
𝑚(𝐹𝐷
= .
̅̅̅̅ ) 𝑚(𝐸𝐶
𝑚(𝐷𝐶 ̅̅̅̅ )

̅̅̅̅̅
𝐴𝐹 ̅̅̅̅
𝐵𝐺 0 ̅̅̅̅̅
𝐷𝐹
̅̅̅̅
𝐸𝐺 𝑙𝑖𝑚 𝑚(𝐹𝐷 ̅̅̅̅)
̅̅̅̅) = 𝑚(𝐴𝐷
̅̅̅̅ )→0
𝑚(𝐴𝐹

𝑙𝑖𝑚 ̅̅̅̅ ) = 𝑚(𝐵𝐸

𝑚(𝐺𝐸 ̅̅̅̅ ).
̅̅̅̅ )→0
𝑚(𝐵𝐺
 𝑙𝑖𝑚 ̅̅̅̅)
𝑚(𝐹𝐷 𝑙𝑖𝑚 ̅̅̅̅ )
𝑚(𝐺𝐸
̅̅̅̅ )→0
𝑚(𝐴𝐹 ̅̅̅̅ )→0
𝑚(𝐵𝐺
= ;
̅̅̅̅ )
𝑚(𝐷𝐶 ̅̅̅̅ )
𝑚(𝐸𝐶

̅̅̅̅) 𝑚(𝐵𝐸
𝑚(𝐴𝐷 ̅̅̅̅ )
= .
̅̅̅̅ ) 𝑚(𝐸𝐶
𝑚(𝐷𝐶 ̅̅̅̅ )

∆𝐴𝐵𝐶 ∢𝐴𝐶𝐵
̅̅̅̅̅
𝐴𝐵 𝐸

̅̅̅̅
𝐵𝐶
𝐶

Figura 7. Bisectriz de un triángulo

𝐷
 ∢𝐴𝐶𝐸 ≡ ∢𝐸𝐶𝐵
∢𝐷𝐴𝐶 ≡ ∢𝐴𝐶𝐸
∢𝐴𝐷𝐶 ≡ ∢𝐸𝐶𝐵
∢𝐴𝐶𝐸 ≡ ∢𝐸𝐶𝐵 ∢𝐷𝐴𝐶 ≡ ∢𝐴𝐷𝐶
∆𝐴𝐶𝐷
̅̅̅̅
𝐴𝐶 ̅̅̅̅
𝐶𝐷

̅̅̅̅ ) 𝑚(𝐶𝐷
𝑚(𝐴𝐸 ̅̅̅̅)
= ;
̅̅̅̅ )
̅̅̅̅) 𝑚(𝐵𝐶
𝑚(𝐸𝐵

∆𝐴𝐵𝐷
̅̅̅̅
𝐵𝐶 ∢𝐴𝐶𝐵 ̅̅̅̅
𝐴𝐵 ̅̅̅̅
𝐵𝐷

̅̅̅̅ ) 𝑚(𝐴𝐶
𝑚(𝐴𝐸 ̅̅̅̅ )
= ,
̅̅̅̅ )
̅̅̅̅) 𝑚(𝐵𝐶
𝑚(𝐸𝐵

̅̅̅̅
𝐴𝐶 ≡̅̅̅̅
𝐶𝐷 ̅̅̅̅ ) = 𝑚(𝐴𝐶
𝑚(𝐶𝐷 ̅̅̅̅ )

̅̅̅̅ ) 𝑚(𝐶𝐷
𝑚(𝐴𝐸 ̅̅̅̅ )
= .
̅̅̅̅ )
̅̅̅̅ ) 𝑚(𝐵𝐶
𝑚(𝐸𝐵
Figura 8. Polígonos semejantes
 -

∆𝐴𝐵𝐶 ∆𝐷𝐸𝐹
∢𝐵𝐴𝐶
∢𝐸𝐷𝐹 ∢𝐴𝐵𝐶
∢𝐷𝐸𝐹
∢𝐵𝐶𝐴
Figura 9. Triángulos semejantes
∢𝐸𝐹𝐷 ̅̅̅̅
𝐴𝐵 ̅̅̅̅
𝐷𝐸
 ̅̅̅̅̅
𝐵𝐶 ̅̅̅̅
𝐸𝐹
̅̅̅̅
𝐴𝐶 ̅̅̅̅
𝐷𝐹

∢𝐵𝐴𝐶≡∢𝐸𝐷𝐹 ∢𝐴𝐵𝐶 ≡
∢𝐷𝐸𝐹 ∢𝐵𝐶𝐴 ≡ ∢𝐸𝐹𝐷

̅̅̅̅) 𝑚(𝐴𝐶
𝑚(𝐴𝐵 ̅̅̅̅ ) 𝑚(𝐵𝐶
̅̅̅̅ )
= = .
̅̅̅̅ ) 𝑚(𝐷𝐹
𝑚(𝐷𝐸 ̅̅̅̅ ) 𝑚(𝐸𝐹
̅̅̅̅ )

∆𝐴𝐵𝐶 ̅̅̅̅
𝐺𝐻 ̅̅̅̅
𝐵𝐹
∆𝐴𝐺𝐻 ∆𝐷𝐸𝐹

Figura 10. Trazos auxiliares

∆𝐴𝐺𝐻 ≡ ∆𝐷𝐸𝐹 ̅̅̅̅ ) = 𝑚(𝐷𝐸

𝑚(𝐴𝐺 ̅̅̅̅) = 𝑚(𝐷𝐹
̅̅̅̅ ) 𝑚(𝐴𝐻 ̅̅̅̅ ) ̅̅̅̅) =
𝑚(𝐺𝐻
̅̅̅̅ )
𝑚(𝐸𝐹
̅̅̅̅ ) 𝑚(𝐴𝐻
𝑚(𝐴𝐺 ̅̅̅̅)
= ;
̅̅̅̅) 𝑚(𝐻𝐶
𝑚(𝐺𝐵 ̅̅̅̅ )
 ̅̅̅̅ ) 𝑚(𝐺𝐵
𝑚(𝐻𝐶 ̅̅̅̅)
=
̅̅̅̅ ) 𝑚(𝐴𝐺
𝑚(𝐴𝐻 ̅̅̅̅ )

̅̅̅̅) + 𝑚(𝐴𝐺
𝑚(𝐺𝐵 ̅̅̅̅ ) 𝑚(𝐻𝐶
̅̅̅̅ ) + 𝑚(𝐴𝐻̅̅̅̅)
= ;
̅̅̅̅ )
𝑚(𝐴𝐺 𝑚(𝐴𝐻̅̅̅̅)

̅̅̅̅ ) + 𝑚(𝐺𝐵
𝑚(𝐴𝐺 ̅̅̅̅) = 𝑚(𝐴𝐵
̅̅̅̅ ) ̅̅̅̅) + 𝑚(𝐻𝐶
𝑚(𝐴𝐻 ̅̅̅̅ ) =
̅̅̅̅ )
𝑚(𝐴𝐶

̅̅̅̅ ) 𝑚(𝐴𝐶
𝑚(𝐴𝐵 ̅̅̅̅ )
= ,
̅̅̅̅ ) 𝑚(𝐴𝐻
𝑚(𝐴𝐺 ̅̅̅̅)

̅̅̅̅ ) = 𝑚(𝐷𝐸
𝑚(𝐴𝐺 ̅̅̅̅ )
̅̅̅̅) = 𝑚(𝐷𝐹
𝑚(𝐴𝐻 ̅̅̅̅ )
̅̅̅̅ ) 𝑚(𝐴𝐶
𝑚(𝐴𝐵 ̅̅̅̅ )
= .
̅̅̅̅ ) 𝑚(𝐷𝐹
𝑚(𝐷𝐸 ̅̅̅̅ )

̅
𝐼𝐽
̅̅̅̅
𝐴𝐶 ∆𝐴𝐵𝐶 ∆𝐴𝐼𝐽
∆𝐷𝐸𝐹

Figura 11. Segmentos auxiliares

 ̅̅̅̅ ) 𝑚(𝐵𝐶
𝑚(𝐴𝐵 ̅̅̅̅ )
= .
̅̅̅̅ ) 𝑚(𝐸𝐹
𝑚(𝐷𝐸 ̅̅̅̅ )

̅̅̅̅) 𝑚(𝐴𝐶
𝑚(𝐴𝐵 ̅̅̅̅ ) 𝑚(𝐵𝐶
̅̅̅̅ )
= = .
̅̅̅̅ ) 𝑚(𝐷𝐹
𝑚(𝐷𝐸 ̅̅̅̅ ) 𝑚(𝐸𝐹
̅̅̅̅ )

∆𝐴𝐵𝐶 ≈ ∆𝐷𝐸𝐹
 ∆𝐴𝐵𝐶 ∆𝐷𝐸𝐹
∢𝐵𝐴𝐶
∢𝐸𝐷𝐹 ∢𝐴𝐵𝐶
∢𝐷𝐸𝐹 ∢𝐵𝐶𝐴
∢𝐸𝐹𝐷
̅̅̅̅
𝐴𝐵 ̅̅̅̅
𝐷𝐸
̅̅̅̅̅
𝐵𝐶 ̅̅̅̅
𝐸𝐹
Figura 12. ángulos correspondientes congruentes

̅̅̅̅
𝐴𝐶 ̅̅̅̅
𝐷𝐹

̅
𝐼𝐽
∆𝐴𝐵𝐶 ∆𝐴𝐼𝐽
∆𝐷𝐸𝐹

∢𝐴𝐵𝐶 ≡ ∢𝐷𝐸𝐶,

̅̅̅̅ ) 𝑚(𝐵𝐶
𝑚(𝐴𝐵 ̅̅̅̅ )
= .
̅̅̅̅ ) 𝑚(𝐸𝐹
𝑚(𝐷𝐸 ̅̅̅̅ )

̅̅̅) 𝑚(𝐵𝐼
𝑚(𝐵𝐽 ̅̅̅ )
= .
̅̅̅) 𝑚(𝐼𝐶
𝑚(𝐴𝐽 ̅̅̅ )
 ̅̅̅) 𝑚(𝐵𝐼
̅̅̅) + 𝑚(𝐴𝐽
𝑚(𝐵𝐽 ̅̅̅ ) + 𝑚(𝐼𝐶̅̅̅ )
= ,
̅̅̅)
𝑚(𝐴𝐽 𝑚(𝐼𝐶̅̅̅ )

̅̅̅̅) 𝑚(𝐵𝐶
𝑚(𝐵𝐴 ̅̅̅̅ )
= ;
̅̅̅)
𝑚(𝐴𝐽 ̅̅̅ )
𝑚(𝐼𝐶

̅
𝐽𝐼 ̅̅̅̅
𝐴𝐶
∢𝐵𝐴𝐶 ≡ ∢𝐵𝐽𝐼 ∢𝐵𝐶𝐴 ≡ ∢𝐵𝐼𝐽
∆𝐴𝐵𝐶 ≈ ∆𝐽𝐵𝐼. ∆𝐽𝐵𝐼 ≡ ∆𝐷𝐸𝐹 ∆𝐴𝐵𝐶 ≈ ∆𝐷𝐸𝐹.

∆𝐴𝐵𝐶 ∆𝐷𝐸𝐹

̅̅̅̅ ) 𝑚(𝐴𝐶
𝑚(𝐴𝐵 ̅̅̅̅ ) 𝑚(𝐵𝐶
̅̅̅̅ ) Figura 13. Dos triángulos con lados proporcionales
= = .
̅̅̅̅ ) 𝑚(𝐷𝐹
𝑚(𝐷𝐸 ̅̅̅̅ ) 𝑚(𝐸𝐹
̅̅̅̅ )
 ∆𝐴𝐵𝐶 ≈ ∆𝐷𝐸𝐹.

̅̅̅
𝐵𝐽
̅̅̅̅
𝐴𝐵 ̅̅̅ ≡ ̅̅̅̅
𝐵𝐽 𝐷𝐸 ̅̅̅
𝐵𝐼
̅̅̅̅
𝐵𝐶 ̅̅̅ ≡ 𝐸𝐹
𝐵𝐼 ̅̅̅̅
̅
𝐼𝐽
∆𝐴𝐵𝐶 ∆𝐽𝐵𝐼
Figura 14. Triángulo semejante
𝐵

̅̅̅̅) 𝑚(𝐵𝐶
𝑚(𝐴𝐵 ̅̅̅̅ )
= ,
̅̅̅̅ ) 𝑚(𝐸𝐹
𝑚(𝐷𝐸 ̅̅̅̅ )

̅̅̅̅ ) = 𝑚(𝐵𝐽
𝑚(𝐷𝐸 ̅̅̅) ̅̅̅̅ ) = 𝑚(𝐵𝐼
𝑚(𝐸𝐹 ̅̅̅ )

̅̅̅̅) 𝑚(𝐵𝐶
𝑚(𝐴𝐵 ̅̅̅̅ )
= ,
̅̅̅)
𝑚(𝐵𝐽 ̅̅̅ )
𝑚(𝐵𝐼

∆𝐴𝐵𝐶 ≈ ∆𝐽𝐵𝐼
∆𝐽𝐵𝐼 ≡ ∆𝐷𝐸𝐹 ∆𝐴𝐵𝐶 ≈ ∆𝐷𝐸𝐹.
 𝐴𝐵𝐶𝐷𝐸 𝐹𝐺𝐻𝐼𝐽
𝐴𝐵𝐶𝐷𝐸 ≈ 𝐹𝐺𝐻𝐼𝐽.
𝐴𝐵𝐶𝐷𝐸
𝐹𝐺𝐻𝐼𝐽
Figura 15. Polígonos semejantes
̅̅̅̅) 𝑝
𝑚(𝐴𝐵
= .
̅̅̅̅ ) 𝑝′
𝑚(𝐹𝐺

𝐴𝐵𝐶𝐷𝐸 ≈ 𝐹𝐺𝐻𝐼𝐽

̅̅̅̅ ) 𝑚(𝐵𝐶
𝑚(𝐴𝐵 ̅̅̅̅ ) 𝑚(𝐶𝐷
̅̅̅̅) 𝑚(𝐷𝐸 ̅̅̅̅)
̅̅̅̅ ) 𝑚(𝐸𝐴
= = = = .
̅̅̅̅ ) 𝑚(𝐺𝐻
𝑚(𝐹𝐺 ̅̅̅̅ ) 𝑚(𝐻𝐼
̅̅̅̅) ̅)
𝑚(𝐼𝐽 ̅̅̅ )
𝑚(𝐽𝐹

̅̅̅̅ ) 𝑚(𝐵𝐶
𝑚(𝐴𝐵 ̅̅̅̅ ) 𝑚(𝐶𝐷
̅̅̅̅ ) 𝑚(𝐷𝐸 ̅̅̅̅)
̅̅̅̅ ) 𝑚(𝐸𝐴
𝑟= = = = = ,
̅̅̅̅ ) 𝑚(𝐺𝐻
𝑚(𝐹𝐺 ̅̅̅̅ ) 𝑚(𝐻𝐼
̅̅̅̅ ) ̅)
𝑚(𝐼𝐽 ̅̅̅ )
𝑚(𝐽𝐹

̅̅̅̅)
𝑚(𝐴𝐵 ̅̅̅̅ )
𝑚(𝐵𝐶 ̅̅̅̅ )
𝑚(𝐶𝐷 ̅̅̅̅ )
𝑚(𝐷𝐸 ̅̅̅̅)
𝑚(𝐸𝐴
𝑟= , 𝑟= , 𝑟= , 𝑟= , 𝑟= ,
̅̅̅̅ )
𝑚(𝐹𝐺 ̅̅̅̅)
𝑚(𝐺𝐻 ̅̅̅̅ )
𝑚(𝐻𝐼 ̅)
𝑚(𝐼𝐽 ̅̅̅ )
𝑚(𝐽𝐹

̅̅̅̅ ) = 𝑚(𝐴𝐵
𝑟 ∙ 𝑚(𝐹𝐺 ̅̅̅̅), ̅̅̅̅ ) = 𝑚(𝐵𝐶
𝑟 ∙ 𝑚(𝐺𝐻 ̅̅̅̅ ), 𝑟 ∙ 𝑚(𝐻𝐼 ̅̅̅̅),
̅̅̅̅) = 𝑚(𝐶𝐷
 ̅ ) = 𝑚(𝐷𝐸
𝑟 ∙ 𝑚(𝐼𝐽 ̅̅̅̅ ), ̅̅̅̅);
̅̅̅ ) = 𝑚(𝐸𝐴
𝑟 ∙ 𝑚(𝐽𝐹

̅̅̅̅ ) + 𝑚(𝐺𝐻
𝑟 ∙ [𝑚(𝐹𝐺 ̅̅̅̅) + 𝑚(𝐻𝐼
̅̅̅̅) + 𝑚(𝐼𝐽
̅ ) + 𝑚(𝐽𝐹
̅̅̅ )] =
̅̅̅̅) + 𝑚(𝐵𝐶
= 𝑚(𝐴𝐵 ̅̅̅̅ ) + 𝑚(𝐶𝐷
̅̅̅̅) + 𝑚(𝐷𝐸 ̅̅̅̅),
̅̅̅̅ ) + 𝑚(𝐸𝐴

𝑝
𝑟 ∙ 𝑝′ = 𝑝 𝑟= .
𝑝′

̅̅̅̅ ) 𝑝
𝑚(𝐴𝐵
= .
̅̅̅̅ ) 𝑝′
𝑚(𝐹𝐺

𝐴𝐵𝐶𝐷𝐸 𝐹𝐺𝐻𝐼𝐽

̅̅̅̅
𝐵𝐸
̅̅̅̅
𝐵𝐷 𝐴𝐵𝐶𝐷𝐸
𝐹𝐺𝐻𝐼𝐽
̅̅̅
𝐺𝐽 ̅̅̅
𝐺𝐼
Figura 16. Triángulos semejantes en polígonos semejantes
 𝐴𝐵𝐶𝐷𝐸 𝐹𝐺𝐻𝐼𝐽
∢𝐵𝐶𝐷 ∢𝐺𝐻𝐼

̅̅̅̅
𝐵𝐶 ̅̅̅̅
𝐶𝐷
̅̅̅̅
= ̅̅̅̅
.
𝐺𝐻 𝐻𝐼

∆𝐵𝐶𝐷 ≈ ∆𝐺𝐻𝐼.
∢𝐴𝐵𝐸 ∢𝐺𝐹𝐽

∢𝐶𝐷𝐸 ≡ ∢𝐻𝐼𝐽 ∢𝐴𝐸𝐷 ≡ ∢𝐹𝐽𝐼.

∢𝐶𝐷𝐸 = ∢𝐶𝐷𝐵 + ∢𝐵𝐷𝐸, ∢𝐻𝐼𝐽 = ∢𝐻𝐼𝐺 + ∢𝐺𝐼𝐽, ∢𝐴𝐸𝐷 = ∢𝐴𝐸𝐵 + ∢𝐵𝐸𝐷,

∢𝐹𝐽𝐼 = ∢𝐹𝐽𝐺 + ∢𝐺𝐽𝐼.

∢𝐶𝐷𝐵 ≡ ∢𝐻𝐼𝐺, ∢𝐵𝐷𝐸 = ∢𝐶𝐷𝐸 − ∢𝐶𝐷𝐵

∢𝐺𝐼𝐽 = ∢𝐻𝐼𝐽 − ∢𝐻𝐼𝐺 ∢𝐶𝐷𝐸 − ∢𝐶𝐷𝐵 ≡ ∢𝐻𝐼𝐽 − ∢𝐻𝐼𝐺
∢𝐵𝐷𝐸 ≡ ∢𝐺𝐼𝐽.

̅̅̅̅
𝐶𝐷 ̅̅̅̅ 𝐷𝐸
𝐵𝐷 ̅̅̅̅ ̅̅̅̅
𝐵𝐷 ̅̅̅̅
𝐶𝐷 ̅̅̅̅
𝐵𝐷
̅̅̅̅
= , ̅
̅̅̅ 𝐼𝐽
= ̅̅̅ ̅̅̅̅
= ̅̅̅
𝐻𝐼 𝐺𝐼 𝐺𝐼 𝐻𝐼 𝐺𝐼

∆𝐵𝐷𝐸 ∆𝐺𝐼𝐽
Figura 17. Polígono regular
𝐴𝐵𝐶𝐷𝐸
 𝐴𝐵𝐶𝐷𝐸

Figura 18.bisectrices de los ángulos del polígono regular

̅̅̅̅ ̅̅̅̅, 𝐶𝑂
𝐴𝑂, 𝐵𝑂 ̅̅̅̅, ̅̅̅̅
𝐷𝑂 ̅̅̅̅
𝐸𝑂

𝐴, 𝐵, 𝐶, 𝐷 𝐸

̅̅̅̅, 𝐵𝑂
𝐴𝑂 ̅̅̅̅, 𝐶𝑂
̅̅̅̅, 𝐷𝑂
̅̅̅̅ ̅̅̅̅
𝐸𝑂

̅̅̅̅
𝐴𝑂 ̅̅̅̅
𝐵𝑂
̅̅̅̅
𝐴𝑂 ∢𝐸𝐴𝐵 ∢𝐸𝐴𝑂 ∢𝑂𝐴𝐵

∢𝐴𝐵𝑂 ∢𝑂𝐵𝐶 ∢𝐸𝐴𝐵 ∢𝐴𝐵𝐶

1
𝑚(∢𝐸𝐴𝑂) = 𝑚(∢𝑂𝐴𝐵) = 2 𝑚(∢𝐸𝐴𝐵)
1 1
𝑚(∢𝐴𝐵𝑂) = 𝑚(∢𝑂𝐵𝐶) = 2 𝑚(∢𝐴𝐵𝐶) 𝑚(∢𝐴𝐵𝐶) = 𝑚(∢𝐸𝐴𝐵), 𝑚(∢𝐴𝐵𝐶) =
2
1
𝑚(∢𝐸𝐴𝐵) 𝑚(∢𝑂𝐴𝐵) = 𝑚(∢𝐴𝐵𝑂),
2

∢𝑂𝐴𝐵 ≡ ∢𝐴𝐵𝑂 ∆𝐴𝐵𝑂

̅̅̅̅
𝐴𝑂 ̅̅̅̅
𝐴𝐵
̅̅̅̅, 𝐵𝑂
𝐴𝑂 ̅̅̅̅, 𝐶𝑂
̅̅̅̅, 𝐷𝑂
̅̅̅̅ ̅̅̅̅
𝐸𝑂
𝑂
𝐴, 𝐵, 𝐶, 𝐷 𝐸 𝐴𝐵𝐶𝐷𝐸

𝐴𝐵𝐶𝐷𝐸

Figura 19. Polígono regular

𝑆’

𝐴
∢𝐸𝐴𝐵 ̅̅̅̅
𝐶𝐷 𝐴𝐵𝐶𝐷𝐸
𝑂
𝐴𝐵𝐶𝐷𝐸
 ̅̅̅̅
𝐻𝑂 𝐼𝑂̅̅̅ ̅̅̅
𝐽𝑂 ̅̅̅̅̅
𝐹𝑂 ̅̅̅̅
𝐺𝑂
̅̅̅
𝐼𝑂
̅̅̅̅̅
𝐴𝐸
90 ̅̅̅
𝐼𝑂
̅̅̅̅
𝐴𝐸 𝑆’
𝑆’

𝐴𝐵𝐶𝐷𝐸𝐹

𝐴𝐵𝐶𝐷𝐸𝐹 ̅̅̅̅
𝐵𝐶

Figura 20. Apotema de un polígono

̅̅̅̅
𝑂𝐻 ̅̅̅̅ ) =
𝑚(𝑂𝐻
𝑥 ̅̅̅̅ ) = 𝑦
𝑚(𝑂𝐺 ̅̅̅̅ ) =
𝑚(𝑂𝐵
̅̅̅̅ )2 + 𝑚(𝐵𝐺
√𝑥 2 + 𝑦 2 = √𝑚(𝑂𝐺 ̅̅̅̅ )2
 ̅̅̅̅ )2 = 𝑚(𝑂𝐺
𝑚(𝑂𝐵 ̅̅̅̅ )2 + 𝑚(𝐵𝐺
̅̅̅̅ )2

̅̅̅̅ ) = 𝑟
𝑚(𝑂𝐵 𝑟
̅̅̅̅ ) = 𝑢
𝑚(𝑂𝐵 𝐺
̅̅̅̅
𝐴𝐵 ̅̅̅̅ ) = 1 𝑚(𝐴𝐵
𝑚(𝐵𝐺 ̅̅̅̅); ̅̅̅̅) = 𝑡
𝑚(𝐴𝐵 ̅̅̅̅ ) = 1 𝑡.
𝑚(𝐵𝐺
2 2
1
̅̅̅̅)2 = 𝑚(𝑂𝐺
𝑚(𝑂𝐵 ̅̅̅̅ )2 + 𝑚(𝐵𝐺
̅̅̅̅ )2 𝑟 2 = 𝑢2 + (2 𝑡)2

1
𝑟 2 = 𝑢2 + (2 𝑡)2
1
𝑢2 = 𝑟 2 − ( 𝑡)2 ,
2

1 1
𝑢 = √𝑟 2 − 𝑡 2 = √4𝑟 2 − 𝑡 2 .
4 2

𝐴𝐵𝐶𝐷𝐸
𝑡
 𝐴𝐵𝐶𝐷𝐸
𝑆

̅̅̅̅
𝑂𝐻
𝐴𝐵𝐶𝐷𝐸
̅̅̅̅
𝐴𝐵

𝑆 𝐼
Figura 21. Apotema de un polígono
̅̅̅̅̅
𝑂𝐵 ̅̅̅
𝑂𝐼
𝑆.

̅̅̅̅ ) = 𝑢, 𝑚(𝑂𝐵
𝑚(𝑂𝐻 ̅̅̅̅) = 𝑟 ̅̅̅) = 𝑟
𝑚(𝑂𝐼
̅̅̅
𝐼𝐵 𝑚(𝐴𝐵 ̅̅̅̅ ) = 1 𝑙𝑚(𝐼𝐵
̅̅̅̅ ) = 𝑙, 𝑚(𝐻𝐵 ̅̅̅) = 𝑣
2

̅̅̅̅) = 𝑤
𝑚(𝐻𝐼 ̅̅̅ ) = 𝑚(𝑂𝐻
𝑚(𝑂𝐼 ̅̅̅̅ ) + 𝑚(𝐻𝐼
̅̅̅̅ ), ̅̅̅ ) − 𝑚(𝑂𝐻
̅̅̅̅) = 𝑚(𝑂𝐼
𝑚(𝐻𝐼 ̅̅̅̅ )

̅̅̅ )2 = 𝑚(𝐻𝐵
𝑚(𝐼𝐵 ̅̅̅̅ )2 + 𝑚(𝐻𝐼
̅̅̅̅)2 = 𝑚(𝐻𝐵
̅̅̅̅ )2 + (𝑚(𝑂𝐼 ̅̅̅̅ ))2
̅̅̅ ) − 𝑚(𝑂𝐻
̅̅̅)2 + 𝑚(𝑂𝐻
̅̅̅̅ )2 + 𝑚(𝑂𝐼
= 𝑚(𝐻𝐵 ̅̅̅̅)2 − 2𝑚(𝑂𝐼
̅̅̅) ∙ 𝑚(𝑂𝐻
̅̅̅̅ )
̅̅̅̅ )2 + 𝑚(𝐻𝐵
= 𝑚(𝑂𝐻 ̅̅̅)2 − 2𝑚(𝑂𝐼
̅̅̅̅ )2 + 𝑚(𝑂𝐼 ̅̅̅) ∙ 𝑚(𝑂𝐻
̅̅̅̅ ).

3
El teorema de Pitágoras es uno de los resultados más importantes que hay en la geometría plana. Este teorema
se demuestra en la siguiente sección.
 ̅̅̅̅)2 = 𝑚(𝑂𝐻
𝑚(𝑂𝐵 ̅̅̅̅)2 + 𝑚(𝐻𝐵
̅̅̅̅ )2 ,

̅̅̅̅ )2 + 𝑚(𝐻𝐵
̅̅̅)2 = 𝑚(𝑂𝐻
𝑚(𝐼𝐵 ̅̅̅ )2 − 2𝑚(𝑂𝐼
̅̅̅̅ )2 + 𝑚(𝑂𝐼 ̅̅̅) ∙ 𝑚(𝑂𝐻
̅̅̅̅ )
̅̅̅̅)2 + 𝑚(𝑂𝐼
= 𝑚(𝑂𝐵 ̅̅̅ )2 − 2𝑚(𝑂𝐼
̅̅̅ ) ∙ 𝑚(𝑂𝐻
̅̅̅̅ ).

̅̅̅̅)2 + 𝑚(𝑂𝐼
̅̅̅)2 = 𝑚(𝑂𝐵
𝑚(𝐼𝐵 ̅̅̅ )2 − 2𝑚(𝑂𝐼
̅̅̅) ∙ 𝑚(𝑂𝐻
̅̅̅̅ )

1
̅̅̅)2 = 𝑟 2 + 𝑟 2 − 2𝑟 ∙ √4𝑟 2 − 𝑙 2 = 2𝑟 2 − 2𝑟 ∙ √4𝑟 2 − 𝑙 2 = 𝑟 (2𝑟 − √4𝑟 2 − 𝑙 2 ) ;
𝑚(𝐼𝐵
2

̅̅̅ ) = √𝑟 (2𝑟 − √4𝑟 2 − 𝑙 2 ) ;

𝑚(𝐼𝐵

̅̅̅
𝐼𝐵

𝑛− 𝑙𝑛

𝑙2𝑛 = √𝑟 (2𝑟 − √4𝑟 2 − 𝑙𝑛 2 ).

̅̅̅
𝑂𝐼
̅̅̅̅
𝐴𝐵 ̅̅̅
𝐴𝐼 ̅̅̅
𝐼𝐵
 𝑛
2𝑛

𝐴𝐵𝐶𝐷𝐸𝐹
𝑆
̅̅̅̅
𝐴𝐵
𝐺
̅̅̅̅
𝐴𝐵 𝐻
𝑆

Figura 22. apotema de un hexagono

𝐻
̅̅̅̅
𝐴𝐵
̅̅̅̅
𝑂𝐴 ̅̅̅̅
𝑂𝐵

𝑆̅

𝐼 𝐽

̅̅̅̅
𝐴𝐵 ̅
𝐼𝐽
∆𝐴𝑂𝐵 ∆𝐼𝑂𝐽 ∢𝑂𝐴𝐵 ≡ ∢𝑂𝐼𝐽
̅̅̅̅‖𝐼𝐽
𝐴𝐵 ̅
̅)
𝑚(𝐼𝐽 ̅̅̅̅)
𝑚(𝑂𝐻
= .
𝑚(𝐴𝐵) 𝑚(𝑂𝐺̅̅̅̅ )

̅̅̅̅ ) = 𝑙6
𝑚(𝐴𝐵 ̅ ) = 𝑙′6 ,
𝑚(𝐼𝐽 ̅̅̅̅ ) = 𝑟
𝑚(𝑂𝐺 ̅̅̅̅ ) = 𝑢′
𝑚(𝑂𝐻
 𝑙′6 𝑟
=
𝑙6 𝑢

𝑙6 ∙ 𝑟
𝑙′6 = ;
𝑢

𝑙6 ∙ 𝑟 2𝑙6 ∙ 𝑟
𝑙′6 = = .
1√ 2 2
√4𝑟 2 − 𝑙6 2
2 4𝑟 − 𝑙6 .

2𝑙6 ∙ 𝑟
𝑙′ 6 = .
2
√4𝑟 2 − 𝑙6

2𝑙𝑛 ∙ 𝑟
𝑙′ 𝑛 = 4.
2
√4𝑟 2 − 𝑙𝑛

4
Las medidas que hemos definido se dieron como funciones que van de los conjuntos de objetos geométricos a los
reales, y el uso del álgebra es sólo un recurso para deducir otras unidades de medidas que igualmente están en los
números reales.
 𝐴𝐵𝐶𝐷 𝐸𝐹𝐺𝐻
̅̅̅̅
𝐴𝐵 ̅̅̅̅
𝐸𝐹

̅̅̅̅
𝐴𝐷 𝑚

̅̅̅̅
𝐸𝐻
𝑛
Figura 23. Rectángulos con áreas proporcionales
 𝑚 ≥ 𝑛.

̅̅̅̅)
𝑡 = 𝑚(𝐴𝑋 ̅̅̅̅̅)
𝑡 = 𝑚(𝐸𝑋’ ̅̅̅̅) = 𝑎
𝑚(𝐴𝐷 ̅̅̅̅) = 𝑎’
𝑚(𝐸𝐻
𝑚(𝐴𝐵𝐶𝐷) = 𝑈(𝐴𝐵𝐶𝐷) 𝑚(𝐸𝐹𝐺𝐻) = 𝑈(𝐸𝐹𝐺𝐻) 𝑈(𝐴𝐵𝐶𝐷) 𝑈(𝐸𝐹𝐺𝐻)

𝑎 𝑈(𝐴𝐵𝐶𝐷)
= .
𝑎′ 𝑈(𝐸𝐹𝐺𝐻)

𝑚(𝐴𝑋 ̅̅̅̅̅)
̅̅̅̅) = 𝑡 = 𝑚(𝐸𝑋’ ̅̅̅̅) = 𝑡𝑚
𝑚(𝐴𝐷
𝑚 ̅̅̅̅ ) = 𝑡𝑛
𝑚(𝐸𝐻 𝑛

̅̅̅̅) 𝑡𝑚 𝑚
𝑎 𝑚(𝐴𝐷
= = = ;
̅̅̅̅) 𝑡𝑛
𝑎′ 𝑚(𝐸𝐻 𝑛

𝐴𝐵𝐶𝐷 𝑚
𝐸𝐹𝐺𝐻 𝑛
𝑈(𝐴𝐵𝑋𝑌) = 𝑠 𝑈(𝐸𝐹𝑋’𝑌’) = 𝑠

𝑈(𝐴𝐵𝐶𝐷) = 𝑠 ∙ 𝑚 𝑈(𝐸𝐹𝐺𝐻) = 𝑠 ∙ 𝑛

𝑈(𝐴𝐵𝐶𝐷) 𝑠 ∙ 𝑚 𝑚
= =
𝑈(𝐸𝐹𝐺𝐻) 𝑠 ∙ 𝑛 𝑛
𝑎 𝑈(𝐴𝐵𝐶𝐷)
= .
𝑎′ 𝑈(𝐸𝐹𝐺𝐻)

𝑏 𝑈(𝐴𝐵𝐶𝐷)
= .
𝑏 ′ 𝑈(𝐸𝐹𝐺𝐻)
 Figura 24. Áreas de rectángulos proporcionales

𝐴𝐵𝐶𝐷 𝑎 𝑏
𝐸𝐹𝐺𝐻 𝑎’ 𝑏’ 𝑎
𝑏’

𝑎 𝑈(𝐴𝐵𝐶𝐷) 𝑏 𝑈(𝐼𝐽𝐾𝐿)
= , = .
𝑎′ 𝑈(𝐼𝐽𝐾𝐿) 𝑏 ′ 𝑈(𝐸𝐹𝐺𝐻)

𝑎∙𝑏 𝑎 𝑏 𝑈(𝐴𝐵𝐶𝐷) 𝑈(𝐼𝐽𝐾𝐿) 𝑈(𝐴𝐵𝐶𝐷)

= ∙ = ∙ = ;
𝑎′ ∙ 𝑏 ′ 𝑎′ 𝑏 ′ 𝑈(𝐼𝐽𝐾𝐿) 𝑈(𝐸𝐹𝐺𝐻) 𝑈(𝐸𝐹𝐺𝐻)

𝑎∙𝑏 𝑈(𝐴𝐵𝐶𝐷)
′ ′
= .
𝑎 ∙𝑏 𝑈(𝐸𝐹𝐺𝐻)
 𝐴𝐵𝐶𝐷 𝑎
𝑏 𝐸𝐹𝐺𝐻
𝑎’ = 1 𝑏’ = 1,

𝐴𝐵𝐶𝐷

Figura 25. Representación Teorema 4.1.9

𝑈(𝐴𝐵𝐶𝐷) 𝑎∙𝑏
= ′ ′;
𝑈(𝐸𝐹𝐺𝐻) 𝑎 ∙ 𝑏

𝑈(𝐴𝐵𝐶𝐷) 𝑎 ∙ 𝑏
= = 𝑎 ∙ 𝑏.
𝑈(𝐸𝐹𝐺𝐻) 1 ∙ 1

𝑈(𝐴𝐵𝐶𝐷)
𝑈(𝐸𝐹𝐺𝐻)

𝐴𝐵𝐶𝐷 𝐴𝐵𝐶𝐷𝐸
 𝑈(𝐴𝐵𝐶𝐷) = 𝑎 ∙ 𝑏.

𝐴𝐵𝐶𝐷 𝑎=𝑙 𝑏=𝑙

𝑈(𝐴𝐵𝐶𝐷) = 𝑎 ∙ 𝑏 = 𝑙 ∙ 𝑙 = 𝑙 2 .

𝐴𝐵𝐶𝐷 𝐵

̅̅̅̅
𝐵𝐸 ̅̅̅̅
𝐴𝐵
̅̅̅̅
𝐶𝐷 𝐸

̅̅̅̅
𝐴𝐵 𝐷

̅̅̅̅
𝐶𝐷 Figura 26. Área de un paralelogramo
 90 𝐹
𝐴

∆𝐵𝐶𝐸
∆𝐴𝐷𝐹 𝑈(𝐴𝐵𝐶𝐷) = 𝑈(𝐴𝐵𝐸𝐹)
𝑈(𝐴𝐵𝐸𝐹) = 𝑎 ∙ 𝑏

𝑈(𝐴𝐵𝐶𝐷) = 𝑎 ∙ 𝑏.

∆𝐴𝐵𝐶
̅̅̅̅
𝐴𝐶
𝐵

𝐴
Figura 27. Demostración teorema 4.21
𝐷
̅̅̅̅
𝐴𝐶
𝐸

𝐴𝐶𝐵𝐷 𝑈(𝐴𝐶𝐵𝐷) =
𝑚(𝐸𝐵 ̅̅̅̅ )
̅̅̅̅) ∙ 𝑚(𝐴𝐶 ̅̅̅̅
𝐸𝐵 ∆ 𝑚(𝐸𝐵) = 𝑎 𝑚(𝐴𝐶) = 𝑏
 1 1
̅̅̅̅ ) = 1 𝑎𝑏
̅̅̅̅) ∙ 𝑚(𝐴𝐶
𝑈(𝐴𝐵𝐶) = 2 𝑈(𝐴𝐶𝐵𝐷) = 2 𝑚(𝐸𝐵 2

1
𝑈(𝐴𝐵𝐶) = 𝑎𝑏.
2

𝑈(𝐴𝐶𝐷𝐸) = 𝑈(𝐵𝐶𝐼𝐻) + 𝑈(𝐴𝐹𝐺𝐹).

𝐴𝐵𝐶
𝐴𝐶𝐷𝐸 𝐵𝐶𝐷𝐼 𝐴𝐵𝐺𝐹
̅̅̅̅
𝐵𝐿
̅̅̅
𝐴𝐼 ̅̅̅̅
𝐵𝐷
̅̅̅̅
𝐷𝑁
̅̅̅̅
𝐵𝐶 ̅̅̅̅
𝐵𝐿 𝑁
̅̅̅̅
𝑀𝐼 ̅̅̅̅
𝐴𝐶
̅̅̅̅
𝐵𝐻 𝑀
 Figura 28. Gráfica teorema de Pitágoras

∢𝐵𝐶𝐷 = 90º + ∢𝐴𝐶𝐵 ∢𝐴𝐶𝐼 = 90º +

∢𝐴𝐶𝐵 ∢𝐵𝐶𝐷 = ∢𝐴𝐶𝐼

𝐴𝐶 = 𝐶𝐷 𝐵𝐷 = 𝐶𝐼

∆𝐵𝐶𝐷
∆𝐴𝐶𝐼

𝑈(𝐵𝐶𝐷𝑁) = 𝑈(𝑂𝐶𝐷𝐿)
𝑈(𝐴𝑀𝐼𝐶) = 𝑈(𝐵𝐶𝐼𝐻)
2𝑈(∆𝐵𝐶𝐷) = 𝑈(𝐵𝐷𝐶𝑁) 2𝑈(∆𝐴𝐶𝐼) = 𝑈(𝐴𝐶𝐼𝑀)
2𝑈(∆𝐵𝐶𝐷) = 𝑈(𝑂𝐶𝐷𝐿) 2𝑈(∆𝐴𝐶𝐼) = 𝑈(𝐵𝐶𝐼𝐻) ∆𝐵𝐶𝐷 ∆𝐴𝐶𝐼
𝑈(𝑂𝐶𝐷𝐿) = 𝑈(𝐵𝐶𝐼𝐻) 𝑈(𝐴𝑂𝐿𝐸) =
𝑈(𝐴𝐵𝐺𝐹)

𝑈(𝐴𝐶𝐷𝐸) = 𝑈(𝑂𝐶𝐷𝐿) + 𝑈(𝐴𝑂𝐿𝐸)

𝑈(𝐴𝐶𝐷𝐸) = 𝑈(𝐵𝐶𝐼𝐻) + 𝑈(𝐴𝐹𝐺𝐹)

 𝑆 𝑚(𝑆) = 2𝜋𝑟.

𝑚(𝑆) ∙ 𝑟 2𝜋𝑟 ∙ 𝑟
𝐴(𝑆) = = = 𝜋𝑟 2 ;
2 2

𝐴(𝑆) = 𝜋𝑟 2 .
= 2𝜋𝑟ℎ ℎ