Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: efji <efji@efi.efji>
Newsgroups: fr.sci.maths
Subject: =?UTF-8?B?UmU6IFRow6lvcsOobWUgZGUgU3R1cm0=?=
Date: Tue, 12 Dec 2023 11:48:31 +0100
Organization: A noiseless patient Spider
Lines: 16
Message-ID: <ul9dpv$3kfej$1@dont-email.me>
References: <65781ae1$0$7759$426a74cc@news.free.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 12 Dec 2023 10:48:32 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="fa2ef901a663d1beea5770ee59136bbc";
	logging-data="3816915"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/52WvqXTR82WWIr+Xipebp"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:8ZmOVcv2PKbCUBjoKX5h7Y5NHcg=
In-Reply-To: <65781ae1$0$7759$426a74cc@news.free.fr>
Content-Language: fr, en-US
Bytes: 1553

Le 12/12/2023 à 09:33, ast a écrit :
> Un théorème que je découvre ce matin:
> 
> Tout quadrilatère articulé peut être inscrit dans un cercle

Ce n'est pas ce qu'on appelle habituellement le théorème de Sturm.
Le théorème de Sturm concerne la structure des racines d'un polynôme à 
coefficients réels. Il utilise la séquence de Sturm où on regarde les 
restes des divisions euclidiennes successives du polynôme par sa 
dérivée, puis de la dérivée par le reste etc.

https://en.wikipedia.org/wiki/Sturm%27s_theorem

-- 
F.J.