Placing the 2 smaller squares on the larger one, we see that the sum of the areas of the corner squares must equal the area of the black central one. We reached a contradiction since we assumed a and b are the smallest integers such that a²=2b²! pic.twitter.com/2xMt3MN2zL
— Fermat's Library (@fermatslibrary) April 15, 2019