Παραλλαγή Ρουμάνικης στον Ευκλείδη Β'!

Συντονιστές: achilleas, emouroukos, silouan

Άβαταρ μέλους
Ορέστης Λιγνός
Δημοσιεύσεις: 1835
Εγγραφή: Κυρ Μάιος 08, 2016 7:19 pm
Τοποθεσία: Χαλάνδρι Αττικής
Επικοινωνία:

Παραλλαγή Ρουμάνικης στον Ευκλείδη Β'!

#1

Μη αναγνωσμένη δημοσίευση από Ορέστης Λιγνός » Τετ Απρ 12, 2023 9:56 am

Στον διαγωνισμό Romanian District Mathematical Olympiad προτάθηκε το 2022 το εξής πρόβλημα:
Romanian District Mathematical Olympiad 2022 έγραψε: Να προσδιορίσετε όλες τις συναρτήσεις f: \mathbb{R} \rightarrow \mathbb{R} που ικανοποιούν την ισότητα

f(f(y-x)-xf(y))+f(x)=y(1-f(x)),

για κάθε x,y \in \mathbb{R}.
Στο τεύχος 127 του Ευκλείδη Β', προτάθηκε η ίδια άσκηση στις Ασκήσεις για λύση (σελ. 14), αλλά ξέφυγε μια αθώα παρένθεση και τοποθετήθηκε αλλού, ίσως εκ παραδρομής:
Ευκλείδης Β', Τεύχος 127 έγραψε: Να προσδιορίσετε όλες τις συναρτήσεις f: \mathbb{R} \rightarrow \mathbb{R} που ικανοποιούν την ισότητα

f(f(y-x)-xf(y)+f(x))=y(1-f(x)),

για κάθε x,y \in \mathbb{R}.
Πιστεύω ότι το δεύτερο πρόβλημα είναι αρκετά δυσκολότερο από το πρώτο. Ας λύσουμε και τα δύο :)


Κερδίζουμε ό,τι τολμούμε!

Λέξεις Κλειδιά:
Άβαταρ μέλους
ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ
Δημοσιεύσεις: 921
Εγγραφή: Πέμ Νοέμ 22, 2018 9:43 pm

Re: Παραλλαγή Ρουμάνικης στον Ευκλείδη Β'!

#2

Μη αναγνωσμένη δημοσίευση από ΦΩΤΙΑΔΗΣ ΠΡΟΔΡΟΜΟΣ » Τετ Απρ 12, 2023 10:58 am

Ορέστης Λιγνός έγραψε:
Τετ Απρ 12, 2023 9:56 am
Στον διαγωνισμό Romanian District Mathematical Olympiad προτάθηκε το 2022 το εξής πρόβλημα:
Romanian District Mathematical Olympiad 2022 έγραψε: Να προσδιορίσετε όλες τις συναρτήσεις f: \mathbb{R} \rightarrow \mathbb{R} που ικανοποιούν την ισότητα

f(f(y-x)-xf(y))+f(x)=y(1-f(x)),

για κάθε x,y \in \mathbb{R}.
Στο τεύχος 127 του Ευκλείδη Β', προτάθηκε η ίδια άσκηση στις Ασκήσεις για λύση (σελ. 14), αλλά ξέφυγε μια αθώα παρένθεση και τοποθετήθηκε αλλού, ίσως εκ παραδρομής:
Ευκλείδης Β', Τεύχος 127 έγραψε: Να προσδιορίσετε όλες τις συναρτήσεις f: \mathbb{R} \rightarrow \mathbb{R} που ικανοποιούν την ισότητα

f(f(y-x)-xf(y)+f(x))=y(1-f(x)),

για κάθε x,y \in \mathbb{R}.
Πιστεύω ότι το δεύτερο πρόβλημα είναι αρκετά δυσκολότερο από το πρώτο. Ας λύσουμε και τα δύο :)
Λοιπόν, P(x,y) η δοσμένη σχέση,


Βήμα 1ο f(0)=0.
Απόδειξη:
P(0,0): f(2f(0))=0
P(x,0): f(f(-x)-xf(0)+f(x))=0
P(0,x): f(f(x)+f(0))=x(1-f(0)).
Αν f(0)\neq 1 τότε η παραπάνω δίνει άμεσα ότι f είναι 1-1 και επί στο \mahtbb{R}.
Έτσι λοιπόν η P(x,0) δίνει f(-x)-xf(0)+f(x)=2f(0), θέτω x\to -x και παίρνω f(x)+xf(0)+f(-x)=2f(0) και με αφαίρεση από την προηγούμενη έχω τελικά f(0)=0.
Μένει η περίπτωση f(0)=1.
Τότε P(0,x) γίνεται f(f(x)+1)=0
Για x=2f(0) σε αυτή παίρνω f(1)=0.
P(1,x): f(f(x-1)-f(x))=x και έτσι P(0,f(x-1)-f(x)): f(x+1)=0 δηλαδή f\equiv 0 αλλά f(0)\neq 0 άτοπο.
Βήμα 2ο Η f είναι προσθετική
Απόδειξη:
Αφού f(0)=0 έχουμε P(0,x): f(f(x))=x άρα f 1-1 και επί και ενέλιξη,
P(x,0): f(f(-x)+f(x))=0\Rightarrow f(-x)=-f(x) άρα f περιττή.
P(x,y)+P(x,-y): f(f(y-x)-xf(y)+f(x))+f(f(-y-x)-xf(-y)+f(x))=0\Leftrightarrow
\Leftrightarrow f(y-x)-xf(y)+f(x)=-f(-y-x)+xf(-y)-f(x)\Leftrightarrow f(y-x)+2f(x)=f(x+y)
Για y=-x είναι f(-2x)+2f(x)=0\Leftrightarrow f(2x)=2f(x).
Για y\to y+x είναι f(y)+f(2x)=f(y+2x) που με x\to x/2 δίνει ότι f προσθετική.
Βήμα 3ο Η f πολλαπλασιαστική.
Απόδειξη:
Η δοσμένη πλέον γίνεται f(f(y-x))+f(-xf(y))+f(f(x))=y-yf(x) και αφού f ενέλιξη θα είναι
y-xf(xf(y))+x=y-yf(x)\Leftrightarrow f(xf(y))=yf(x), με y\to f(y) παίρνουμε f(xy)=f(x)f(y) όπως θέλαμε.
Βήμα 4οf\equiv id.
Απόδειξη:
Είναι f(x^2)=f(x)^2 άρα f(x)\geq 0 για x\geq 0 και αφού η f ικανοποιεί την Cauchy από γνωστή θεωρία θα είναι f(x)=Cx
f(f(x))=x\Leftrightarrow C=\pm 1.
Αντικαθιστώντας στην αρχική βλέπουμε ότι μόνο C=1 δουλεύει και επομένως f(x)=x για κάθε x.


Απάντηση

Επιστροφή σε “Άλγεβρα - Προχωρημένο Επίπεδο (Seniors)”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες