Έστω $A$ μια ακολουθία φυσικών $a_i , 0 \leq a_i \leq n-1$. Σε κάθε βήμα εφαρμόζουμε στην ακολουθία $A$ την διαδικασία $f$:
Κάθε μπλοκ $k$ διαδοχικών ίσων φυσικών αντικαθίσταται από $k$ το πλήθος $k(modn)$. Έστω $f(A)$ η νέα ακολουθία.
Να δειχθεί ότι αν $f^{(k)}(A)=A \implies f(A)=A$
Η αναζήτηση βρήκε 86 εγγραφές
Επιστροφή στην ειδική αναζήτηση
- Παρ Ιαν 08, 2016 7:35 pm
- Δ. Συζήτηση: Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Ακολουθιες και κύκλοι
- Απαντήσεις: 0
- Προβολές: 3562
- Πέμ Ιουν 11, 2015 2:19 pm
- Δ. Συζήτηση: Θέματα διαγωνισμών (ΕΜΕ, ΚΥΜΕ, BMO, JBMO, IMO, Kangaroo κλπ)
- Θέμα: IMO 2014 (Shortlisted Problems)
- Απαντήσεις: 36
- Προβολές: 10359
Re: IMO 2014 (Shortlisted Problems)
Number Theory 4
Έστω $n>1$ ένας δοσμένος ακέραιος. Να αποδειχθεί ότι υπάρχουν άπειροι όροι της ακολουθίας $(a_k)$ που ορίζεται ως $\displaystyle{a_k=\lfloor\frac{n^k}{k}\rfloor},$ είναι περιττοί.
1) Άν $n$ περιττός έστω $p$ πρώτος που διαιρεί τον $n$. Προφανώς για $k=p^x$ ισχύει το ζητούμενο ...
- Δευ Μάιος 11, 2015 2:57 pm
- Δ. Συζήτηση: Γεωμετρία (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Εμπνευσμένο από tst
- Απαντήσεις: 3
- Προβολές: 1239
Re: Εμπνευσμένο από tst
Έστω $X \equiv AQ \cap BC, Y \equiv AO \cap BC$. Το τετράπλευρο $BA'CQ$ είναι αρμονικό άρα η δέσμη $A(B,C,A',X)$ αρμονική και
η τετράδα $(B,C,Y,X)$ αρμονική. Οι $OB,OC$ εφάπτονται στον $(T,TB)$ άρα η $SY$ συμμετροδιάμεσος στο $SBC$ και αφού η $(B,C,Y,X)$ αρμονική
η $SX$ εφάπτεται στον $(T,TB)$ άρα ...
η τετράδα $(B,C,Y,X)$ αρμονική. Οι $OB,OC$ εφάπτονται στον $(T,TB)$ άρα η $SY$ συμμετροδιάμεσος στο $SBC$ και αφού η $(B,C,Y,X)$ αρμονική
η $SX$ εφάπτεται στον $(T,TB)$ άρα ...
- Δευ Απρ 06, 2015 2:46 pm
- Δ. Συζήτηση: Θέματα διαγωνισμών (ΕΜΕ, ΚΥΜΕ, BMO, JBMO, IMO, Kangaroo κλπ)
- Θέμα: Προκριματικός Διαγωνισμός 2015
- Απαντήσεις: 33
- Προβολές: 9531
Re: Προκριματικός διαγωνισμός 2015
Bonus: δείξτε οτι
συνευθειακά
συνευθειακά- Τρί Μαρ 24, 2015 6:32 pm
- Δ. Συζήτηση: Διαγωνισμοί για φοιτητές
- Θέμα: k-άδες σχετικά πρώτων
- Απαντήσεις: 2
- Προβολές: 805
Re: k-άδες σχετικά πρώτων
:coolspeak: :coolspeak: Πολύ καλό!
Εναλλακτικά (πιο στοιχειωδώς) για τον υπολογισμό του $S_k$ θα μπορούσαμε να πούμε:
Έστω $\displaystyle f(x)= \sum_{m_1,\ldots,m_k}\frac{x^{m_1+m_2+...+m_k}}{m_1m_2...m_k(m_1+m_2+...+m_k)}$
Τότε:
$\displaystyle S_k=f(1)=\int_0^1f'(x)dx=\int_0^1\frac{1}{x} \sum_{m ...
Εναλλακτικά (πιο στοιχειωδώς) για τον υπολογισμό του $S_k$ θα μπορούσαμε να πούμε:
Έστω $\displaystyle f(x)= \sum_{m_1,\ldots,m_k}\frac{x^{m_1+m_2+...+m_k}}{m_1m_2...m_k(m_1+m_2+...+m_k)}$
Τότε:
$\displaystyle S_k=f(1)=\int_0^1f'(x)dx=\int_0^1\frac{1}{x} \sum_{m ...
- Δευ Μαρ 23, 2015 8:33 pm
- Δ. Συζήτηση: Γεωμετρία (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Επαφή και παραλληλία
- Απαντήσεις: 1
- Προβολές: 1014
Re: Επαφή και παραλληλία
Ωραία άσκηση Πάνο!
Αρχικά θα αποδείξω ένα χρήσιμο λήμμα:
Λήμμα 1 : Έστω τρίγωνο $ABC$ όπου $N$ το σημείο επαφής του εγγεγραμμένου και έστω $M$ το μέσο του ύψους που άγεται από το $A$ και $I_a$ το κέντρο του Α-παρεγγεγραμμένου. Τότε $M,N,I_a$ συνευθειακά.
Η ομοιοθεσία από το $A$ που στέλνει τον ...
Αρχικά θα αποδείξω ένα χρήσιμο λήμμα:
Λήμμα 1 : Έστω τρίγωνο $ABC$ όπου $N$ το σημείο επαφής του εγγεγραμμένου και έστω $M$ το μέσο του ύψους που άγεται από το $A$ και $I_a$ το κέντρο του Α-παρεγγεγραμμένου. Τότε $M,N,I_a$ συνευθειακά.
Η ομοιοθεσία από το $A$ που στέλνει τον ...
- Σάβ Μαρ 21, 2015 7:44 pm
- Δ. Συζήτηση: Διαγωνισμοί για φοιτητές
- Θέμα: k-άδες σχετικά πρώτων
- Απαντήσεις: 2
- Προβολές: 805
k-άδες σχετικά πρώτων
Να δειχθεί η παρακάτω σχέση όπου το άθροισμα καλύπτει όλες τις σχετικά πρώτες k-άδες αριθμών και
τυχαίος θετικός ακέραιος μεγαλύτερος του 1:

τυχαίος θετικός ακέραιος μεγαλύτερος του 1:
- Τρί Φεβ 24, 2015 10:41 pm
- Δ. Συζήτηση: Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Συνδιαστική
- Απαντήσεις: 4
- Προβολές: 1430
Re: Συνδιαστική
Φοβερή λύση!! Περιμενά να υπάρχει κάτι πιο απλό με ενα invariant αλλά δεν βρήκα κάτι...
- Δευ Φεβ 23, 2015 3:30 pm
- Δ. Συζήτηση: Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Ασκήσεις Συνδυαστικής 2014
- Απαντήσεις: 3
- Προβολές: 1776
Re: Ασκήσεις Συνδυαστικής 2014
Πολύ χρήσιμο! Ευχαριστούμε πολυ!
- Σάβ Φεβ 14, 2015 12:12 am
- Δ. Συζήτηση: Γεωμετρία (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Συντρέχοντα τμήματα φέρνουν συνευθειακότητα
- Απαντήσεις: 3
- Προβολές: 776
Re: Συντρέχοντα τμήματα φέρνουν συνευθειακότητα
Γράφω συνοπτικά αλλη μια λύση.
Έστω οι εφαπτομένες τέμνονται στα $X,Y,Z$ (απέναντι απο τα $A,B,C$ αντίστοιχα). Αρκεί $MNP,XYZ$ προοπτικά ως προς άξονα
ή απο θεώρημα Desarque προοπτικα ως προς κέντρο. Αρκεί $XM,YN,ZP$ να συντρέχουν.
Με νομους ημιτόνων στα $XBM,XCM$, έχω $\frac{sinX_1}{sinX_2 ...
Έστω οι εφαπτομένες τέμνονται στα $X,Y,Z$ (απέναντι απο τα $A,B,C$ αντίστοιχα). Αρκεί $MNP,XYZ$ προοπτικά ως προς άξονα
ή απο θεώρημα Desarque προοπτικα ως προς κέντρο. Αρκεί $XM,YN,ZP$ να συντρέχουν.
Με νομους ημιτόνων στα $XBM,XCM$, έχω $\frac{sinX_1}{sinX_2 ...
- Παρ Φεβ 06, 2015 11:35 pm
- Δ. Συζήτηση: Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Συνδιαστική
- Απαντήσεις: 4
- Προβολές: 1430
Συνδιαστική
Έχουμε $\frac{n(n+1)}{2}$ κέρματα πάνω σε ενα τραπέζι χωρισμένα σε κάποιες στήλες. Μια κίνηση αποτελείται απο την αφαίρεση ενός νομίσματος απο κάθε στήλη που έχει τουλάχιστον ένα νόμισμα και επανατοποθέτηση των νομισμάτων αυτών σε μια καινούρια στήλη. Να αποδειχθεί οτι μετά από κάποιες κινήσεις θα ...
- Σάβ Νοέμ 15, 2014 12:19 pm
- Δ. Συζήτηση: Γεωμετρία (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Διχοτομία από την ευθεία των μέσων.
- Απαντήσεις: 4
- Προβολές: 2530
Re: Διχοτομία από την ευθεία των μέσων.
Έστω $X,\ Y$ τα συμμετρικά του $Z$ ως προς $P,\ Q$ .
Αρκεί $X,\ N,\ Y$ συνευθειακά.
Όμως $FY \parallel EX$ άρα αρκεί $XNE \sim YNX$ ή ισοδύναμα $XE/FY=EN/NF$,
αφού $\angle NEX= \angle NFY$
Όμως $EN/FN=sin(\angle EAN)/sin(\angle NAF)=sin(\angle CAM)/sin(\angle BAM)$, από το ισοσκελές $AFE$ και ...
Αρκεί $X,\ N,\ Y$ συνευθειακά.
Όμως $FY \parallel EX$ άρα αρκεί $XNE \sim YNX$ ή ισοδύναμα $XE/FY=EN/NF$,
αφού $\angle NEX= \angle NFY$
Όμως $EN/FN=sin(\angle EAN)/sin(\angle NAF)=sin(\angle CAM)/sin(\angle BAM)$, από το ισοσκελές $AFE$ και ...
- Τρί Οκτ 21, 2014 8:48 pm
- Δ. Συζήτηση: Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Συναρτησιακή εξίσωση (β)
- Απαντήσεις: 5
- Προβολές: 876
Re: Συναρτησιακή εξίσωση (β)
Δίνω μια λύση με απλές αντικαταστάσεις, αν και η προτεινόμενη λύση κατα τη γνώμη μου έιναι πιό ωραία!
Στην αρχική:
$y=y+f(x+2y) \implies f(x+f(x+y+f(x+2y)))=f(2x)+y+f(x+2y)$, $(1)$
$x=x+y \implies f(x+y+f(x+2y))=f(2x+2y)+y$, $(2)$
$x=y \implies f(x+f(2x))=f(2x)+x$, $(3)$
$(1),(2) \implies f(x+y+f ...
Στην αρχική:
$y=y+f(x+2y) \implies f(x+f(x+y+f(x+2y)))=f(2x)+y+f(x+2y)$, $(1)$
$x=x+y \implies f(x+y+f(x+2y))=f(2x+2y)+y$, $(2)$
$x=y \implies f(x+f(2x))=f(2x)+x$, $(3)$
$(1),(2) \implies f(x+y+f ...
- Πέμ Οκτ 16, 2014 8:11 pm
- Δ. Συζήτηση: Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Ζεύγος!
- Απαντήσεις: 4
- Προβολές: 897
Re: Ζεύγος!
Για το $R^{+}$
Έστω ότι υπάρχει $k$ θετικό με $f(k)<k$ τότε θέτοντας $\displaystyle y= \frac{k-f(k)}{k}$ έχουμε:
$\displaystyle f(k)=f(k)f(\frac{k-f(k)}{k})+k>k$, άτοπο. Άρα για κάθε θετικό $x$ ισχύει $f(x) \geq x$.
Εφαρμόζοντας την τελευταία στην δοσμένη σχέση προκύπτει ότι: $\displaystyle x+f(x ...
Έστω ότι υπάρχει $k$ θετικό με $f(k)<k$ τότε θέτοντας $\displaystyle y= \frac{k-f(k)}{k}$ έχουμε:
$\displaystyle f(k)=f(k)f(\frac{k-f(k)}{k})+k>k$, άτοπο. Άρα για κάθε θετικό $x$ ισχύει $f(x) \geq x$.
Εφαρμόζοντας την τελευταία στην δοσμένη σχέση προκύπτει ότι: $\displaystyle x+f(x ...
- Σάβ Αύγ 23, 2014 2:09 pm
- Δ. Συζήτηση: Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Τεμνόμενες διαγώνιοι
- Απαντήσεις: 3
- Προβολές: 756
Re: Τεμνόμενες διαγώνιοι
Έστω $f(r)$ ο μέγιστος αριθμός καλών διαγωνίων σε ένα κυρτό r-γωνο $r>1$. Εύκολα $f(2)=f(3)=0$. θα δείξω με ισχυρη επαγωγή ότι
$f(2k)=f(2k+1)=2k-2$. Έστω ισχύει για κάθε $0 \leq k < K$. θα δείξω ότι ισχύει και για $k=K$.
Έστω $A_1A_2...A_{2K}$ το κυρτό πολύγωνο, τότε φέρνοντας τις διαγωνίους: $A ...
$f(2k)=f(2k+1)=2k-2$. Έστω ισχύει για κάθε $0 \leq k < K$. θα δείξω ότι ισχύει και για $k=K$.
Έστω $A_1A_2...A_{2K}$ το κυρτό πολύγωνο, τότε φέρνοντας τις διαγωνίους: $A ...
- Παρ Αύγ 01, 2014 11:50 am
- Δ. Συζήτηση: Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Επιτρέπεται ένα ψέμα
- Απαντήσεις: 4
- Προβολές: 1252
Re: Επιτρέπεται ένα ψέμα
Πολύ ωραία άσκηση!
Έστω ότι ο Β έχει στρατηγική νίκης κάνοντας $n$ ερωτήσεις του τύπου: Ανήκει ο x στο $S_i$ για $i=1,2,...,n$. Σε κάθε αριθμό από το 1 έως το Ν αντιστοιχώ έναν n-ψήφιο δυαδικό αριθμό (επιτρέπονται τα 0 στην αρχή) όπου το k-οστό ψηφίο είναι 1 αν ο αριθμός ανήκει στο $S_k$ και το 0 ...
Έστω ότι ο Β έχει στρατηγική νίκης κάνοντας $n$ ερωτήσεις του τύπου: Ανήκει ο x στο $S_i$ για $i=1,2,...,n$. Σε κάθε αριθμό από το 1 έως το Ν αντιστοιχώ έναν n-ψήφιο δυαδικό αριθμό (επιτρέπονται τα 0 στην αρχή) όπου το k-οστό ψηφίο είναι 1 αν ο αριθμός ανήκει στο $S_k$ και το 0 ...
- Παρ Ιουν 20, 2014 10:56 am
- Δ. Συζήτηση: Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Ανισότητα με γινόμενο!
- Απαντήσεις: 3
- Προβολές: 838
Re: Ανισότητα με γινόμενο!
Φαντάζομαι το αριστερό μέλος είναι
. Από Cauchy-Schwarz, AM-GM είναι:
![\displaystyle LHS=\frac{1}{2} \sum_{cyc}{\frac{a+b}{ab}} \sum_{cyc}{\frac{1}{a+b}} \geq \frac{1}{2} [\sum_{cyc}{\frac{1}{\sqrt{ab}}]^2 \geq
\frac{1}{2} [\frac{3}{\sqrt[6]{abc}}]^2 = \frac{9}{2}=RHS \displaystyle LHS=\frac{1}{2} \sum_{cyc}{\frac{a+b}{ab}} \sum_{cyc}{\frac{1}{a+b}} \geq \frac{1}{2} [\sum_{cyc}{\frac{1}{\sqrt{ab}}]^2 \geq
\frac{1}{2} [\frac{3}{\sqrt[6]{abc}}]^2 = \frac{9}{2}=RHS](/forum/ext/geomar/texintegr/latexrender/pictures/e5233fad4b70736e6bcfa6880318434a.png)
. Από Cauchy-Schwarz, AM-GM είναι:![\displaystyle LHS=\frac{1}{2} \sum_{cyc}{\frac{a+b}{ab}} \sum_{cyc}{\frac{1}{a+b}} \geq \frac{1}{2} [\sum_{cyc}{\frac{1}{\sqrt{ab}}]^2 \geq
\frac{1}{2} [\frac{3}{\sqrt[6]{abc}}]^2 = \frac{9}{2}=RHS \displaystyle LHS=\frac{1}{2} \sum_{cyc}{\frac{a+b}{ab}} \sum_{cyc}{\frac{1}{a+b}} \geq \frac{1}{2} [\sum_{cyc}{\frac{1}{\sqrt{ab}}]^2 \geq
\frac{1}{2} [\frac{3}{\sqrt[6]{abc}}]^2 = \frac{9}{2}=RHS](/forum/ext/geomar/texintegr/latexrender/pictures/e5233fad4b70736e6bcfa6880318434a.png)
- Κυρ Ιουν 15, 2014 3:48 pm
- Δ. Συζήτηση: Γεωμετρία (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Λήμμα στον Απολλώνιο κύκλο
- Απαντήσεις: 1
- Προβολές: 474
Λήμμα στον Απολλώνιο κύκλο
Δίνω μια άσκηση που μου χρειάστηκε σαν λήμμα σε μια άλλη άσκηση. Δεν γνωρίζω αν είναι γνωστή πρόταση.
Έστω τρίγωνο $ABC$ με $AB<AC$ και ο απολλώνιος κύκλος του που περνά από το $A$. Να δειχθεί ότι για καθε σημεία $P,P'$ στο εσωτερικό
και το εξωτερικό του απολλώνιου κύκλου αντίστοιχα ισχύει: $\frac ...
Έστω τρίγωνο $ABC$ με $AB<AC$ και ο απολλώνιος κύκλος του που περνά από το $A$. Να δειχθεί ότι για καθε σημεία $P,P'$ στο εσωτερικό
και το εξωτερικό του απολλώνιου κύκλου αντίστοιχα ισχύει: $\frac ...
- Τρί Μάιος 27, 2014 1:34 pm
- Δ. Συζήτηση: Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Συναρτησιακή εξίσωση (ξ)
- Απαντήσεις: 4
- Προβολές: 609
Re: Συναρτησιακή εξίσωση (ξ)
Για $a=b=1$ παίρνω ότι $f(z)+f(1)=f(z+f(1)), z=c+1>1$ $(1)$
Για $a=1$ έχω $f(1+f(b)+c)=f(1)+f(b+c)=f(f(1)+b+c), (2)$, αφού $b+c>1$
Έστω υπάρχει $v$ με $f(v)+1 \neq f(1)+v$ ΧΒΓ $T=f(1)+v-1-f(v)>0$
Τότε στη $(2)$ για $c=c-1-f(v)$ έχω $f(c+T)=f(c), c>1+f(v)$
Απο την τελευταία προκύπτει ότι η $f ...
Για $a=1$ έχω $f(1+f(b)+c)=f(1)+f(b+c)=f(f(1)+b+c), (2)$, αφού $b+c>1$
Έστω υπάρχει $v$ με $f(v)+1 \neq f(1)+v$ ΧΒΓ $T=f(1)+v-1-f(v)>0$
Τότε στη $(2)$ για $c=c-1-f(v)$ έχω $f(c+T)=f(c), c>1+f(v)$
Απο την τελευταία προκύπτει ότι η $f ...
- Δευ Δεκ 30, 2013 4:00 pm
- Δ. Συζήτηση: Γεωμετρία (Seniors) - Παλαιότερες Συζητήσεις
- Θέμα: Από το μέσο
- Απαντήσεις: 7
- Προβολές: 965
Re: Από το μέσο
Παραθέτω μια λύση που βρήκα συνοπτικά. Στο σχήμα και στη λύση έχω αλλάξει το όνομα των σημείων.
Έστω: $N$ μέσο τόξου $BC$ και $BH\cap{(C)}\equiv D , ND\cap{AC}\equiv G , CH\cap{(C)}\equiv E ,
NE\cap{AB}\equiv F$. Από το θεώρημα Pascal στο εγγεγραμμένο εξάγωνο $BACEND$ προκύπτει ότι τα σημεία
$F,G,H ...
Έστω: $N$ μέσο τόξου $BC$ και $BH\cap{(C)}\equiv D , ND\cap{AC}\equiv G , CH\cap{(C)}\equiv E ,
NE\cap{AB}\equiv F$. Από το θεώρημα Pascal στο εγγεγραμμένο εξάγωνο $BACEND$ προκύπτει ότι τα σημεία
$F,G,H ...