قضیه فیثاغورس :

در مثلث قائم الزاویه مربع وتر برابر است با مجموع مربع های دو ضلع زاویه قائمه