Problem (Léo Sauvé): Bir üçgenin açıları $A$, $B$, $C$ olsun. $A=B=45^\circ$ için
$$ \cos A \cos B + \sin A \sin B \sin C = 1$$
eşitliğinin sağlandığını görmek kolaydır. Bu önermenin karşıtı doğru mudur?