Coletânea Arconcher - Problema 01 (13-07-2023)
Coletânea Arconcher - Problema 01 (13-07-2023)
Coletânea Arconcher - Problema 01 (13-07-2023)
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.
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.