می نامیم . می دونیم جمع هر دوتایی از سومی بیشتره . فرض خلف می زنیم . پس هر سه تایی که انتخاب کنیم میدونیم مربع بزرگه بزرگ تر مساوی جمع مربع دوتای دیگس ( چون حاده نیست )
پس یعنی داریم
و داریم :
که تناقض داره پس حداقل یکی از این مثلث ها حاده زاویه هست .