Outras divisões

\(\DeclareMathOperator{\sen}{sen}\) \(\DeclareMathOperator{\arctg}{arctg}\)

Se, dado um polígono inicial de \(n\) lados cujas abcissas dos vértices são \(x_r\), com \(r\in\{0,1,\ldots,n-1\}\), unirmos os pontos que dividem cada lado em dois segmentos cujo comprimento é, respectivamente, \(p\) e \(1-p\) vezes maior do que o comprimento desse lado, com \(0 < p < 1\), obtemos um novo polígono de \(n\) lados cujas abcissas dos vértices são dadas por \[x'_r-x_r\;=\;p(x_{r+1}-x_r) \] ou seja, \[x'_r\;=\;(1-p)x_r+p x_{r+1} \] onde \(x_n=x_0\). Consideremos a representação de Fourier das abcissas \(x_r\) dada por \[x_r\;=\;\sum_{j=0}^{\lfloor n/2\rfloor} \left(P_j\cos\frac{2jr\pi}{n}+Q_j\sen\frac{2jr\pi}{n}\right) \] onde \(\lfloor n/2\rfloor=m\) representa a parte inteira de \(n/2\). Escrevendo o vector \((P_j,Q_j)\) na forma polar \((C_j \cos\theta_j,C_j \sen\theta_j)\) temos \[x_r\;=\;\sum_{j=0}^m C_j \cos\left(\frac{2jr\pi}{n}-\theta_j\right) \] Então, vem \[\begin{array}{ll}x'_r & =\;(1-p)x_r+p x_{r+1}\;=\\ & =\;\sum_{j=0}^m C_j\left( (1-p)\cos\left(\frac{2jr\pi}{n}-\theta_j\right)+ p\cos\left(\frac{2jr\pi}{n}-\theta_j+ \frac{2j\pi}{n}\right)\right)\;=\\ & =\;\sum_{j=0}^m C_j d_j \cos\left(\frac{2jr\pi}{n}-\theta_j+\psi_j\right) \end{array}\] onde \[d_j\;=\;\sqrt{\left((1-p)+p\cos\frac{2j\pi}{n}\right)^2+ \left(p\sen\frac{2j\pi}{n}\right)^2}\;=\; \sqrt{1-2p(1-p)(1-\cos\frac{2j\pi}{n})} \] e \[\psi_j\;=\;\arctg\frac{p\sen\frac{2j\pi}{n}}{(1-p)+ p\cos\frac{2j\pi}{n}} \] Mais geralmente, vem \[x_r^{(k)}\;=\;(1-p)x_r^{(k-1)}+p x_{r+1}^{(k-1)}\;=\; X+\sum_{j=1}^m C_j d_j^k \cos\left(\frac{2jr\pi}{n}-\theta_j+k\psi_j\right) \] Quando \(k\) tende para infinito, todas as parcelas do somatório acima tendem mais rapidamente para zero do que a primeira, pelo que podemos desprezá-las e fazer a seguinte aproximação: \[x_r^{(k)}\;\approx\;X+C_1 d_1^k \cos\left(\frac{2r\pi}{n}-\theta_1+k\psi_1\right) \] para um valor de \(k\) elevado. Fazendo \(C=C_1 d_1^k\) e \(\theta=\theta_1-k\psi_1\), vem \[x_r^{(k)}\;\approx\;X+C \cos\left(\frac{2r\pi}{n}-\theta\right) \] ou seja, \[x_r^{(k)}\;\approx\;X+P\cos\frac{2r\pi}{n}+Q\sen\frac{2r\pi}{n} \] onde \(P=C\cos\theta\) e \(Q=C\sen\theta\). Analogamente, temos \[y_r^{(k)}\;\approx\;Y+R\cos\frac{2r\pi}{n}+S\sen\frac{2r\pi}{n} \] e, considerando pontos no espaço, \[z_r^{(k)}\;\approx\;Z+T\cos\frac{2r\pi}{n}+U\sen\frac{2r\pi}{n} \] Assim, analogamente ao que acontecia nos processos anteriores, temos que os pontos \(P_{r}^{(k)}\) aproximam-se cada vez mais dos vértices de um polígono que se obtém aplicando uma função linear a um polígono regular de \(n\) lados centrado na origem, seguida de uma translação, estando este também inscrito numa elipse centrada em \((X,Y,Z)\) e mantendo-se as relações de paralelismo existentes nos segmentos do polígono regular para os respectivos segmentos do polígono obtido.

Notemos também que, dados \(a\) e \(b\) inteiros tais que \(p\approx\frac{a}{b}\) temos \[x_r^{(k+b)}\;\approx\;X+C_1 d_1^{k+b} \cos\left(\frac{2r\pi}{n}-\theta_1+(k+b)\psi_1\right) \] \[x_r^{(k+b)}-X\;\approx\;C_1 d_1^k d_1^b \cos\left(\frac{2r\pi}{n}-\theta_1+k\psi_1+b\psi_1\right) \] \[x_r^{(k+b)}-X\;\approx\;d_1^b C_1 d_1^k \cos\left(\frac{2(r+a)\pi}{n}-\theta_1+k\psi_1+b\psi_1-\frac{2a\pi}{n}\right) \] Como \[x_{r+a}^{(k)}-X\;\approx\;C_1 d_1^k \cos\left(\frac{2(r+a)\pi}{n}-\theta_1+k\psi_1\right) \] vem \[x_r^{(k+b)}-X\;\approx\;d_1^b (x_{r+a}^{(k)}-X) \] desde que seja válida a aproximação \(b\psi_1\approx\frac{2a\pi}{n}\), ou seja, \(\psi_1\approx p\frac{2\pi}{n}\) De facto, temos \[\psi_1\;=\;\arctg\frac{p\sen\frac{2\pi}{n}}{(1-p)+ p\cos\frac{2\pi}{n}}\;=\; p\frac{2\pi}{n}+\frac{p(1-p)(1-2p)}{6}\left(\frac{2\pi}{n}\right)^3+\ldots \] pelo que, para valores de \(n\) elevados, faz-se a aproximação \(\psi_1\approx p\frac{2\pi}{n}\). Assim, os pontos que se obtém aplicando \(b\) vezes o processo dado são, aproximadamente, os mesmos pontos que se obtém por uma homotetia de centro no centro de gravidade desse polígono e de razão \(d_{1}^{b}\), sendo a aproximação tanto melhor quanto maiores forem os valores de \(k\) e \(n\). No entanto, é preciso ter em conta que, atendendo à aproximação efectuada, pode haver uma diferença entre a forma de um polígono e a do polígono que se obtém aplicando \(b\) vezes o processo dado, e essa diferença pode não tender para zero quando \(k\) tende para infinito (ou seja, após um número elevado de iterações). De facto, tal acontece sempre, excepto quando \(p=1/2\), o que corresponde ao processo de bissecção. Se, por exemplo, tivermos \(p=2/3\), o que corresponde ao processo de trissecção, então existe sempre essa diferença, tal como foi verificado.