Redirecting to Pythagorean theorem proof (rational trigonometry)