Archivo: Álgebra 1 Fecha: 21/09/2007 Hora: 5:53:43 a.m.

1
⌠ 1
#1:  ∫ [x + y] dy dx
⌡ 0
0

x ⇒ x—SIGN(x)

 1 
⌠ 1 
#2:  ∫ (y + x)—SIGN(y + x) dy dx
⌡ 0 
 0 

If x>0,

SIGN(x) ⇒ 1

 1 
⌠ 1 
#3:  ∫ (y + x) dy dx
⌡ 0 
 0 

b
∫ F(x) dx ⇒ SUBST_DIFF(∫ F(x) dx, x, a, b)
a

 1 
#4: ∫ SUBST_DIFF(∫ (y + x) dy, y, 0, 1) dx
 0 

∫ (F(x) + G(x)) dx ⇒ ∫ F(x) dx + ∫ G(x) dx

 1 
#5: ∫ SUBST_DIFF(∫ y dy + ∫ x dy, y, 0, 1) dx
 0 

2
x
∫ x dx ⇒ 
2

 1 
⌠  2  
  y  
#6:  SUBST_DIFF + ∫ x dy, y, 0, 1 dx
⌡  2  
 0 

∫ a dx ⇒ a—x

Página: 1
Archivo: Álgebra 1 Fecha: 21/09/2007 Hora: 5:53:43 a.m.

 1 
⌠  2  
  y  
#7:  SUBST_DIFF + x—y, y, 0, 1 dx
⌡  2  
 0 

SUBST_DIFF(F(x), x, a, b) ⇒ F(b) - F(a)

 1 
⌠  1  
#8:  x +  dx
⌡  2  
 0 

b
∫ F(x) dx ⇒ SUBST_DIFF(∫ F(x) dx, x, a, b)
a

 ⌠  1  
#9: SUBST_DIFF x +  dx, x, 0, 1
 ⌡  2  

∫ (F(x) + G(x)) dx ⇒ ∫ F(x) dx + ∫ G(x) dx

  ⌠ 1 
#10: SUBST_DIFF∫ x dx +   dx, x, 0, 1
  ⌡ 2 

2
x
∫ x dx ⇒ 
2

  2 
  x ⌠ 1 
#11: SUBST_DIFF +   dx, x, 0, 1
  2 ⌡ 2 

∫ a dx ⇒ a—x
  2 
  x x 
#12: SUBST_DIFF + , x, 0, 1
  2 2 

SUBST_DIFF(F(x), x, a, b) ⇒ F(b) - F(a)

#13: [1]

Página: 2