Non.

Déjà, avec deux parts, on peut toujours trouver une manière de garder les deux bougies sur la même part.

Oui Gasole , tout le problème est de justifier l'existence de cette bijection ou de trouver un exemple où elle n'existe pas

Vasimolo

Soit [latex]P=\{p_1,...,p_n\}[/latex] l'ensemble des parts de [latex]G_1[/latex] et [latex]P'=\{p'_1,...,p'_n\}[/latex] l'ensemble des parts de [latex]G_2[/latex].

On dira que [latex]p_i[/latex] chevauche [latex]p'_j[/latex] si et seulement si leur intersection est non-vide.

Pour chaque [latex]p_i[/latex], soit [latex]f(p_i)[/latex] l'ensemble des [latex]p'_j[/latex] que [latex]p_i[/latex] chevauche.

Soit [latex]A[/latex] l'ensemble des couples : [latex]A=\{(p_i,p'_j)/ p'_j\in f(p_i)\} [/latex] (NB : [latex]f(p_i)[/latex] n'est jamais vide de même que [latex]f^{-1}(p'_j)[/latex], donc tous les [latex]p_i[/latex] apparaissent au moins une fois, de même que les [latex]p'_j[/latex]).

Alors le graphe [latex]G=(P,P';A)[/latex] est un graphe biparti. L'existence d'une bijection [latex]b[/latex] entre [latex]P[/latex] et [latex]P'[/latex] telle que [latex]p_i\cap b(p_i)\neq \emptyset[/latex], revient à l'existence d'un couplage parfait du graphe [latex]G[/latex].

Le théorème de Hall pour les graphes précise une condition nécessaire et suffisante pour l'existence de ce couplage parfait :

Théorème de Hall pour les graphes - Un graphe biparti [latex]G=(P,P';A)[/latex] admet un couplage parfait si et seulement si pour tout sous-ensemble [latex]X[/latex] de [latex]P[/latex] (de [latex]P'[/latex], respectivement), le nombre de sommets de [latex]P'[/latex] (de [latex]P[/latex], respectivement) adjacents à un sommet de [latex]X[/latex] est supérieur ou égal à la cardinalité de [latex]X[/latex].

On vérifie que notre graphe vérifie cette condition : c'est immédiat dans la mesure où [latex]k[/latex] parts de [latex]G_1[/latex] chevauchent nécessairement au moins [latex]k[/latex] parts de [latex]G_2[/latex] et réciproquement (sinon la surface couverte par les premières serait strictement supérieure à celle couverte par les secondes ce qui n'est évidemment pas possible vu qu'elles sont de surfaces égales).

@Vasimolo : j'avoue avoir eu la flemme de redémontrer ce théorème dans ce cas particulier (hou hou !) car je pressens que c'est à ça qu'une approche plus soft va revenir... mais qui sait ?

Intéressant ce théorème de Hall (et ton énigme aussi évidemment).

Comme le découpage se fait en parts de même volume, on peut affirmer que chaque groupe de parts du 1er gâteau intersecte au moins autant de parts du 2ème.  Par le théorème de Hall, on peut donc associé à chaque part du 1er gâteau une part du 2ème gâteau qui l'intersecte. On pose alors les bougies sur ces intersections.

Il s'agît d'une des multiples utilisations du théorème des mariages , à déguster sans modération .

http://books.google.fr/books?id=1L0Ydxj … mp;f=false

Je vous laisse lire la démo de Gazole ou celle d'Irmo ( un peu moins technique ) .

Merci pour la participation

Vasimolo

Merci Shadock ,

je crois aussi , à mon corps défendant et sûrement au grand dam de certains , qu'il ne me lâchera pas de sitôt ce bougre de pâtissier

Vasimolo

Intersecter ne donne t-il point intersection en y réfléchissant un peu