ΔΗΜΗΤΡΗΣ ΙΩΑΝΝΟΥ έγραψε:ΑΣΚΗΣΗ 484: Δίνεται μια οξεία γωνίακαι έστω
σημείο της
. Από το
φέρνουμε την κάθετη στην
η οποία τέμνει την
στο σημείο
. Στο εσωτερικό της γωνίας
θεωρούμε ημιευθεία
που τέμνει την
στο
. Από το
φέρνουμε ευθεία κάθετη στην
που τέμνει την
στο
.
Αν, να αποδείξετε ότι
.
.Έστω
το μέσο του
. Επειδή
, θα είναι:
(ως εξωτερική γωνία στο ισοσκελές τρίγωνο
). Οπότε από την
, 
και έστω
σημείο της
. Από το
στο σημείο
. Στο εσωτερικό της γωνίας
που τέμνει την
στο
. Από το
.
, να αποδείξετε ότι
.
(με
) είναι εγγεγραμμένο σε κύκλο με κέντρο
. Θεωρούμε
το συμμετρικό
και μια ημιευθεία
, η οποία τέμνει την
στο
και
η μεσοκάθετη του
που περνά από το
. Οι
και
τέμνονται στο
.
είναι συμμετρικό του
και
.
.
είναι παραλληλόγραμμο γιατί οι διαγώνιες του διχοτομούνται. Επομένως
.
και επομένως το τρίγωνο
είναι ισοσκελές. Άρα
.
και
είναι όμοια (έχουν
και
). Έπεται ότι
.
έχουμε ότι
.
.
είναι εγγράψιμο και θα είναι
. Όμως από
είναι
.
και οι
και
είναι παράλληλες.
οι γωνίες του τριγώνου
,
το ύψος του τριγώνου, που προφανώς διέρχεται από το κέντρο
είναι κάθετες και διχοτομούνται, το τετράπλευρο
είναι ρόμβος, άρα
.
είναι εγγράψιμο (δύο από τις απέναντι γωνίες του είναι ορθές), άρα: 




. Άρα πρέπει:
. Και εύκολα τώρα βρίσκουμε ότι:
, ισχύει:
ισχύει : 

, που ισχύει.
θα έχω 

με την ισότητα να ισχύει για
.

και έστω
το ύψος του τριγώνου
το μέσον του
. Να αποδείξετε ότι
διέρχεται από το μέσον της 
(η
είναι διάμεσος του ορθογωνίου τριγώνου
), κι επειδή
είναι το μέσο της
θα είναι
. Οπότε το τετράπλευρο
είναι εγγράψιμο ( δύο από τις απέναντι γωνίες είναι ορθές). Αλλά για τον ίδιο λόγο και το
είναι εγγράψιμο.
είναι ομοκυκλικά και
είναι μία διάμετρος του κύκλου. Επομένως
και αφού το
θα είναι μέσο της
για την οποία ισχύει :
, για κάθε
. Να υπολογίσετε το άθροισμα: 
έχω
(1)
(2)
έχω : 

…

για κάθε
.
προκύπτει :
και άρα η αρχική δίδει :
. Θέτω
και η προηγούμενη δίδει :
, δηλαδή
οπότε και για κάθε
. Αν η μεταβλητή
πάρει θετικές ακέραιες τιμές
προκύπτει η ακολουθία
.
η ακολουθία τελικά είναι αριθμητική πρόοδος με πρώτο όρο
και διαφορά
.
και άρα
. Δηλαδή
.
ο αριθμός ![\displaystyle{ A =\left[ \frac{n + 3}{4}\right] +\left[\frac{n + 5}{4}\right]+\left[\frac{n}{2}\right] + n^2 + 3n + 3} \displaystyle{ A =\left[ \frac{n + 3}{4}\right] +\left[\frac{n + 5}{4}\right]+\left[\frac{n}{2}\right] + n^2 + 3n + 3}](/forum/ext/geomar/texintegr/latexrender/pictures/f007c45442a701326a01f1341ff4741f.png)
τέτοια, ώστε

![\displaystyle{\left[ \frac{n + 3}{4}\right]=\begin{cases}k,~~~~~\text{\gr αν}~v=0, \\ k+1,\text{\gr αν}~v=1,\\ k+1,\text{\gr αν}~v=2, \\ k+1,\text{\gr αν}~v=3\\ \end{cases}} \displaystyle{\left[ \frac{n + 3}{4}\right]=\begin{cases}k,~~~~~\text{\gr αν}~v=0, \\ k+1,\text{\gr αν}~v=1,\\ k+1,\text{\gr αν}~v=2, \\ k+1,\text{\gr αν}~v=3\\ \end{cases}}](/forum/ext/geomar/texintegr/latexrender/pictures/4a3823a36087536d7eb853f8945286cf.png)
![\displaystyle{\left[ \frac{n + 5}{4}\right]=\begin{cases}k+1,\text{\gr αν}~v=0, \\ k+1,\text{\gr αν}~v=1,\\ k+1,\text{\gr αν}~v=2, \\ k+2,\text{\gr αν}~v=3\\ \end{cases}} \displaystyle{\left[ \frac{n + 5}{4}\right]=\begin{cases}k+1,\text{\gr αν}~v=0, \\ k+1,\text{\gr αν}~v=1,\\ k+1,\text{\gr αν}~v=2, \\ k+2,\text{\gr αν}~v=3\\ \end{cases}}](/forum/ext/geomar/texintegr/latexrender/pictures/229b8d33edfb77ac3638c95cdcf4db77.png)
![\displaystyle{\left[ \frac{n }{2}\right]=\begin{cases}2k,~~~~~\text{\gr αν}~~v=0, \\ 2k,~~~~~\text{\gr αν}~v=1,\\ 2k+1,\text{\gr αν}~v=2, \\ 2k+1,\text{\gr αν}~v=3\\ \end{cases}} \displaystyle{\left[ \frac{n }{2}\right]=\begin{cases}2k,~~~~~\text{\gr αν}~~v=0, \\ 2k,~~~~~\text{\gr αν}~v=1,\\ 2k+1,\text{\gr αν}~v=2, \\ 2k+1,\text{\gr αν}~v=3\\ \end{cases}}](/forum/ext/geomar/texintegr/latexrender/pictures/503d9f8051ceb1e620a831dc631fbfbb.png)
Αν
είναι 
είναι 
είναι 
είναι 


. Θέτουμε τώρα:
. Τότε έχουμε:
. Άρα
ή
, (το οποίο απορρίπτεται, αφού πρέπει
).
, ή
. Άρα πρέπει:
, ή 
είναι φυσικός αριθμός, να αποδείξετε ότι ο αριθμός
, με πλήθος
του ψηφίου
.
διαιρείται με
.
που επειδή ο αριθμητής τελειώνει σε
θα
είναι ακέραιος .