مثلث، هي الدائرة التي تمر برؤوسه، ومركزها ، لنفرض أن هي نقطة تقاطع المماسين المرسومين من للدائرة ، لتكن دائرة مركزها و تمر بالنقطة ، وتقطع منصف زاوية في ، لنفرض أن هي المساقط العمودية من على الضلعين على الترتيب، و هي نقطة تقاطع المستقيم مع المستقيم ، برهن أن .