aops, https://artofproblemsolving.com/community/c6t48f6h3418669_ltc__if_ltb45o_and_bp__pc_1__2_apc__60o__without_trigonometry

 My solution, almost synthetic, since using sin 30=0.5 cannot be synthetic