|x+y|+|x-y|=2
opuszczamy wartości bezwzględne zakładając, że:
1) y>0
x<-y ∧ -x-y-x+y=2
x<-y ∧ -2x=2
x<-y ∧ x=-1
2)
-y≤x≤y ∧ x+y-x+y=2
-y≤x≤y ∧ 2y=2
-y≤x≤y ∧ y=1
3)
x>y ∧ x+y+x-y=2
x>y ∧ 2x=2
x>y ∧ x=1
Wykresem jest odcinek dla x∈<-1,1> i y=1
oraz 2 półproste x=-1 i x=1 ale dla y<1 więc wyszła taka literka PI