Deutsch English Français Italiano |
<6488f901$0$7628$426a74cc@news.free.fr> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.net!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed3-b.proxad.net!nnrp1-1.free.fr!not-for-mail Date: Wed, 14 Jun 2023 01:17:21 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0 Subject: =?UTF-8?B?UmU6IFLDqXNvdWRyZSB6?= Newsgroups: fr.sci.maths References: <WvYglSG7ibb9wZJKbhLY5Bl4qHk@jntp> <u695el$5j1$1@shakotay.alphanet.ch> <6488dd52$0$2973$426a74cc@news.free.fr> Content-Language: fr From: Michel Talon <talon@niobe.lpthe.jussieu.fr> In-Reply-To: <6488dd52$0$2973$426a74cc@news.free.fr> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Lines: 32 Message-ID: <6488f901$0$7628$426a74cc@news.free.fr> Organization: Guest of ProXad - France NNTP-Posting-Date: 14 Jun 2023 01:17:21 CEST NNTP-Posting-Host: 88.161.173.7 X-Trace: 1686698241 news-2.free.fr 7628 88.161.173.7:17631 X-Complaints-To: abuse@proxad.net Bytes: 2183 Le 13/06/2023 à 23:19, Thomas Alexandre a écrit : > Je me lance. Super, ton calcul répond au "miracle" que je voyais dans le mien. Effectivement (maxima): (%i1) eq1:x^2-y-73; 2 (%o1) (- y) + x - 73 (%i2) eq2:y^2-x-73; 2 (%o2) y - x - 73 (%i3) factor(eq1-eq2); (%o3) - (y - x) (y + x + 1) (%i4) ratsubst(-1-x,y,eq1); 2 (%o4) x + x - 72 (%i5) factor(%); (%o5) (x - 8) (x + 9) Le point étant que eq1 et eq2 se correspondant par x<->y, la différence eq1-eq2 s'annule pour x=y donc contient x-y en facteur. par symétrie l'autre facteur ne peut être que (x+y+cst). L'autre petit miracle est d'obtenir des solutions entières en %o5 mais ça c'est évidemment le choix de 73 dans eq1 et eq2 sachant que 9*8=72 et que la substitution y -> -x-1 dans eq1 fait passer de 73 à 72. On aurait exactement la même situation avec 8*7=56 et donc eq1:x^2-y-57 etc. -- Michel Talon