Coletânea Arconcher - Problema 01 (13-07-2023)

Fazer download em pdf ou txt
Fazer download em pdf ou txt
Você está na página 1de 1

RESPOSTA: NÃO

COLETÂNEA ARCONCHER
JUSTIFICATIVA
(13 – 07 - 2023)
Suponhamos que exista 𝒇, 𝒇: ℕ = {𝟏, 𝟐, 𝟑, … } → ℕ tal que 𝒇𝟐 (𝒏) = 𝒇 (𝒇(𝒏)) = 𝒏 + 𝟏, (∀𝒏 ∈ ℕ) (*).
Deste modo, sendo n ∈ ℕ, ( n+1) ∈ ℕ e, da definição de 𝒇 , 𝒇(𝒏) ∈ ℕ 𝒆 𝒇( 𝒏 + 𝟏) ∈ ℕ.
(∗) (𝒑𝒓𝒐𝒑𝒓𝒊𝒆𝒅𝒂𝒅𝒆) (∗)
𝟐( 𝟐(
Logo, 𝒇 (𝒏 + 𝟏) ⏞ = 𝒇 (𝒇 𝒏)) =
⏞ 𝒇 𝒇 (𝒏 ) ) ⏞ = 𝒇 (𝒏 ) + 𝟏 .
PROBLEMA 01 ( FRANÇA)

Existe alguma função 𝒇, Dai, 𝒇(𝒏 + 𝟏) = 𝒇(𝒏) + 𝟏 (∀𝒏 ∈ ℕ) e, por indução, 𝒇(𝒏) = 𝒇(𝟏) + 𝒏 − 𝟏 (∀𝒏 ∈ ℕ). (∗∗)
𝒇: ℕ = {𝟏, 𝟐, 𝟑, … } → ℕ (∗∗) (∗∗) (∗ )
𝟐(
tal que 𝒇 (𝒇(𝒏)) = 𝒏 + 𝟏 Nestas condições, 𝒇 𝒏) = 𝒇 (𝒇(𝒏)) ⏞
= 𝒇 (𝟏) + 𝒇 (𝒏) − 𝟏 ⏞
= 𝟐 𝒇 ( 𝟏) + 𝒏 − 𝟐 ⏞
= 𝒏 + 𝟏.
Consequentemente,
𝟑
𝟐 𝒇(𝟏) = 𝟑 , ou seja, 𝒇(𝟏) = 𝟐 ∉ ℕ ; o que é um absurdo , pois contraria a suposição inicial.

Portanto, conclui-se, por “redução ao absurdo”, que não existe a função 𝒇.


NOTA1: (𝒇(… (𝒇(𝒏))) = 𝒇𝒌(n) “composição de 𝒇 com ela mesmo k vezes”.

NOTA2: (∀𝒙 ∈ ℕ) : 𝒇𝟏 (𝒙) = 𝒇(𝒙) e 𝒇𝒌+𝟏 (𝒙) = (𝒇 (𝒇𝒌(𝒙)) , (∀𝒌 ∈ ℕ)(𝒌 ≥ 𝟏).

NOTA3: Para os “amigos” interessados no problema, sugiro que pensem nos problemas seguintes:
1) Fazer a demonstração da indução mencionada em (**) , mas não justificada.

2) Mostre a existência de uma função 𝒇 , 𝒇: ℕ = {𝟏, 𝟐, 𝟑, … } → ℕ , tal que


𝒇(𝒇(…
⏟ 𝒇 (𝒏). . . )) = 𝒏 + 𝒌 . (∀𝒌 ∈ ℕ)(𝒌 ≥ 𝟏)
𝒌 𝒗𝒆𝒛𝒆𝒔
3) (Copernicus Olympiad-2023 (fase final) )
Considere uma função 𝒇: ℕ = {𝟏, 𝟐, 𝟑, … } → ℕ , tal que 𝒇(𝒇(… 𝒇 (𝒏). . . )) = 𝒏 + 𝟏𝟓 . Pede-se 𝒇(2).

𝟓 𝒗𝒆𝒛𝒆𝒔

AUTOR: LUIZ ANTONIO PONCE ALONSO ( 14-07-2023)

Você também pode gostar