Length of sides of regular hexagon $ABCDEF$ is $a$. Two moving points $M,N$ moves on sides $BC,DE$, satisfy that $\angle MAN=\frac{\pi}{3}$. Prove that $AM\cdot AN-BM\cdot DN$ is a definite value.
Source: 2017 China Northern MO, Grade 11, Problem 5
Tags: geometry
Length of sides of regular hexagon $ABCDEF$ is $a$. Two moving points $M,N$ moves on sides $BC,DE$, satisfy that $\angle MAN=\frac{\pi}{3}$. Prove that $AM\cdot AN-BM\cdot DN$ is a definite value.