Mathematics

Problem

\sin(30^\circ + \arctan x) = \frac{13}{14}

and

0 < x < 1

, the value of

x

\frac{a\sqrt{3}}{b}

, where

a

and

b

are positive integers with nocommon factors. Find the value of

\left(\frac{a+b}{2}\right)