Pythagorean theorem proof using similarity