% A couple of useful results to add to trig@trig_basic % DRL
trig_aux: THEORY
BEGIN
IMPORTING trig@trig_basic
a,b: VAR real
i: VAR int
sin_cos_eq_0: LEMMANOT (sin(a) = 0 AND cos(a) = 0)
eq_iff_periodic: LEMMA sin(a) = sin(b) AND cos(a) = cos(b) IFF EXISTS i: a = b + 2*i*pi
END trig_aux
Messung V0.5 in Prozent
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.0Bemerkung:
(vorverarbeitet am 2026-04-27)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
