| |
| Autor |
 Bundeswettbewerb Mathematik 2020, 2. Runde |
|
Math314
Ehemals Aktiv 
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
 |  Themenstart: 2020-09-08
|
Hallo zusammen,
hiermit eröffne ich mal den diesjährigen Thread zum aktuellen Bundeswettbewerb, hier soll in der nächsten Zeit über die Aufgaben der zweiten Runde diskutiert werden, an dieser Stelle nochmal für Interessierte der Link zu den Aufgaben: https://www.mathe-wettbewerbe.de/download/aufgaben-20-2.pdf
Viele Grüße und viel Spaß bei der Diskussion😉,
Philipp
|
 Profil
|
ochen
Senior 
Dabei seit: 09.03.2015
Mitteilungen: 3803
Wohnort: der Nähe von Schwerin
|  Beitrag No.1, eingetragen 2020-09-08
|
Hallo,
dann stelle ich mal die Aufgaben 1 und 2 vor.
\showon Aufgabe 1
Smilla kann Nuggets mit einer Masse von $\frac 14\cdot 2019\cdot 2020+2020$ für sich garantieren und Leo kann Nuggets mit einer Masse von $\frac 14\cdot 2019\cdot 2020$ bei optimaler Spielweise bekommen.
Smilla färbt die Nuggets mit den Massen von 1 bis 2019 so, dass Nuggets mit einer Gesamtmasse von $\frac 14\cdot 2019\cdot 2020$ blau markiert und Nuggets mit einer Gesamtmasse von $\frac 14\cdot 2019\cdot 2020$ rot markiert sind.
Nennt Leo nun eine Farbe und es ist noch ein Nugget dieser Farbe in keiner Truhe, dann legt Smilla dieses Nugget in die entsprechende Truhe. Sind alle Nuggets der von Leo genannten Farbe schon in der Truhe, nimmt Smilla das Nugget mit der Masse 2020 und legt es in die entsprechende Truhe. In dieser Truhe sind dann Nuggets mit einer Masse von $\frac 14\cdot 2019\cdot 2020+2020$.
Leo nennt so lange die gleiche Farbe, bis in der entsprechenden Truhe die Nuggets eine Masse von mindestens $\frac 14\cdot 2019\cdot 2020$ haben. Dann nennt er nur noch die andere Farbe. Offenbar können sich die Massen der Nuggets in den beiden Truhen um höchstens 2020 unterscheiden.
\showoff
\showon Aufgabe 2
Wir erhalten $x^2+xy+y^2=50$. Multiplizieren wir das mit dem Hauptnenner $r$ und setzen $p=xr$ und $q=yr$, so gilt
\[
p^2+pq+q^2=50r^2
\]
Berrachtet man alles modulo 2, erhält man, dass $p$ und $q$ gerade sein müssen. Dann ist aber auch $r$ gerade und wir können durch 2 kürzen. Die Gleichung hat also nut die Lösung $p=q=r=0$. Somit gibt es für die ursprüngliche Gleichung keine Lösung.
\showoff
|
Profil
|
Math314
Ehemals Aktiv
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
| Beitrag No.2, vom Themenstarter, eingetragen 2020-09-08
|
Hallo ochen,
Aufgabe 1 habe ich auch so gelöst, bei Aufgabe 2 habe ich einen relativ ähnlichen aber längeren Lösungsweg😉. Aufgabe 3 fand ich auch relativ einfach (aber wie jede BWM-Geo schwer aufzuschreiben), aber an Aufgabe 4 hing ich sehr lange😉.
Viele Grüße,
Philipp
|
Profil
|
Red_
Aktiv
Dabei seit: 28.09.2016
Mitteilungen: 1009
 | Beitrag No.3, eingetragen 2020-09-08
|
Ich hätte intuitiv gedacht, dass A4) dieses mal sehr einfach aussieht. Hätte mit einem Widerspruchsbeweis angesetzt und mit Schubfachprinzip irgendwie und vielleicht eine Symmetrie ausnutzen/finden. Ich habe mich aber nicht damit beschäftigt.
Oder vielleicht Operationen einführen, wo die Relation zu Spalte und Zeile gleich bleibt man aber irgendwie immer Zahlen ersetzt durch neue, sodass am Ende vielleicht nur noch eine Zahl (und/oder in allen Einträgen vorkommt). Das hier soll nur Brainstorming sein und hoffen ich hätte die Aufgabe gelöst, wenn ich sie bearbeitet hätte xD
Aber von der Erfahrung her kann man jede BWM Aufgabe lösen mit genügend Zeit.
Wie habt ihr Sie gelöst? Kernidee reicht aus.
|
Profil
|
Math314
Ehemals Aktiv
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
| Beitrag No.4, vom Themenstarter, eingetragen 2020-09-08
|
Kernidee? Ich habe die tabellarische Form der Aufgabenstellung in eine graphentheoretische Form umgewandelt und dann die Behauptung über starke Induktion mit Heiratssatz von Hall gezeigt.
|
Profil
|
Math314
Ehemals Aktiv 
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
| Beitrag No.5, vom Themenstarter, eingetragen 2020-09-08
|
Interessant ist aber, dass sich bereits die A4 der ersten Runde mittels starker Induktion zeigen ließ😉
|
Profil
|
Red_
Aktiv 
Dabei seit: 28.09.2016
Mitteilungen: 1009
| Beitrag No.6, eingetragen 2020-09-08
|
\quoteon(2020-09-08 19:38 - Math314 in Beitrag No. 4)
Kernidee? Ich habe die tabellarische Form der Aufgabenstellung in eine graphentheoretische Form umgewandelt und dann die Behauptung über starke Induktion mit Heiratssatz von Hall gezeigt.
\quoteoff
Hört sich sehr cool an, nice Idee!
|
Profil
|
Mano
Aktiv 
Dabei seit: 27.05.2020
Mitteilungen: 48
Wohnort: NRW
| Beitrag No.7, eingetragen 2020-09-08
|
Hallo zusammen,
ich würde auch mal meine Lösungen posten. Die ersten zwei habe ich genauso wie ochen.
Zur 3, die schon als 561242 und USA TST 2012/2 gestellt wurde: Das folgt sofort aus Fact 5. Ich weiß allerdings gar nicht, wie man den Beweis davon korrektorentauglich aufschreiben würde. Deswegen habe ich mit einfachen Koordinatenrechnungen gezeigt, dass sich der Umkreismittelpunkt von $\triangle PMN$ auf einer Geraden bewegt. Dann kann man $P$ an dieser Geraden spiegeln und ist fertig. Vorteil, dass die hässliche Lagebetrachtung umgangen wird und alles Verwendete "im Schulbereich geläufig" ist. Man verwendet auch gar nicht, dass $M$ und $N$ gleich schnell sind.
Zu 4: Kernidee: Mit starker Induktion müssen unter den $2k$ größten Dingen (Zeilen oder Spalten) mindestens $k+1$ Spalten sein. Das ist vielleicht das Gleiche, ich sehe noch nicht, wo der geeignete Graph in der Aufgabe ist.
|
Profil
|
Math314
Ehemals Aktiv
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
| Beitrag No.8, vom Themenstarter, eingetragen 2020-09-09
|
@ Red_: Danke 😄
@ Mano: Die 3 habe ich auch so, nur nicht mit Koordinatenrechnung (auch wenn ich das eigentlich vorhatte), zu der 4:
Der Graph hat die Punkte Zi und Sj wobei Z die Zeilen und S die Spalten repräsentieren, und eine Zeile und eine Spalte sind in dem Graphen genau dann miteinander verbunden, wenn ihr gemeinsames Feld positiv ist (die Kante wird dann auch mit dieser Zahl versehen und dann für jede Ecke die Summe der "Kantenzahlen" ausgerechnet).
|
Profil
|
Ixx
Aktiv
Dabei seit: 05.04.2020
Mitteilungen: 364
| Beitrag No.9, eingetragen 2020-09-09
|
Kurz aus der Rubrik "nicht repräsentative Statistik":
Dieses Jahr hatte ich 9 Arbeiten von Schülerinnen und Schülern der Klassenstufen 10 bis gerade abgeschlossen zur Korrektur. Im Durchschnitt waren sie 12 Seiten lang (5 bis 38).
Am einfachsten fiel hier die Afgabe 2, die alle korrekt bearbeitet hatten. Es folgt Aufgabe 1, die fast perfekt lief -- mit einer Ausnahme, wo nicht beide Richtungen ">=" und "<=" (bzw. Strategien für beide Personen) gezeigt wurden. Aufgabe 3 mit im Schnitt 7,6 (von max. 10) Punkten wurde einmal nicht bearbeitet und zwei mal fehlerhaft. Dabei gab es etwa das Problem, dass verschiedene Orientierungen ("beide Punkte bewegen sich mit der Zeit in pos./neg. x-Richtung, oder entgegengesetzt") oder Lagebeziehungen (Geraden m, n parallel zu den Koordinaten-Achsen, auftretende Nenner, die gleich 0 werden können) nicht diskutiert wurden. Am schwierigsten war die Aufgabe 4 (wie sie auch sollte) mit 5,7 von 10 möglichen Punkten, bei denen häufig keine sinnvollen und verständliche Betrachtungen geliefert werden konnten.
Es ergibt sich somit folgende Verteilung meiner Punktvorschläge:
40 Punkte (1. Preis): 5 mal
30 Punkte (3. Preis): 1 mal
20-19 Punkte (kein Preis): 3 mal
Eine Lösung mit einer m.E. sehr schönen und klaren Idee zur Aufgabe 4 lieferte eine Abgabe. Leider tauchte eine ähnliche Idee schon während der Bearbeitungszeit auf AoPS auf, sodass nicht ganz klar ist, ob dies originär vom Einsender kommt...
Ab jetzt sind Zweit- und Drittkorrektur dran. Ich bin für dieses Jahr durch und freue mich für alle Teilnehmerinnen und Teilnehmer. :)
|
Profil
|
Math314
Ehemals Aktiv
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
| Beitrag No.10, vom Themenstarter, eingetragen 2020-09-09
|
@ Ixx: Ich hätte ehrlich gesagt nicht vermutet, dass Probleme mit den Lagebeziehungen in den Koordinatenrechungen auftauchen, das klingt ja sogar so, als wäre ich mit meiner Nichtkoordinatenlösung auf der sichereren Seite😄. Naja, zu den Schwierigkeitsgraden der Aufgaben (meine persönliche Meinung):
Lösung: 1 = 2 = 3 <<< 4
Aufschreiben: 1 < 2 < 4 <<< 3
Dass 3 und 4 am wenigsten Punkte bekommen war m.E. klar...😉
|
Profil
|
Ixx
Aktiv
Dabei seit: 05.04.2020
Mitteilungen: 364
| Beitrag No.11, eingetragen 2020-09-12
|
Profil
|
Math314
Ehemals Aktiv
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
| Beitrag No.12, vom Themenstarter, eingetragen 2020-09-13
|
Schöne Aufgaben, danke für den Tipp
|
Profil
|
Anand_V
Neu
Dabei seit: 24.08.2018
Mitteilungen: 4
| Beitrag No.13, eingetragen 2020-09-14
|
Zur vierten Aufgabe: Darf man eigentlich einen Satz wie den von Hall einfach ohne eigenen Nachweis verwenden? Er gehört ja nicht zur Schulmathematik, selbst wenn man hier großzügig interpretiert. Würde mich mal interessieren, wie das gehandhabt wird. Danke! Anand
|
Profil
|
Ixx
Aktiv
Dabei seit: 05.04.2020
Mitteilungen: 364
| Beitrag No.14, eingetragen 2020-09-14
|
Der Heiratssatz ist etwas, dass man bei Vorbereitungen o.Ä. im Bereich der Wettbewerbsmathematik durchaus antrifft. Insofern ist hier (insbesondere bei der 4. Aufgabe, 2. Runde BWM) kein weiterer Beweis vonnöten.
Man sollte einfach schauen, auf welchem Niveau die Aufgabe gestellt ist: Ist sie elementar, sollte man in seinen Ausführungen sich dem auch anpassen. Ist die Aufgabe aber deutlich komplexer, darf man auch entsprechend die eigenen Überlegungen raffen.
|
Profil
|
Math314
Ehemals Aktiv
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
| Beitrag No.15, vom Themenstarter, eingetragen 2020-09-14
|
@ Anand_V: Ich weiß nicht wie genau das gehandhabt wird, da wird Ixx als Korrektor wohl tatsächlich mehr Ahnung haben, ich kann nur sagen, wie ichs gemacht habe: Ich habe den Satz in den Anhang geschrieben, und einen Beweis aus einer Quelle (mit Angabe dieser) eingefügt, aber keinen selbstverfassten.
|
Profil
|
Math314
Ehemals Aktiv
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
| Beitrag No.16, vom Themenstarter, eingetragen 2020-09-14
|
Erfahrungsgemäß sollten übrigens in den nächsten Tagen die vorläufigen Musterlösungen online gestellt werde
|
Profil
|
Anand_V
Neu
Dabei seit: 24.08.2018
Mitteilungen: 4
| Beitrag No.17, eingetragen 2020-09-14
|
Danke Euch beiden für die schnelle Antwort - das Vorgehen klingt vernünftig und angemessen. Grüße Anand
|
Profil
|
Math314
Ehemals Aktiv
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
| Beitrag No.18, vom Themenstarter, eingetragen 2020-09-19
|
@ Mano: Könntest du vielleicht deinen Beweis zur 4 reinstellen? Ich kann mit der Kernidee irgendwie noch nicht viel anfangen😅
|
Profil
|
Ixx
Aktiv
Dabei seit: 05.04.2020
Mitteilungen: 364
| Beitrag No.19, eingetragen 2020-09-19
|
Die schöne Lösung zur 4, von der ich oben sprach, ging übrigens wie folgt:
*) Streiche Nullzeilen aus der Tabelle. Das ändert nichts.
*) Bezeichne mit $z(i)=\sum_j a_{i,j}$ Summe der Elemente in Zeile $i$, analog $s(j)=\sum_i a_{i,j}$ für Spalte $j$.
*) Dann ist
$$\sum_{i,j} a_{i,j} \left(\frac{1}{s_j}-\frac{1}{z_i}\right)=\sum_j \frac{1}{s_j} \sum_i a_{i,j} - \sum_i\frac{1}{z_i} \sum_j a_{i,j}=\sum_j \frac{1}{s_j} \cdot s_j - \sum_i\frac{1}{z_i} \cdot z_i=n-m>0.$$
*) Insbesondere ist also min. für ein $i,j$ der Summand $a_{i,j} \left(\frac{1}{s_j}-\frac{1}{z_i}\right)>0$, also $a_{i,j}\neq 0$ (also positiv) und $\frac{1}{s_j}-\frac{1}{z_i}>0$, d.h. $z_i>s_j$.
|
Profil
|
Math314
Ehemals Aktiv
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
| Beitrag No.20, vom Themenstarter, eingetragen 2020-09-19
|
Wow, diese Lösung ist echt elegant 👌.
Zuerst hatte ich auch nach einer solchen Lösung gesucht, insbesondere hatte ich die Aufgabe erstmal als Algebra-Aufgabe interpretiert, weil ja im BWM Aufgaben aus Algebra, Geometrie, Kombinatorik und Zahlentheorie gestellt werden, und die anderen drei Bereiche schon abgedeckt waren. Als ich die Aufgabe dann als Kombi interpretiert habe, kam ich dann auch relativ schnell auf den Graphen und wie so grob die Lösung aussehen müsste, und habe es dann erstmal eine Woche lang nicht hingekriegt, obwohl ich die Lösung mit der Nase quasi berührte. Bin jetzt noch ein wenig sauer auf mich... 😡😉
|
Profil
|
Mano
Aktiv
Dabei seit: 27.05.2020
Mitteilungen: 48
Wohnort: NRW
| Beitrag No.21, eingetragen 2020-09-20
|
Meine Lösung zur 4:
Sei oBdA $n=m+1$ und $s_1\leq s_2\leq\dots\leq s_{m+1}$ und $z_1\leq z_2\leq\dots z_m$.
Wir zeigen die Aussage mit dem Hilfssatz, dass es eine ganze Zahl $k$ mit $2\leq k\leq m$ und $z_k>s_k$ gibt.
Beweis. Angenommen, der Hilfssatz wäre falsch, also gelte $s_k\geq z_k$ für alle ganzzahligen $k$ mit $2\leq k\leq m$. Addiert man dazu die Ungleichungen $\displaystyle s_{m+1}\geq s_m\geq z_m\geq z_1$ und $s_1>0$, folgt: $\displaystyle \sum_{k=2}^ms_k+s_{m+1}+s_1>\sum_{k=2}^mz_k+z_1+0.$ Da allerdings beide Seiten die Summe von allen Einträgen zählen, haben wir einen Widerspruch.
Wir wenden nun starke Induktion an. Wie wir bewiesen haben, gibt es eine ganze Zahl $k$ mit $2\leq k\leq m$ und $s_k>t_k$. Dann gilt für positive ganze Zahlen $i\geq k$ und $j\leq k$ immer $s_i\geq s_k>t_k\geq t_j$. Gäbe es also ein solches Paar $(i,j)$ mit $a_{ij}>0$, so würde daraus sofort die Behauptung folgen. Man kann also annehmen, dass für jedes solche Paar $a_{ij}=0$ gilt. Dann sind wir in der Teiltabelle, die nur die ersten $k-1$ Zeilen und nur die ersten $k$ Spalten enthält, nach Induktionsvoraussetzung fertig:
$\displaystyle \begin{array}{|cccc|cc|}
\hline
a_{11} & a_{12} & \dots & a_{1k} & \dots & a_{1(m+1)} \\
\vdots & \vdots & \ddots & \vdots && \vdots \\
a_{(k-1)1} & a_{(k-2)2} & \dots & a_{(k-1)k} & \dots & a_{(k-1)(m+1)} \\
\hline
0 & 0 & \dots & 0 & \dots & a_{k(m+1)} \\
\vdots & \vdots & \ddots & \vdots && \vdots \\
0 & 0 & \dots & 0 & \dots & a_{m(m+1)} \\
\hline
\end{array}$
Ein Hinweis, dass $m$ und $n$ positive ganze Zhlen sind, wäre noch m. E. durchaus nett gewesen.
Ich habe auch lange versucht Summen der Form $\displaystyle \sum_{i,j}a_{ij}(z_i^\alpha-s_i^\alpha)$ für $\alpha>0$ oder $\alpha\to0$ zu betrachten. Leider ist diese Summe im Allgemeinen nicht positiv und ich habe überhaupt keinen Grund gefunden, warum ein Summand positiv sein soll. Aber $\alpha=-1$ zu nehmen ist echt eine gute Idee.
|
Profil
|
Mano
Aktiv 
Dabei seit: 27.05.2020
Mitteilungen: 48
Wohnort: NRW
| Beitrag No.22, eingetragen 2020-09-20
|
Überlegungen, die 2 zu verallgemeinern:
Ich habe mich gefragt, warum unendlicher Abstieg bei diophantischen Gleichungen wie $a^2+b^2=3c^2$ oder $a^2+ab+b^2=2c^2$ funktioniert. Ich habe Folgendes herausgefunden:
Man kann die Kreisteilungspolynome $\displaystyle \Phi_n(x)=\prod_{\zeta_k}(x-\zeta_k)$ betrachten, wo das Produkt über die $\phi(n)$ primitiven $n$-ten Einheitswurzeln genommen wird. Für die homogenen Kreisteilungspolynome $\Phi_n(a,b):=a^{\phi(n)}\Phi_n(\frac{b}{a})$ betrachten wir Gleichungen der Form $\displaystyle \Phi_n(a,b)=kc^{\phi(n)}.$ Wir können annehmen, dass $a$, $b$ und $c$ paarweise teilerfremd sind und $k$ durch keine $\phi(n)$-te Potenz teilbar ist. Nehmen wir nun eine Primzahl $p|k$ und $\overline{a}$ als multiplikatives Inverses zu $a$ mod $p$. (Wäre $a$ durch $p$ teilbar, dann wäre auch $b$, und damit auch $c$ durch $p$ teilbar, Widerspruch.) Wir erhalten also: $\displaystyle a^{\phi(n)}\Phi_n(\frac{b}{a})\equiv a^{\phi(n)}\Phi_n(b\overline{a})\equiv0\,(\text{mod}\,p),$ und damit $p|\Phi_n(b\overline{a})$. Nach Lemma 4.8 aus dem Skript kann das genau dann passieren, wenn $n$ durch $p$ teilbar ist oder $\overline{a}b$ genau die Ordnung $n$ modulo $p$ hat. Im zweiten Fall muss aber $p$ die Form $nt+1$ haben, da $p-1$ durch alle Ordnungen teilbar ist. Damit kann $k$ nur durch Primzahlen teilbar sein, die entweder $n$ teilen oder von der Form $nt+1$ sind.
Sind für solche $k$ die Gleichungen wirklich lösbar? Mir scheint es so, als wäre für geeignetes primes $k$ auch scon der Fall $c=1$ lösbar. Stimmt das? Oder kennt jemand vielleicht andere Verallgemeinerungen?
|
Profil
|
Math314
Ehemals Aktiv
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
| Beitrag No.23, vom Themenstarter, eingetragen 2020-09-21
|
@ Mano: Versuche mich mal demnächst da reinzudenken😉
Die vorläufigen Musterlösungen sind veröffentlich (hier der Link: https://www.mathe-wettbewerbe.de/download/loes-20-2-v.pdf) und pünktlich dazu ist mir auch eine kleine Lücke bei mir in A3 aufgefallen, die ein gutmütiger Korrektor vermutlich ignorieren würde, aber ich denke ich stehe jetzt auf der Kippe zwischen 1. und 2. Preis😐.
|
Profil
|
Kezer
Senior
Dabei seit: 04.10.2013
Mitteilungen: 1862
 | Beitrag No.24, eingetragen 2020-09-21
|
Deine Überlegungen sind richtig, soweit ich sehen kann (ein paar Stellen hätte ich aber anders formuliert, es war teilweise nicht leicht zu sehen, was du meinst).
\quoteon(2020-09-20 19:09 - Mano in Beitrag No. 22)
Sind für solche $k$ die Gleichungen wirklich lösbar? Mir scheint es so, als wäre für geeignetes primes $k$ auch scon der Fall $c=1$ lösbar. Stimmt das? Oder kennt jemand vielleicht andere Verallgemeinerungen?
\quoteoff
Nein, z.B. ist $a^2 + b^2 = 2c^2$ nicht lösbar. (Entsprechend hat dein Vorschlag auch nicht so viel mit dem unendlichen Abstieg zu tun, da man das über unendlichen Abstieg beweisen kann.)
Deine Idee ist nett. Ich bin mir allerdings nicht sicher, wieso man dieses Struktur mit Kreisteilungspolynomen verallgemeinern wollen würde. Es ist (zumindest für mich) damit nicht klar, welche Gleichungen man überhaupt erhält und so natürlich erscheint es mir auch nicht. (Aber vielleicht hast du da noch genauere Gedanken?)
Ich bin mir nicht sicher, wie man diese Sachverhalte verallgemeinern kann, aber für Grad = 2 betrachtet man sogenannte quadratische Formen, welche in der Zahlentheorie recht gut studiert sind. Entsprechend passt dann der Satz von Hasse-Minkowski hierzu. Das passt gleichzeitig auch zum unendlichen Abstieg, denn man kann sich überlegen, dass ein unendlicher Abstieg mod $p$ durch eine Rechnung in $\mathbb{Q}_p$ ersetzt werden kann. (Ähnliches funktioniert in dieser BWM Aufgabe, es ist aber exakt das gleiche Argument.)
Mehr zu quadratischen Formen und dem unendlichen Abstieg haben schon Leute wie Euler und Lagrange betrachtet. Das wird wunderschön im Buch Primes of the Form $x^2+ny^2$ beschrieben.
Diophantische Gleichungen höherer Ordnungen sind noch viel schwieriger.
Ich finde es aber gut, dass du solche Überlegungen anstellst, sowas sollte man immer machen (eine gelöste Aufgabe bietet immer noch viel Spielraum). Ein besseres Verständnis solcher Gleichungen würde ich auch gerne sehen und persönlich würde ich da eher in Richtung quadratischer Formen gehen.
|
Profil
|
Mano
Aktiv
Dabei seit: 27.05.2020
Mitteilungen: 48
Wohnort: NRW
| Beitrag No.25, eingetragen 2020-09-21
|
Dann habe ich mich wohl nicht klar genug ausgedrückt. $a^2+b^2=2c^2$ ist lösbar ($a=b=c=1$). Ich wollte versuchen, die Gleichungen $a^2+b^2=3c^2$ und $a^2+ab+b^2=2c^2$ gemeinsam zu Verallgemeinern. Dabei habe ich an die Kreisteilungspolynome gedacht, die ja im Gegensatz zu allgemeinen Quadratischen Formen durchaus in Olympiaden nützlich sein können. (So ist zumindest meine Erfahrung bisher.) Die homogenen Kreisteilungspolynome
$\displaystyle \Phi_1(a,b)=b-a$
$\displaystyle \Phi_2(a,b)=a+b$
$\displaystyle \Phi_3(a,b)=a^2+ab+b^2$
$\displaystyle \Phi_4(a,b)=a^2+b^2$
$\displaystyle \Phi_5(a,b)=a^4+a^3b+a^2b^2+ab^3+b^4$
$\displaystyle \Phi_6(a,b)=a^2-ab+b^2$
$\displaystyle \Phi_7(a,b)=a^6+a^5b+a^4b^2+a^3b^3+a^2b^4+ab^5+b^6$
$\displaystyle \Phi_8(a,b)=a^4+b^4$
$\displaystyle \Phi_9(a,b)=a^6+a^3b^3+b^6$
$\displaystyle \Phi_{10}(a,b)=a^4-a^3b+a^2b^2-ab^3+b^4$
etc. sind ja wie die normalen Kreisteilungspolynome, nur halt homogenisiert. Letztere verschwinden im reellen, wenn das Argument $x$ die Ordnung $n$ hat, also $x^n=1$ und $x^k\neq1$ für $0[Die Antwort wurde nach Beitrag No.23 begonnen.]
|
Profil
|
Kezer
Senior
Dabei seit: 04.10.2013
Mitteilungen: 1862
| Beitrag No.26, eingetragen 2020-09-21
|
\quoteon(2020-09-21 23:23 - Mano in Beitrag No. 25)
Dann habe ich mich wohl nicht klar genug ausgedrückt. $a^2+b^2=2c^2$ ist lösbar ($a=b=c=1$).
\quoteoff
Du hast Recht, mein Fehler. :-)
\quoteon(2020-09-21 23:23 - Mano in Beitrag No. 25)
Dabei habe ich an die Kreisteilungspolynome gedacht, die ja im Gegensatz zu allgemeinen Quadratischen Formen durchaus in Olympiaden nützlich sein können.
\quoteoff
Quadratische Formen können theoretisch nützlich für Olympiaden sein, ein leichtes Beispiel ist, dass der Zwei-Quadrate-Satz von Fermat sehr schnell mit ein bisschen Theorie über quadratische Formen folgt (siehe das Buch Primes of the form $x^2+ny^2$).
Das kann man aber wahrscheinlich über die meisten (elementareren?) Tools der algebraischen Zahlentheorie sagen. Dazu gehören schließlich auch zyklotomische Polynome.
Außerdem muss/sollte man bei dem Ziel einer solchen Verallgemeinerung nicht unbedingt an die Wettbewerbsmathematik denken.
\quoteon(2020-09-21 23:23 - Mano in Beitrag No. 25)
Damit habe ich bewiesen, dass die entstehenden Gleichungen nur für geeignetes $k$ lösbar sein können.
\quoteoff
Ja, und das ist ja auch gut!
|
Profil
|
Math314
Ehemals Aktiv
Dabei seit: 24.02.2019
Mitteilungen: 80
Wohnort: Trier
| Beitrag No.27, vom Themenstarter, eingetragen 2020-11-12
|
Die endgültigen Musterlösungen und Statistiken sind übrigens mittlerweile veröffentlicht:
https://www.mathe-wettbewerbe.de/download/loes-20-2-e.pdf
https://www.mathe-wettbewerbe.de/download/stat-20-2.pdf
|
Profil
|
| Math314 hat die Antworten auf ihre/seine Frage gesehen. |
|
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die
Nutzungsbedingungen,
die Distanzierung,
die Datenschutzerklärung und das Impressum.
[Seitenanfang]
|
Home / Seite ohne Frame
Wie unterstütze ich den Matheplaneten mit Geld?
