Instituto de Profesores “Artigas”

Resolución del Parcial de Fundamentos de la Matemática 12 de octubre de 2021

Ejercicio I

Halla 𝐴 y 𝐵 pertenecientes a ℝ[𝑋 ], sabiendo que:

• 𝐴 ≡ 𝐵 (2𝑋 + 1) + 𝑋 ! − 2𝑋 − 3
• 𝐴 y 𝐵 tienen una raíz común
• 𝑋 + 1 no divide a 𝐴
• 𝐵 tiene grado 3 y coeficiente principal 3
• 3𝑋 − 1 divide a 𝐵
• 𝐴̅(2) = −3
𝐴 ≡ 𝐵(2𝑋 + 1) + 𝑋 ! − 2𝑋 − 3
∧ 4⇒
⏟
𝑔𝑟(𝐵) = 3 "

⇒ 𝐴 𝐵
𝑋 ! − 2𝑋 − 3 2𝑋 + 1

3 es raíz de 𝐴 y 𝐵
Como 𝐴 y 𝐵 tienen una raíz en común ⇒
⏟ G ⋁ ∗
! $ % −1 es raíz de 𝐴 y 𝐵

𝑋 + 1 no divide a 𝐴 ⇒
⏟ − 1 no es raíz de 𝐴
&
∧ M ⇒ 3 es la raíz común
∗

3 es raíz de B ⇒
⏟ 𝑋−3|𝐵
&
𝐵 tiene grado 3 y coeficiente principal 3T ⇒ 𝐵 ≡ (3𝑋 − 1) (𝑋 − 3)(𝑋 − 𝛽 )
3𝑋 − 1 | 𝐵

𝐴̅(2) = −3
∧
̅ ! T ⇒ −50 + 25𝛽 − 3 = −3 ⇔
( ) ( 3.2 − 1 2 − 3 2 − 𝛽)(2.2 + 1) + 2
)( )(
𝐴 2 = WXXXXXXXXXXYXXXXXXXXXXZ WX X
−XYX
2.2X−
XZ3
'()*!(+ '%

⇔𝛽=2
∴ 𝑩 ≡ (𝟑𝑿 − 𝟏)(𝑿 − 𝟑)(𝑿 − 𝟐) ∧ 𝑨 ≡ (𝟑𝑿 − 𝟏)(𝑿 − 𝟑)(𝑿 − 𝟐)(𝟐𝑿 + 𝟏) + 𝑿𝟐 − 𝟐𝑿 − 𝟑

1. Definición de cociente y resto de la división entera de polinomios.

2. Si dos polinomios 𝐴 y 𝐵 tienen una raíz común, el resto de la división entera de 𝐴 entre 𝐵 también
admite dicha raíz.
3. 3 y −1 son raíces de 𝑋 ! − 2𝑋 − 3.
4. Teorema de Descartes.
 Instituto de Profesores “Artigas”

Resolución del Parcial de Fundamentos de la Matemática 12 de octubre de 2021

Ejercicio II

Indica si las siguientes proposiciones son Verdaderas o Falsas. En caso de ser verdadera,
demuéstrala y en caso de ser falsa, ofrece un contraejemplo.

(1) Si 𝐴 = {𝑥 /𝑥 ∈ ℝ ⋀ j2𝑥(𝑥 ! − 1) ≤ 𝑥}, entonces 1,28 es máximo de 𝐴

!
(2) Si 𝑥 ∈ m% , 4p, entonces log! (3𝑥 + 2) ≥ 2.
"
(4) Si 3- . 9|-| < 27- , entonces 𝑥 ∈ (1, +∞)

(1)

Condiciones de existencia:
2𝑥 (𝑥 ! − 1) ≥ 0 ⟺ −1 ≤ 𝑥 ≤ 0 ∨ 1 ≤ 𝑥
En conclusión, la inecuación tiene sentido en el conjunto 𝐸 = [−1,0] ∪ [1, +∞)

Si −1 ≤ 𝑥 < 0, es inmediato que 𝑥 ∉ 𝐴. Ya que j2𝑥 (𝑥 ! − 1) ≥ 0 ⇒ j2𝑥 (𝑥 ! − 1) > 𝑥.

Si 𝑥 ≥ 0
j2𝑥(𝑥 ! − 1) ≤ 𝑥 ⟺ 2𝑥(𝑥 ! − 1) ≤ 𝑥 ! ⟺
1 + √17
⟺ 2𝑥 % − 2𝑥 − 𝑥 ! ≤ 0 ⟺
} 𝑥 =0∨1≤𝑥 ≤
-∈0 4
-1)

1 + √17
Como 1,28 < 1,2807 < ⇒
⏟ 1,2807 ∈ 𝐴 ⇒
⏟ 1,28 no es máximo de 𝐴.
4 " !

∴ La proposición es falsa
(2)
!
Si para todo 𝑥 ∈ m% , 4p la inecuación se verifica, entonces la proposición es verdadera.
!
Por lo tanto, es verdadera si m% , 4p ⊆ 𝑆, siendo 𝑆 el conjunto solución de la inecuación.

Condiciones de existencia:
2>0
2≠1
2
3𝑥 + 2 > 0 ⇔ 𝑥 > −
3
!
En conclusión, la inecuación tiene sentido en el conjunto 𝐸 = m− % , +∞p

log ! (3𝑥 + 2) ≥ 2 ⇔
} log ! (3𝑥 + 2) ≥ log ! (4) ⇔ log ! (3𝑥 + 2) − log ! (4) ≥ 0 ⇔
!2345" (&)
 Instituto de Profesores “Artigas”

Resolución del Parcial de Fundamentos de la Matemática 12 de octubre de 2021

3𝑥 + 2 3𝑥 + 2 2
⇔ log ! … †≥0⇔
} ≥1⇔𝑥≥
4 !8"
4 3
2 2
𝑆 = 𝐸 ∩ ˆ , +∞† = ˆ , +∞† ⎫
3 3 ⎪
∧ ⇒ La proposición es verdadera
2 2 ⎬
… , 4† ⊆ ˆ , +∞† ⎪
3 3 ⎭
(3)

Para que la proposición sea verdadera, 𝑆 ⊆ (1, +∞), siendo 𝑆 el conjunto solución de la
inecuación.
"
3- . 9- < 27- si 𝑥 ≥ 0
-"
3- . 9|-| < 27 ⇔
}• ∨
% 3 - . 9'- < 27 - " si 𝑥 < 0

Si 𝑥 ≥ 0
" "
3- . 9- < 27- ⇔ 27- < 27- ⇔
} 𝑥 < 𝑥! ⇔ 0 < 𝑥! − 𝑥 ⇔
}1<𝑥 ∗
!98" -1)

Si 𝑥 < 0
" " "
3- . 9'- < 27- } 3- . (3! )'- < (3% )- ⇔ 3-'!- < 3%- ⇔
⇔ } 𝑥 − 2𝑥 < 3𝑥 ! ⇔
:2%" %8"
!92%#
1
⇔ 0 < 3𝑥 ! + 𝑥 ⇔
} 𝑥<− ∗∗
-;)
3
"
Por ∗ y ∗∗, 𝑆 = m−∞, − %p ∪ (1, +∞)

Como 𝑆 ⊈ (1, +∞), se considera un valor que pertenezca al conjunto solución y no

pertenezca al (1, +∞).
- |-| - "
Si 𝑥 = −1 ⇒ 3
WX Y
. 9XZ < 27
‘
% !9
T ⇒ La proposición es falsa
∧
−1 ∉ (1, +∞)
1. Definición del conjunto 𝐴.
2. Definición de máximo de un conjunto.
3. Definición de valor absoluto.
 Instituto de Profesores “Artigas”

Resolución del Parcial de Fundamentos de la Matemática 12 de octubre de 2021

Ejercicio III

Consideremos dos naturales 𝑎 y 𝑏 tales que:

• mcm(𝑎, 𝑏) = 19656
• 𝑎 es múltiplo de 2
• 26 no divide a 𝑎
• 36 divide a 𝑏
• 7 no divide a 𝑏
• el número de divisores de 𝑎 es 24.
(1) Demuestra que 13 no divide a 𝑎.

(2) Halla todas las parejas de naturales 𝑎 y 𝑏.

(1)

Para demostrar que 13 no divide a 𝑎, se realiza una demostración por reducción al

absurdo: se supone que 13 divide a 𝑎.
Si 13|𝑎 ⇒ <=>. 𝑎 = 13𝑘, 𝑘 ∈ ℕ
@ABACDE ⎫
∧ ⇒ 13𝑘 = 2𝑘′ ⇒
⏟
𝑎 es múltiplo de 2 ⇒ <=>. 𝑎 = 2𝑘 K , 𝑘 K ∈ ℕ⎬ !|"%L
FúHIAJHD ⎭ MN<(!,"%)2"

⇒ 2|𝑘 ⇒ <=>. 𝑘 = 2𝑘 KK , 𝑘 KK ∈ ℕ ⇒ ‘ . 𝑘 KK ⇒
⏟ 𝑎 = 13.2 <=>.
@ABACDE P2"%L !Q @ABACDE

⇒ 26|𝑎 y esto es Absurdo, 26 no divide a 𝑎.

∴ 𝟏𝟑 no divide a 𝒂
(2)
𝑎 = 2R . 3@ . 7= . 13>
mcm(𝑎, 𝑏) = 19656 = 2% . 3% . 7.13 ⇒ › $ $ $ $
𝑏 = 2R . 3@ . 7= . 13>
Siendo 𝑚á𝑥 {𝑐, 𝑐 K } = 3, 𝑚á𝑥{𝑑, 𝑑 K } = 3, 𝑚á𝑥 {𝑒, 𝑒 K } = 1 y 𝑚á𝑥 {𝑓, 𝑓 K } = 1 ∗

⏟ 𝑓K = 1
Como 13 no divide a 𝑎 ⇒ 𝑓 = 0 ⇒
⎫∗
⎪ K K
Como 36 divide a 𝑏 ⇒ <=>. 𝑏 = 36𝑘, 𝑘 ∈ ℕ ⇒ ⏟ 𝑐 ≥2∧𝑑 ≥2 ⇒
@ABACDE %Q2!" .%"
K
⎬
⏟𝑒=1
Como 7 no divide a 𝑏 ⇒ 𝑒 = 0 ⇒ ⎪
∗ ⎭
𝑎 = 2R . 3@ . 7
⇒› R $ @$
con 𝑐 K ≥ 2 ∧ 𝑑 K ≥ 2
𝑏 = 2 . 3 . 13

Además, como el número de divisores de 𝑎 es 24: (𝑐 + 1)(𝑑 + 1)(1 + 1) = 24 ⇔

⇔ (𝑐 + 1)(𝑑 + 1) = 12
 Instituto de Profesores “Artigas”

Resolución del Parcial de Fundamentos de la Matemática 12 de octubre de 2021

Finalmente, como:
𝒂 = 𝟐𝒄 . 𝟑𝒅 . 𝟕
› 𝒄$ 𝒅$
con 𝒄K ≥ 𝟐 ∧ 𝒅K ≥ 𝟐 ∗∗
𝒃 = 𝟐 . 𝟑 . 𝟏𝟑

𝒎á𝒙{𝒄, 𝒄K } = 𝟑, 𝒎á𝒙{𝒅, 𝒅K } = 𝟑, 𝒎á𝒙{𝒆, 𝒆K } = 𝟏 y 𝒎á𝒙{𝒇, 𝒇K } = 𝟏 ∗

(𝒄 + 𝟏)(𝒅 + 𝟏) = 𝟏𝟐 ∗∗∗

Por ∗ y ∗∗: 𝑐′ y 𝑑′ solo pueden ser 2 o 3 al igual que 𝑐 y 𝑑 (por ∗ y ∗∗∗).

𝑐K 𝑐 𝑑 𝑑′ 𝑎 𝑏
2 3 2 3 𝟐𝟑 . 𝟑𝟐 . 𝟕 𝟐𝟐 . 𝟑𝟑 . 𝟏𝟑
3 2 3 𝟐𝟑 . 𝟑𝟐 . 𝟕 𝟐𝟑 . 𝟑𝟑 . 𝟏𝟑

3 2 𝟐𝟐 . 𝟑𝟑 . 𝟕 𝟐𝟑 . 𝟑𝟐 . 𝟏𝟑
2 3
3 𝟐𝟐 . 𝟑𝟑 . 𝟕 𝟐𝟑 . 𝟑𝟑 . 𝟏𝟑