Udled...?

Ja.

Der er mange bevistyper og "Udledning" er en af dem.

Når du udleder, starter du et sted (her fx med to ensvinklede, retvinklede trekanter, hvoraf den ene har en hypotenuse på 1) og så arbejder du dig henimod et udtryk for det, du gerne vil vide noget om (her cos(v), sin(v) og tan(v)) ved at anvende relevant tilgængelig viden.
I princippet behøver du slet ikke på forhånd vide, hvordan formlerne skal se ud, men det kan nu være rart nok at have dem i baghovedet som støtte.

Ved andre bevistyper, tager du udgangspunkt i det, du vil vise, og arbejder dig så frem til, at det er sandt.

# 2
"...  men det kan nu være rart nok at have dem i baghovedet som støtte".
Ja, - det er ligesom, når de laver mad på TV: "Vi har snydt lidt i forvejen".

Må man godt udlede med konkrete tal?

Det er bedre at udlede generelle formler (altså uden tal)
Se video nr. 13 og/eller 14 på denne videoliste < LINK >

Tegn enhedscirklen og en linje gennem centrum og linjen forlænget ud over cirkelperiferien.
Nedfæld, på x-aksen, den vinkelrette fra linjens skæring med periferien.
Nedfæld endvidere, på x-aksen, den vinkelrette fra et punkt på linjen udenfor cirklen.
Man har nu to ensvinklede, retvinklede, trekanter, hvor man, i trekanten indenfor cirklen, kender
alle tre sider og kan derudfra beregne den største trekants tre sider. Hermed får vi formlerne
for cos og sin i alle retvinklede trekanter.
# 4 Man kan godt gøre prøve med vilkårligt valgte tal, men det betyder ikke, at man har vist, hvad man skal.