Miksi Pythagoraan lause voidaan perustella alla olevien sovellusten avulla?