Derivação da Expressão para ηs nas Fórmulas de Frenet

Já vimos que ts ks ηs 0ts ks ηs 0bs bs ts ηs 0ts τs ηs 0bs Vamos obter a expressão para ηs como ηs bs x ts Derivamos ηs bs x ts bs x ts ts ηs ts bs x ks ηs τs ηs x ts ks bs x ηs τs bs ks ts ks ts ηs 0τs bs Resumindo se α I R³ é uma curva regular PPCA e tal que ks 0 s I então o triado de Frenet definido por ts ks ηs ks ts ts ts ηs 0 0 bs ts ηs satisfaz as equações que são denominadas fórmulas de Frenet