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