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