Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Attività
_______________________________________________________________
_______________________________________________________________
_______________________________________________________________
U = Triangoli
3) Indicando le misure dei lati di un triangolo con a, b e c ed usando i
connettivi e ed o esprimi le definizioni di:
5) [FACOLTATIVO]
Scrivi le funzioni Equ(a,b,c), Iso(a,b,c) e Sca(a,b,c) in PARI/GP e Wolfram
Alpha
PER IL DOCENTE
Obiettivi
esprimere definizioni in un linguaggio formalizzato (logico-
matematico/informatico)
S
U =Triangoli
I S
E I
E
3) Indicando i lati di un triangolo con a, b e c ed usando i connettivi e ed o
esprimi le definizioni di:
OSSERVAZIONE: La definizione più ostica per gli allievi risulta quella del
triangolo isoscele. Per il triangolo equilatero non serve (… e c = a) (proprietà
transitiva dell’uguaglianza).
PARI/GP
Definizioni:
Equ(a,b,c) = (a==b) && (b==c)
Iso(a,b,c) = (a==b) || (b==c) || (c==a)
Sca(a,b,c) = (a<>b) && (b<>c) && (c<>a)
Utilizzo:
Equ(3,4,5)
Iso(4,6,4)
Sca(6,7,8)
WolframAlpha
(a=b & b=c) where a=6,b=6,c=6
(a=b or b=c or c=a) where a=6,b=5,c=6
(a!=b or b!=c or c!=a) where a=6,b=5,c=4
Le tre condizioni
(1) a+b>c
(2) b+c>a
(3) c+a>b
implicano già (per esempio) a>0.
Infatti:
Dalla (1) a+b>c
addiziono a ad entrambi i membri 2a+b>c+a
Dalla (3) 2a+b>c+a>b
quindi (proprietà transitiva) 2a+b>b
semplifico 2a>0
e quindi a>0
Triangolo in WolframAlpha: a+b>c & b+c>a & c+a>b where a=7, b=8, c=12