atan(2/3)+atan(1/5)=atan(1)

– Georg Wengler

Informace: atan(2/3)+atan(1/5)=atan(1)