DK ⊥ AB по теореме о трех перпендикулярах
∠ DCK - линейный угол двугранного угла между пл. ABD и АВС.
СК=a/2 ( катет против угла ∠ А=30 ° в прямоугольном треугольнике АСК)
В прямоугольном треугольнике DKC
tg ∠ DKC=DC/CK=sqrt(3)
tg ∠ DKC=60 °