Hemen açıklayalım nedenini :)
Öncelikle haklısınız blogda bahsedilen ifade her koşulda sağlanmayacaktır (özdeşlik değil), çözüm kümesi tek elemanlı olan ({3}) bir denklemdir. Öncelikle bahsi geçen ifade ve koşullarını yazalım:
Hadi bu ifadeyi biraz düzenleyelim.
İfadenin sağ tarafındaki ifadeden eksiltelim.
Çözüm kümesi için çarpılan iki ifadeden birinin sıfır olması gerekir.
Çözüm kümesinden şartları sağlamayan elemanlar çıkarılır.
Çözüm kümesi bulunur:
Dolayısıyla Kaya Barış Demirhan'ın ifadesi çözüm kümesi {3} olan bir denklemdir.
"denediğimde her koşulda oluyor" demiş, sanırım kendisi ya sadece üç için denedi ya iki ve üç için deneyip koşulları gözden kaçırdı ya da işlem hatası yaptı.
"Bu formülu nereye bildiriceğimi veya daha önce bulunup bulunmadığına emin olamadım yardımcı olursanız sevinirim." demişsiniz. Telaşlanmanıza gerek yok şu an için. İyi günler dilerim.