Let be any tree positive constants. Let be a triangle with sides and angles Let P be an interior point and let be the foot of the perpendicular from P to the side opposite . Denote and .Then
อนุญาตเป็นต้นไม้คงบวกใด ๆ อนุญาตเป็นรูปสามเหลี่ยมที่มีด้านและมุมให้ P เป็นจุดภายในและแจ้งให้เป็นเชิงตั้งฉากจาก P เพื่อตรงข้ามด้านข้างได้. แสดงว่าและจากนั้น