Пусть у нас есть прямоугольный треугольник ABC с прямым углом B и BC=AC/2. Продлим катет CB влево на длину равную BC. Поставим там точку C1. тогда треугольник ABC1= треугольнику ABC по двум сторонам и углу между ними, => AC1=AC. C1B=BC=AC/2 , => 2BC=CC1=AC
Имеем: AC1=AC=CC1 , => треугольник ABC1 равносторонний, причём AB- высота в этом треугольнике, => она также и биссектриса,=> угол BAC=60/2=30
Ч.т.д.