Uma reflexão de professores sobre demonstrações relativas à irracionalidade de √𝟐