Olá,
acho que achei uma saida..
exp(ak * i) - exp(a * i) = -2i * sen[a/2 * (k-1)] * exp[a/2 * (k+1) * i]
logo: || exp(ak * i) - exp(a * i) || = 2 * sen[a/2 * (k-1)]
assim: \prod_{k=2}^{n} || exp(ak * i) - exp(a * i) || = \prod_{k=2}^{n} 2 * sen[a/2 * (k-1)]
basta tomar: a = 2*pi/n .... a/2 = pi/n
logo: (A1A2)*(A1A3)*...*(A1An) = \prod_{k=2}^{n} 2 * sen[pi/n * (k-1)] = 2^(n-1) * sen(pi/n) * sen(2pi/n) * ... * sen[(n-1)pi/n]
agora, basta provarmos que: 2^(n-1) * sen(pi/n) * sen(2pi/n) * ... * sen[(n-1)pi/n] = n
-------------------------------------------------------------------------------------------
eu tbm cheguei ateh aih cara(naum assim,mas com lei dos cossenos)
daih eh q tah foda de sair
:/
vlw!