La soluzione più corta del (b) che sia riuscito a trovare
Supponiamo per assurdo le facce siano in numero dispari. Allora per il punto (a) sono quadrilateri. Inoltre vale
V =
F + 2, basta sostituire il numero di spigoli
S = 2
F. Inoltre esistono vertici in cui concorrono 3 facce: se infatti così non fosse allora sarebbe $ 4V \leq 4F $, ma $ 4V = 4F+8 $, assurdo.
Piccola premessa su poliedri simmetrici rispetto ad una qualche retta. Questa retta interseca il contorno del poliedro in due punti poiché il poliedro è convesso, e i due punti sono un vertice e un punto interno ad una faccia. Se la retta non passasse per una faccia allora con la simmetria le facce si scambierebbero a coppie e sarebbero quindi in numero pari, assurdo. Per lo stesso motivo l'asse di simmetria deve passare per un vertice; anche gli
F + 2 vertici sono in numero dispari.
In questi quadrilateri non ci può essere un lato di lunghezza differente rispetto a tutti gli altri. In tal caso infatti, il numero delle facce sarebbe il doppio del numero degli spigoli di quella lunghezza (ad ogni spigolo aderiscono due facce, tutte le facce sono contate poiché ogni faccia ha un lato di quella lunghezza, e ogni faccia è contata una volta sola perché ha solo un lato di quella lunghezza), ma allora le facce sono pari, assurdo. Quindi in ogni faccia o ci sono due coppie di lati di ugual lunghezza o tutti i lati hanno ugual lunghezza. Il caso dei parallelogrammi (lati di ugual lunghezza non sono adiacenti) si scarta abbastanza facilmente: c'è un vertice in cui concorrono 3 facce quindi 3 spigoli, due devono essere di ugual lunghezza perché ci sono solo 2 lunghezze disponibili, ma nelle facce gli spigoli adiacenti hanno lunghezza diversa. Per il caso dei deltoidi (due coppie di lati di ugual lunghezza e adiacenti) dobbiamo evocare il lemmino sulle simmetrie rispetto ad una retta.

Siano
x e
y le lunghezze dei lati del deltoide. Consideriamo un vertice in cui concorre un angolo tra un lato
x e un lato
y di una faccia. Consideriamo un verso di rotazione per gli spigoli uscenti dal vertice. Se ci sono più spigoli consecutivi della stessa lunghezza allora dove finisce la serie di spigoli consecutivi troviamo due facce che si portano una nell'altra solo con una simmetria rispetto ad una retta passante per il punto medio dello spigolo in comune, e questa simmetria deve conservare il poliedro per ipotesi, ma ciò non può essere per il lemma. Se invece gli spigoli sono di lunghezze alternate allora ci sono un numero pari di facce che concorrono nel vertice e due facce opposte si possono portare una nell'altra solo mediante una simmetria rispetto ad una retta passante per il vertice che deve conservare il poliedro per ipotesi, ma allora l'asse di simmetria passa per una faccia del poliedro per il lemma e allora le facce del poliedro sono a simmetria centrale, quindi sono parallelogrammi, quindi rombi. Guardate le figure, i "solo" sono giustificati dal fatto che i deltoidi sono orientati (le simmetrie centrali o rispetto ad un piano non valgono per ipotesi, solo le rotazioni).
Quindi scopriamo che le facce del nostro poliedro sono rombi. Innanzitutto notiamo che non possono essere quadrati. Ai vertici di un poliedro convesso devono concorrere angoli con somma totale inferiore a $ 2\pi $ (di più il poliedro sarebbe concavo, uguale avremmo due facce adiacenti nello stesso piano che si portano una nell'altra o con una traslazione che evidentemente non va bene o con una rotazione centrata nel punto medio dello spigolo in comune che non va bene per il lemma), quindi possiamo solo avere vertici con 3 quadrati che vi concorrono, ma allora si tratta di un frinkaedro che ha 6 facce, un numero pari.

Siano $ \alpha > \beta $ i due angoli del rombo. Nello stesso vertice non possono concorrere due tipi di angolo diversi. Se infatti fosse così avremo due rombi che possono essere portati uno nell'altro o con una rotazione centrata nel punto medio dello spigolo che non va bene oppure con una rotazione che porti il lato
a nel lato
b in figura, ma allora i due vertici all'estremità del lato
b dovrebbero essere congruenti. Tuttavia l'altro rombo che ha lo spigolo
b nel bordo ha all'estremità di quello spigolo angoli diversi, perciò nel vertice dovrebbero concorrere almeno due angoli di ogni tipo per un totale $ \geq 2\pi $. Quindi in ogni spigolo concorrono solo angoli dello stesso tipo, e in particolare, essendo $ \alpha $ ottuso essi possono concorrere solo in vertici da 3 facce. Ciò vuol dire che $ \alpha < \frac{2\pi}{3} $ e che quindi $ \beta > \frac{\pi}{3} $ e che quindi in un vertice concorrono al massimo 5 angoli $ \beta $. Ciò vuol anche dire che il totale degli angoli $ \alpha $ nel poliedro, e quindi delle sue facce, è multiplo di 3. Riepilogando abbiamo 3
k facce, 3
k + 2 vertici e 12
k angoli di cui 6
k $ \alpha $ e altrettanti $ \beta $. 2
k vertici servono a sistemare gli $ \alpha $, ne rimangono
k + 2 per i 6
k $ \beta $. Massimo 5 angoli $ \beta $ per vertice, perciò $ 5(k+2) \geq 6k $ e $ k \leq 10 $. Le 3
k facce devono essere in numero dispari, perciò
k = 3, 5, 7, 9.
Caso
k = 9. Ho 27 facce e 29 vertici e ne uso 18 per sistemare 54 angoli $ \alpha $. Ne rimangono 11 per 54 $ \beta $, ossia dieci vertici da 5 e uno da 4; ma i rombi attaccati a questo da 4 non possono essere portati negli altri 50 senza alterare il poligono, semplicemente perché gli altri non sono attaccati a vertici da 4.
Caso
k = 7. 21 facce, 23 vertici, 14 per i 42 $ \alpha $, 9 per altrettanti $ \beta $, ossia 5, 5, 5, 5, 5, 5, 5, 4, 3; i 3 rombi attaccati al vertice da 3 non possono essere portati negli altri; oppure 5, 5, 5, 5, 5, 5, 4, 4, 4; i massimo 12 rombi attaccati a vertici da 4 non possono essere portati negli altri.
Caso
k = 5. 15 facce, 17 vertici, 10 per i 30 $ \alpha $, 7 per altrettanti $ \beta $, cioè 5, 5, 5, 5, 4, 3, 3; stesso problema per i rombi attaccati al vertice da 4; oppure 5, 5, 5, 4, 4, 4, 3; ci risiamo per i rombi attaccati al vertice da 3; o infine 5, 5, 4, 4, 4, 4, 4; stessa cosa per i massimo 10 rombi attaccati ai vertici da 5.
Caso
k = 3. 9 facce, 11 vertici, 6 per i 18 $ \alpha $, 5 per altrettanti $ \beta $, quindi 5, 4, 3, 3, 3; non va bene per le 5 facce del vertice da 5; oppure 4, 4, 4, 3, 3, non va bene per le massimo 6 facce attaccate ai vertici da 3.