وتر بتوان دو مساوی است با این یکی ضلع بتوان دو بعلاوه اون یکی ضلع بتوان دو
برای اثباتش هم کافیه ای سی بتوان دو و ای بی بتوان دو یعنی با استفاده از جایگذاری روابط طولی در مثلث قائم الزاویه میتونی اثباتش کنی
ببین اون دایره های که کشیدن توشون نوشتم ۱ و ۲ و ۳ و ۴
دایره ۳ میشه فیثاغورس
ولی چون برای اثباتش از مرحله های ۱ و ۲ نتیجه گرفتیم از اثبات قبلی هاهم عکس فرستادم