Prove that it is impossible to draw a convex quadrangle, with one diagonal equal to doubled another, the angle between them 45 degrees, on the coordinate plane, so, that all the vertices' coordinates would be integers.
lattice pointscoordinatesIntegergeometry