قضیه: ضلع روبه رو به زاویه‌ی ۳۰ درجه نصف وتر است. در مثلث قائم الزاویه‌ با اضلاع قائمه‌ی b و y  یکی از زاویه‌ها ۶۰ و دیگری ۳۰ درجه است. بنابراین داریم: $y=\frac{a}{2}$ مثلث قائم الزاویه با اضلاع قائمه‌ی b و (x+y) یک مثلث قائم الزاویه‌ی متساوی الساقین است. بنابراین داریم: $b=x+y  \to y=b-x \to a=2y=2(b-x)$