Pythagorean slider proof