Le problème du dimanche.
ENONCE COMPLETEMENT REMANIE
(A) On coupe un polyèdre convexe $P$ de $s>3$ sommets
par un plan ne contenant aucun sommet de $P$,
de manière à couper un maximum d'arêtes de $P$.
On note $k(P)$ ce nombre maximum.
On construit la fonction
$f : \mathcal{P}_s \rightarrow [0, 1]$
$\qquad P \mapsto k(P)/a(P)$
où $a(P)$ est le nombre d'arêtes de $P$
et où $\mathcal{P}_s$ est l'ensemble des polyèdres à $s$ sommets.
Soit $M(s)$ le maximum de la fonction $f$.
(A1) Que vaut $M(s)$ ?
(A2) A quoi ressemble la fonction $s\mapsto M(s)$ ?
(B) Idem, mais $P$ est supposé homéomorphe à une sphère, sans autre restriction.
P.S. $f$ atteint son maximum parce que $a(P)$ est entier et majoré par $s(s-1)/2$.
PPS. Aïe, aïe, aïe, quelle cata !
(A) On coupe un polyèdre convexe $P$ de $s>3$ sommets
par un plan ne contenant aucun sommet de $P$,
de manière à couper un maximum d'arêtes de $P$.
On note $k(P)$ ce nombre maximum.
On construit la fonction
$f : \mathcal{P}_s \rightarrow [0, 1]$
$\qquad P \mapsto k(P)/a(P)$
où $a(P)$ est le nombre d'arêtes de $P$
et où $\mathcal{P}_s$ est l'ensemble des polyèdres à $s$ sommets.
Soit $M(s)$ le maximum de la fonction $f$.
(A1) Que vaut $M(s)$ ?
(A2) A quoi ressemble la fonction $s\mapsto M(s)$ ?
(B) Idem, mais $P$ est supposé homéomorphe à une sphère, sans autre restriction.
P.S. $f$ atteint son maximum parce que $a(P)$ est entier et majoré par $s(s-1)/2$.
PPS. Aïe, aïe, aïe, quelle cata !
Réponses
-
Merci de considérer avec bienveillance l'énoncé remanié.
Je pense que $M(4)=4/6=2/3$.
Ci dessous $M(14)\geq 1/2$. -
$M(5)\geq 5/9$
-
Prenons $s=4$...
Si tu penses que $M(4)=4/6$, c'est sans doute que tu interdis les plans qui contiennent un sommet ou, ce qui revient au même, que « couper une arête », c'est la couper en dehors de ses extrémités. En effet, dans un tétraèdre $OABC$, le plan $(ABC)$ a un point commun avec chacune des arêtes. Sans cette contrainte, $M(4)=1$. Voudrais-tu préciser ?
Edit : Voudrai-je apprendre à lire en détail ?
Avec cette contrainte, considérons un plan $\Pi$ qui coupe au moins deux arêtes d'un tétraèdre $P=OABC$, disons $[OA]$ en $I$ et $[OB]$ en $J$. On se convainc que $\Pi$ ne coupe pas l'arête $[AB]$ (la trace de $\Pi$ dans le plan $(OAB)$ est la droite $(IJ)$, on voit qu'elle coupe $(AB)$ hors de $[AB]$ en considérant le triangle $OAB$). De deux choses l'une. Il se peut que $\Pi$ coupe l'arête $[OC]$ en $K$, mais alors $\Pi$ ne coupe ni $[AC]$ ni $[BC]$ (dans le plan $(OAC)$ (resp. $(OBC)$), dans lequel la trace de $\Pi$ est $(IK)$ (resp. $(JK)$), considérer le triangle $OAC$ (resp. $OBC$)) ; par conséquent, $\Pi$ coupe au plus $3$ arêtes. Sinon, $\Pi$ coupe au plus $4$ arêtes de $P$. -
$M(5)\geq 2/3$
(et sur le même modèle, on a toujours $M(n)\geq 2/3$ pour $n\geq 4$). -
Math Coss : Je cite l'énoncé : "plan ne contenant aucun sommet de "$P$.
GBZM : (tu)(tu) -
Réflexions.
Le plan P partitionne l'ensemble des sommets en l'ensemble X de sommets
situés d'un côté de P et en ensemble Y sommets situés de l'autre.
Les extrémités d'une arête coupant P sont l'une dans X et l'autre dans Y.
Si $|X|=x$ et $|Y|=y$, ça fait au plus $xy$ arêtes.
Pour connecter "convexement" les sommets de A il faut au moins $(x-1)$ arêtes,
plus $(y-1)$ pour connecter les sommets de B.
(Raisonnement à réexaminer.)
$M(x+y)$ est "donc" majoré par
$$
\frac{xy}{xy+(x-1)+(y-1)} = \frac{xy}{(x+1)(y+1)-3}
$$
Pour le polyèdre de GBZM on a $x=2$ et $y=s-2$ d'où $M(s)\geq 2/3$, comme il a dit.
Peut-on faire mieux avec $x=3$ et $y=s-3\geq 3$ ?
La construction précédente produit-elle un polyèdre, éventuellement non convexe ? -
Le polyèdre de GBZM.
-
Chaque face du polyèdre $P$ a au plus deux côtés tranchés. On a donc, pour chaque face $F$ :
$$\mathrm{card}\{\text{côtés tranchés de } F\}\leq \frac23 \mathrm{card}\{\text{côtés de } F \}\;.$$
En sommant sur toutes les faces et en divisant par $2$, on obtient :
$$\mathrm{card}\{\text{arêtes tranchées de }P\}\leq \frac23 \mathrm{card}\{\text{arêtes de }P\}\;.$$ -
Ça finit en théorème, super.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres