\( \newcommand{\abcp}[3]{\frc{#1+\sqrt{#2}}{#3}} \newcommand{\chao}[1]{\left\lfloor #1 \right\rfloor } \newcommand{\nPr}[2]{{}^{#1}A_{#2} } \newcommand{\combin}[2]{{}^{#1}C_{#2} } \newcommand{\cmod}[3]{#1 \equiv #2\left(\bmod {}{#3}\right)} \newcommand{\frc}[2]{\displaystyle\frac{#1}{#2}} \newcommand{\mdc}[2]{\left( {#1},{#2}\right)} \newcommand{\mmc}[2]{\left[ {#1},{#2}\right]} \newcommand{\cis}{\mathop{\rm cis}} \newcommand{\ImP}{\mathop{\rm Im}} \newcommand{\ReP}{\mathop{\rm Re}} \newcommand{\sen}{\mathop{\rm sen}} \newcommand{\tg}{\mathop{\rm tg}} \newcommand{\cotg}{\mathop{\rm cotg}} \newcommand{\cosec}{\mathop{\rm cosec}} \newcommand{\cotgh}{\mathop{\rm cotgh}} \newcommand{\cosech}{\mathop{\rm cosech}} \newcommand{\sech}{\mathop{\rm sech}} \newcommand{\sh}{\mathop{\rm sh}} \newcommand{\ch}{\mathop{\rm ch}} \newcommand{\th}{\mathop{\rm th}} \newcommand{\senEL}[1]{\mathop{\rm sen}^{#1}} \newcommand{\tgEL}[1]{\mathop{\rm tg}^{#1}} \newcommand{\cotgEL}[1]{\mathop{\rm cotg}^{#1}} \newcommand{\cosecEL}[1]{\mathop{\rm cosec}^{#1}} \newcommand{\shEL}[1]{\mathop{\rm sh^{#1}}} \newcommand{\chEL}[1]{\mathop{\rm ch^{#1}}} \newcommand{\thEL}[1]{\mathop{\rm th^{#1}}} \newcommand{\cotghEL}[1]{\mathop{\rm cotgh^{#1}}} \newcommand{\cosechEL}[1]{\mathop{\rm cosech^{#1}}} \newcommand{\sechEL}[1]{\mathop{\rm sech^{#1}}} \newcommand{\senq}{\senEL{2}} \newcommand{\tgq}{\tgEL{2}} \newcommand{\cotgq}{\cotgEL{2}} \newcommand{\cosecq}{\cosecEL{2}} \newcommand{\cotghq}{\cotghEL{2}} \newcommand{\cosechq}{\cosechEL{2}} \newcommand{\sechq}{\sechEL{2}} \newcommand{\shq}{\shEL{2}} \newcommand{\chq}{\chEL{2}} \newcommand{\arctg}{\mathop{\rm arctg}} \newcommand{\arcsen}{\mathop{\rm arcsen}} \newcommand{\argsh}{\mathop{\rm argsh}} \newcommand{\argch}{\mathop{\rm argch}} \newcommand{\argth}{\mathop{\rm argth}} \newcommand{\Var}{\mathop{\rm Var}} \newcommand{\vect}[1]{\overrightarrow{#1}} \newcommand{\tr}[1]{ \textnormal{Tr}\left({#1}\right)} \newcommand{\C}{\mathbb{C}} \newcommand{\E}{\mathbb{E}} \newcommand{\H}{\mathbb{H}} \newcommand{\I}{\mathbb{I}} \newcommand{\K}{\mathbb{K}} \newcommand{\N}{\mathbb{N}} \newcommand{\P}{\mathbb{P}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\til}{\sim} \newcommand{\mdc}{\mathop{\rm m.d.c.}} \newcommand{\mmc}{\mathop{\rm m.m.c.}} \newcommand{\vect}[1]{\overrightarrow{#1}} \newcommand{\dfrc}{\displaystyle\frac} \newcommand{\Mod}[1]{\ (\mathrm{mod}\ #1)} \)

domingo, 24 de maio de 2026

cis está cientificamente errado?

Este deve ser o texto mais picuinhas deste blog, peço desculpa ao leitor por isso.
 
Recentemente, num grupo no facebook, alguém perguntou se a "notação $\cis(\theta)$" é permitida em exame nacional.
A notação caiu em desuso desde que em 2017/2018 entrou em vigor o programa das metas curriculares para Matemática A, 12º, e nenhuma das versões seguintes voltou a utilizá-la.

No entanto, alguém comentou que a notação está "cientificamente incorrecta" por ser uma abreviatura.

De $\cis (\theta)$ = cos ( $\theta$ ) + i sin( $\theta$ )  )
Perdão?

Esse é o argumento mais facilmente refutável que me apareceu, pois com ele morriam, por exemplo as notações

  • $\lim$ que é abreviatura de limite
  • $\log$ que é abreviatura de logaritmo
  • $\ln$ que é abreviatura de logaritmo natural
  • $\sin$ que é abreviatura de sinus
  • $\cos$ que é abreviatura de cosinus

Nem vou falar de $\exp$.

Dizer que $\cis$ está errado por ser abreviatura é o mesmo que dizer que não se pode escrever $\tan(x)$ e que se exige sempre a escrita por extenso de 'tangente'.

"Científicamente errada" não está!

Que a versão recorrendo à exponencial complexa seja preferível em muitos contextos, compreendo, e até concordo com ela nesses contextos.
Para evitar chatices em avaliações, todos os alunos devem utilizar as notações dos seus professores.
Não estou aqui para discutir picuinhices.
Fora desse contexto, desde que se definam as funções  correctamente, podem até criar e usar a notação que vos apetecer, desde que tenham informado adequadamente todo o público alvo.

Agora vamos lá definir rigorosamente a função $\cis$ de $\R$ em $\C$:

$$ \begin{aligned} \text{cis} \colon \R &\to \C \\ \theta &\mapsto \cos(\theta) + i\sin(\theta) \end{aligned} $$

Pode, e deve, confirmar que a função está bem definida.

A notação $\cis$ foi popularizada por matemáticos, nomeadamente por William Rowan Hamilton (o criador dos Quaterniões) no século XIX.

Eu uso-a quando não quero usar a versão exponencial ( por exemplo, se a exponencial complexa ainda não foi definida ), mas citar-me a mim como justificação é má política académica.

Por exemplo a notação $\cis$ é usada em, 

Transition to Higher Mathematics: Structure and Proof - 2ª edição (2015) — Bob A. Dumas & John E. McCarthy

  • Define explicitamente Cis(θ) (com maiúscula) logo no capítulo de números complexos.
  • Usa de forma consistente ao longo da secção (raízes, operações polares, etc.).
  • PDF aberto e gratuito (pode descarregar: qualquer pessoa pode verificar) em https://www.math.wustl.edu/~mccarthy/SandP2.pdf
Outro exemplo, em francês:
Estou a citar fontes facilmente verificáveis, não quero citar livros que só alguns podem verificar sem gastos extra.

Já que estamos na era das AIs, podem confirmar com elas.
Se é amplamente utilizada? Não.
Se tenciono torná-la a norma? Obviamente não.

A notação exponencial tem muitas vantagens, como por exemplo regras como "a exponencial da soma é o produto das exponenciais" 

E depois de definir a função exponencial complexa, temos uma transição natural.

O que não gosto da notação exponencial, quando não se define antes a função exponencial complexa resume-se a isto:
Não se justifica a um aluno que desconhece séries de potências e equações diferenciais porque se usa justamente o número de Neper (constante de Euler) naquela notação e não outro número real positivo qualquer.
É uma omissão com a qual consigo viver pois desperta a curiosidade de alguns alunos e leva-os a explorar e questionar.

O desuso de $\cis$ não se deve a qualquer erro científico mas sim a preferências educativas, pessoais ou académicas.

PS: escrito, por mim, em 2013 https://cpaulof2.blogspot.com/2013/05/de-uma-equacao-diferencial-ate-relacao.html , com base em algo que fiz em 1995.

Sem comentários:

Enviar um comentário