Σελίδα 1 από 1

Euler 2014-4

Δημοσιεύτηκε: Πέμ Ιούλ 17, 2014 12:36 pm
από Demetres
Σε ένα πάρτι έλαβαν μέρος n αγόρια και n κορίτσια. Κάθε αγόρι χόρεψε με ακριβώς k κορίτσια και κάθε δύο αγόρια χόρεψαν με ακριβώς d < k κοινά κορίτσια.

Να δειχθεί ότι κάθε κορίτσι χόρεψε με ακριβώς k αγόρια και κάθε δύο κορίτσια χόρεψαν με ακριβώς d κοινά αγόρια.

Re: Euler 2014-4

Δημοσιεύτηκε: Τετ Μαρ 22, 2017 1:35 pm
από Mikesar
Ας κάνω μια προσπάθεια...
Δημιουργούμε το προφανές γράφημα και έστω A ο πίνακας γειτνίασής του. Τότε, θεωρώντας ως πρώτες n κορυφές τα αγόρια, ο A είναι της μορφής \left( {\begin{array}{cc} 
   O & C \\ 
   C^t & O \\ 
  \end{array} } \right) για κάποιον n\times n πίνακα C.
Έτσι A^2= \left( {\begin{array}{cc} 
   CC^t & O \\ 
   O & C^tC \\ 
  \end{array} } \right).
Ως γνωστόν το ij-στοιχείo του A^2 είναι το πλήθος των κοινών γειτόνων των κορυφών i,j. Συνεπώς, από τις συνθήκες του προβλήματος έχω CC^t=\left( {\begin{array}{ccccc} 
   k & d & d &  \ldots & d \\ 
   d & k & d &  \ldots & d \\ 
   d & d & k &  \ldots & d \\ 
   \vdots& \vdots& \vdots& \ddots& \vdots\\ 
   d & d & d & \ldots & k \\ 
  \end{array} } \right)=(k-d)I+dJ,
όπου Jο πίνακας που έχει όλα του τα στοιχεία ίσα με 1. Θέλω να δείξω ότι C^tC=CC^t=(k-d)I+dJ.
Επειδή κάθε αγόρι χόρεψε με ακριβώς k κορίτσια, ισχύει CJ=kJ και άρα JC^t=kJ. Επιπλέον J^2=nJ.
(\sqrt{d}J-\sqrt{n}C)(\sqrt{d}J+\sqrt{n}C^t)=dJ^2-\sqrt{dn}(CJ-JC^t)+nCC^t=
=n(dJ-CC^t)=n(d-k)I
Αφού k\neq d, θα πρέπει να ισχύει
(\sqrt{d}J-\sqrt{n}C)(\sqrt{d}J+\sqrt{n}C^t)=(\sqrt{d}J+\sqrt{n}C^t)(\sqrt{d}J-\sqrt{n}C)\Leftrightarrow
n(CC^t-C^tC)=\sqrt{dn}(JC-C^tJ)
Το δεξί μέλος της τελευταίας σχέσης είναι αντισυμμετρικός πίνακας ενώ το αριστερό συμμετρικός. Άρα πρέπει τα δύο μέλη να ισούνται με το μηδενικό πίνακα.