grid triangles and pythagoras

advanced level students (those who have covered the expansion of tan(A + B))

might like to think why it is impossible to draw an equilateral triangle joining grid points on square grid paper
[due to the irrationality of tan 60]