1.1 ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ

Η εξίσωση αx + βy = γ

Στο Γυμνάσιο διαπιστώσαμε με τη βοήθεια παραδειγμάτων ότι η εξίσωση

αx + βy = γ, με α ≠ 0  ή  β ≠ 0 ,

που λέγεται γραμμική εξίσωση, παριστάνει ευθεία γραμμή. Στη συνέχεια θα αποδείξουμε το συμπέρασμα αυτό ως εξής :

Διακρίνουμε δύο περιπτώσεις :

• Αν , β ≠ 0 , τότε η εξίσωση γράφεται :

αx + βy = γ ⇔ βy = -αx + γ
⇔ y = -$\dfrac{α}{β}$x + $\dfrac{γ}{β}$ ,

Επομένως η εξίσωση αυτή παριστάνει ευθεία που έχει συντελεστή διεύθυνσης λ = -$\dfrac{α}{β}$ και τέμνει τον άξονα y'y στο σημείο $\dfrac{γ}{β}$ .

Ειδικότερα :

✔ Αν α ≠ 0 , τότε η ευθεία τέμνει και τους δύο άξονες (Σχ. α΄), ενώ

✔ Αν α = 0 , τότε η εξίσωση παίρνει τη μορφή y = $\dfrac{γ}{β}$ και επομένως παριστάνει ευθεία που είναι παράλληλη στον άξονα x'x και τέμνει τον άξονα y'y στο σημείο $\dfrac{γ}{β}$(Σχ. β΄).

• Αν β = 0 (οπότε α ≠ 0), τότε η εξίσωση γράφεται

αx = γ ⇔ x = $\dfrac{γ}{α}$

Επομένως η εξίσωση αυτή παριστάνει ευθεία που είναι παράλληλη στον άξονα y'y και τέμνει τον άξονα x'x στο σημείο $\dfrac{γ}{α}$ .

Για παράδειγμα :

Μικροπείραμα

Για παράδειγμα, το ζεύγος (4,-1) είναι λύση της εξίσωσης x − 2y = 6, αφού 4 − 2(−1) = 4 + 2 = 6. Διαπιστώνουμε, όμως, ότι και τα ζεύγη (16,5), (−10, −8) είναι λύσεις της εξίσωσης και γενικά ότι κάθε ζεύγος της μορφής (k, $\dfrac{1}{2}$k−3), k ∈ ℝ είναι λύση της εξίσωσης.

Γραμμικό σύστημα 2 x 2

Όταν έχουμε δύο γραμμικές εξισώσεις αx+βy=γ και α΄x+β΄y=γ΄ και ζητάμε τις κοινές λύσεις αυτών, τότε λέμε ότι έχουμε να λύσουμε ένα γραμμικό σύστημα δύο εξισώσεων με δύο αγνώστους ή, πιο σύντομα, ένα γραμμικό σύστημα 2 x 2 και γράφουμε

Κάθε ζεύγος αριθμών που επαληθεύει και τις δύο εξισώσεις του συστήματος λέγεται λύση του συστήματος.
Στο Γυμνάσιο μάθαμε μεθόδους επίλυσης γραμμικών συστημάτων. Η επίλυση ενός γραμμικού συστήματος γίνεται με κατάλληλη μετατροπή του σε άλλο γραμμικό σύστημα το οποίο έχει ακριβώς τις ίδιες λύσεις με το αρχικό. Τα δύο αυτά συστήματα λέγονται ισοδύναμα συστήματα.
Η μετατροπή ενός συστήματος σε ισοδύναμό του γίνεται συνήθως με έναν από τους εξής δύο τρόπους :

• Λύνουμε τη μια εξίσωση του συστήματος ως προς έναν άγνωστο και τον αντικαθιστούμε στην άλλη εξίσωση.

• Αντικαθιστούμε μια από τις εξισώσεις (ε) ή (ε') του συστήματος, π.χ. την (ε), με την εξίσωση « λ(ε) + λ'(ε') » που προκύπτει, αν στα μέλη της (ε) πολλαπλασιασμένα με λ≠0, προσθέσουμε τα μέλη της (ε') πολλαπλασιασμένα με λ'.

Η εξίσωση  λ(ε) + λ'(ε') λέγεται γραμμικός συνδυασμός των εξισώσεων (ε) και (ε').

Η απόδειξη του ότι τα συστήματα που προκύπτουν από τις παραπάνω μετατροπές είναι ισοδύναμα στηρίζεται στις παρακάτω ιδιότητες της ισότητας που είδαμε στο 2o κεφάλαιο του βιβλίου της Α´ Λυκείου:

✔ Αν γ ≠ 0, τότε: α = β ⇔ αγ = βγ

✔ Αν α=β και γ=δ , τότε α+γ = β+δ.

Έστω, για παράδειγμα, ότι θέλουμε να λύσουμε το σύστημα :

Θα λύσουμε το σύστημα με τις δύο μεθόδους που μάθαμε στο Γυμνάσιο, τη μέθοδο της αντικατάστασης και τη μέθοδο των αντιθέτων συντελεστών (ή μέθοδο της απαλοιφής)

Μέθοδος της αντικατάστασης

Λύνουμε τη μία από τις δύο εξισώσεις ως προς έναν άγνωστο, π.χ. την (1) ως προς x. Έτσι το σύστημα είναι ισοδύναμο με το

Αντικαθιστούμε στη δεύτερη εξίσωση το x με την παράσταση που βρήκαμε και λύνουμε την εξίσωση που προκύπτει

3(2y + 6) + 4y = 8 ⇔ 6y + 18 + 4y = 8
⇔ 10y = -10
⇔ y = -1

Έτσι το σύστημα είναι ισοδύναμο με το

Αντικαθιστούμε την τιμή του y στην πρώτη εξίσωση και υπολογίζουμε τον άλλο άγνωστο :

x = 2(−1) + 6 = 4

Άρα λύση του συστήματος είναι το ζεύγος (4, −1).

ΣΧΟΛΙΟ

Επειδή κάνουμε πολλά βήματα μέχρι να λύσουμε ένα σύστημα, είναι πολύ πιθανό να κάνουμε λάθος στους αριθμητικούς υπολογισμούς. Για το λόγο αυτό είναι σκόπιμο να αντικαθιστούμε τις τιμές των αγνώστων που βρήκαμε στις αρχικές εξισώσεις του συστήματος και να ελέγχουμε αν τις επαληθεύουν, δηλαδή να κάνουμε επαλήθευση του συστήματος.

Στο συγκεκριμένο σύστημα, για x = 4 και y = −1, έχουμε :

1η εξίσωση: 4 – 2(–1) = 6

2η εξίσωση: 3•4 + 4(−1) = 12 − 4 = 8

Μέθοδος των αντίθετων συντελεστών (ή της απαλοιφής)

Πολλαπλασιάζουμε τα μέλη των δύο εξισώσεων με κατάλληλους αριθμούς, ώστε οι συντελεστές του ενός αγνώστου στις εξισώσεις που θα προκύψουν να είναι αντίθετοι :

Προσθέτουμε κατά μέλη τις εξισώσεις που βρήκαμε, οπότε προκύπτει εξίσωση με έναν άγνωστο, την οποία και επιλύουμε :

− 3x + 6y + 3x + 4y = -18 + 8 ⇔ 10y = -10 ⇔ y = -1 .

Αντικαθιστούμε την τιμή του αγνώστου που βρήκαμε σε μια από τις αρχικές εξισώσεις και βρίσκουμε την τιμή του άλλου :

x - 2(-1) = 6 ⇔ x + 2 = 6 ⇔ x = 4 .

Άρα η λύση του συστήματος είναι το ζεύγος (4, −1) (η ίδια φυσικά που βρέθηκε και με την προηγούμενη μέθοδο).

Γραφική επίλυση γραμμικού συστήματος 2 x 2

Κάθε εξίσωση του γραμμικού συστήματος

που λύσαμε προηγουμένως παριστάνει μια ευθεία γραμμή. Το σημείο τομής των ευθειών αυτών προσδιορίζει τη λύση του συστήματος, αφού οι συντεταγμένες του επαληθεύουν συγχρόνως τις δύο εξισώσεις του συστήματος.

Γενικά, μπορούμε να επιλύσουμε γραφικά ένα γραμμικό σύστημα

με το να σχεδιάσουμε τις δύο ευθείες που παριστάνουν οι εξισώσεις του και να βρούμε, εφόσον υπάρχει, το σημείο τομής τους.
Η γραφική επίλυση ενός γραμμικού συστήματος 2 x 2 δίνει λύσεις που μπορεί να είναι προσεγγιστικές. Παρά την αδυναμία αυτή, η γραφική επίλυση ενός γραμμικού συστήματος 2 x 2 διευκολύνει πάρα πολύ σε περιπτώσεις, όπου μας ενδιαφέρουν μόνο προσεγγιστικές λύσεις του συστήματος ή, ακόμη, όταν η αλγεβρική του επίλυση είναι δυσχερής.

Οι δύο εξισώσεις ενός γραμμικού συστήματος 2 x 2 παριστάνουν δύο ευθείες οι οποίες μπορεί να τέμνονται ή να είναι παράλληλες ή ακόμα και να συμπίπτουν.

Για παράδειγμα :

✔ Το σύστημα

Αν χαράξουμε τις ευθείες που παριστάνουν
οι εξισώσεις, βλέπουμε ότι προσεγγιστικά
η λύση του συστήματος είναι το ζεύγος
(1, 0,3) .

Αν όμως λύσουμε το σύστημα αλγεβρικά, θα βρούμε ότι η ακριβής λύση του συστήματος είναι το ζεύγος (1, $\frac{1}{3}$)

✔ Το σύστημα

Προφανώς κάθε λύση του συστήματος είναι της μορφής (k, 2k−1), k ∈ ℝ.

Γενικά, από την επίλυση ενός γραμμικού συστήματος 2 x 2 αναμένουμε μια μόνο από τις περιπτώσεις :

✔ Το σύστημα να έχει μοναδική λύση

✔ Το σύστημα να είναι αδύνατο

✔ Το σύστημα να έχει άπειρο πλήθος λύσεων.

Λύση – διερεύνηση γραμμικού συστήματος 2 x 2

Στην παράγραφο αυτή θα παρουσιάσουμε την επίλυση ενός γραμμικού συστήματος 2 x 2 στη γενική του μορφή.

Έστω λοιπόν το γραμμικό σύστημα

Αρχικά θα εξετάσουμε την περίπτωση που είναι β≠0 και β ' ≠0 . Τότε το σύστημα γράφεται :

και οι εξισώσεις του παριστάνουν ευθείες ε₁ και ε₂ με αντίστοιχους συντελεστές διεύθυνσης λ₁ = - $\dfrac{α}{β}$ και λ₂ = - $\dfrac{α '}{β '}$ .

• Αν - $\dfrac{α}{β}$ ≠ - $\dfrac{α '}{β '}$, δηλαδή αν αβ ' − α' β ≠ 0, τότε οι ευθείες ε₁ και ε₂ έχουν διαφορετικούς συντελεστές διεύθυνσης, οπότε τέμνονται σε ένα σημείο του οποίου η τετμημένη προσδιορίζεται από την λύση της εξίσωσης

- $\dfrac{α\ '}{β\ '}x$ + $\dfrac{γ\ '}{β\ '}$ = - $\dfrac{α}{β}x$ + $\dfrac{γ}{β}$ ⇔ ($\dfrac{α}{β}$ - $\dfrac{α\ '}{β\ '}$)x = $\dfrac{γ}{β}$ - $\dfrac{γ\ '}{β\ '}$

⇔ (αβ ' - α 'β)x = γβ ' - γ 'β

⇔ x = $\dfrac{γβ\ ' - γ\ 'β}{αβ\ ' - α\ 'β}$

Η τεταγμένη του σημείου τομής είναι :

y = - $\dfrac{α}{β}$ ⋅ $(\dfrac{γβ ' - γ 'β}{αβ ' - α 'β})$ + $\dfrac{γ}{β}$ = $\dfrac{-αγβ ' + αβγ ' + γαβ ' - γα 'β}{β (αβ ' - α 'β)}$ = $\dfrac{β(αγ ' - α 'γ)}{β(αβ ' - α 'β)}$

Επομένως y = $\dfrac{(αγ ' - α 'γ)}{(αβ ' - α 'β)}$

Άρα, στην περίπτωση αυτή, το σύστημα έχει μοναδική λύση την

(x, y) =( $\dfrac{γβ ' - γ 'β}{αβ ' - α 'β}$ , $\dfrac{αγ ' - α 'γ}{αβ ' - α 'β}$)

• Αν -$\dfrac{α}{β}$ = -$\dfrac{α '}{β '}$ , δηλαδή αν αβ΄- α΄β = 0 , τότε οι ευθείες ε₁ και ε₂ έχουν τον ίδιο συντελεστή διεύθυνσης, οπότε ή είναι παράλληλες ή ταυτίζονται. Αυτό σημαίνει ότι το σύστημα ή είναι αδύνατο ή έχει άπειρες λύσεις αντιστοίχως. Στα ίδια συμπεράσματα καταλήγουμε και στην περίπτωση που είναι β=0 ή β' =0.

Συνοψίζοντας τα παραπάνω συμπεράσματα για το γραμμικό σύστημα

Έχουμε :

• Αν αβ' − α'β ≠0 το σύστημα έχει μοναδική λύση την

(x, y) =( $\dfrac{γβ ' - γ 'β}{αβ ' - α 'β}$ , $\dfrac{αγ ' - α 'γ}{αβ ' - α 'β}$)

• Αν αβ' − α'β = 0 το σύστημα έχει άπειρες λύσεις ή είναι αδύνατο.

Συνήθως η παράσταση αβ' − α'β , συμβολίζεται με

D = $\begin{vmatrix} α & β \\ α ' & β ' \\ \end{vmatrix}$

και λέγεται ορίζουσα του συστήματος

Δηλαδή :

D = $\begin{vmatrix} α & β \\ α ' & β ' \\ \end{vmatrix}$ = αβ ' - α 'β .

Την ορίζουσα που προκύπτει από την D, αν στη θέση των συντελεστών του x θέσουμε τους σταθερούς όρους, συμβολίζουμε με :

D_x = $\begin{vmatrix} γ & β \\ γ ' & β ' \\ \end{vmatrix}$ = γβ ' - γ 'β .

Ομοίως, την ορίζουσα που προκύπτει από την D, αν στη θέση των συντελεστών του y θέσουμε τους σταθερούς όρους, συμβολίζουμε με :

D_y = $\begin{vmatrix} α & γ \\ α ' & γ ' \\ \end{vmatrix}$ = αγ ' - α 'γ .

Τα προηγούμενα συμπεράσματα τα οποία αφορούν στην επίλυση ενός γραμμικού συστήματος συνοψίζονται, με τη βοήθεια των οριζουσών, ως εξής :

Μικροπείραμα

Για παράδειγμα :

✔ Το σύστημα $\begin{cases} x - 2y = 6 \\ 3x + 4y = 8 \end{cases}$ έχει

D = $\begin{vmatrix} 1 & -2 \\ 3 & 4 \\ \end{vmatrix}$ = 1 ⋅ 4 - 3(-2) = 4 + 6 = 10 ≠ 0 ,

οπότε έχει μοναδική λύση. Επειδή

D_x = $\begin{vmatrix} 6 & -2 \\ 8 & 4 \\ \end{vmatrix}$ = 24 + 16 = 40 και D_y = $\begin{vmatrix} 1 & 6 \\ 3 & 8 \\ \end{vmatrix}$ = 8 - 18 = -10

έχουμε :

x = $\dfrac{D_{x}}{D}$ = $\dfrac{40}{10}$ = 4 και y = $\dfrac{D_{y}}{D}$ = $\dfrac{-10}{10}$ = -1 .

Άρα, η μοναδική λύση του συστήματος είναι το ζεύγος (x, y) = (4, −1) .

✔ Το σύστημα $\begin{cases} 2x - 3y = 40 \\ 4x - 6y = 80 \end{cases}$ έχει

D = $\begin{vmatrix} 2 & -3 \\ 4 & -6 \\ \end{vmatrix}$ = 2(-6) - 4(-3) = - 12 + 12 = 0

και επομένως το σύστημα αναμένεται ή να είναι αδύνατο ή να έχει άπειρο πλήθος λύσεων. Αν διαιρέσουμε και τα δύο μέλη της δεύτερης εξίσωσης με το 2, τότε το σύστημα γράφεται

$\begin{cases} 2x - 3y = 40 \\ 2x - 3y = 40' \end{cases}$

δηλαδή έχει μόνο μία εξίσωση την 2x − 3y = 40. Αυτό σημαίνει ότι οι λύσεις του συστήματος είναι οι λύσεις της εξίσωσης

2x − 3y = 40 ⇔ y = $\dfrac{2x - 40}{3}$ .

Άρα το σύστημα έχει άπειρο πλήθος λύσεων τα ζεύγη της μορφής

(k , $\dfrac{2k - 40}{3}$), k ∈ ℝ

✔ Το σύστημα $\begin{cases} 3x + y = 11 \\ 9x + 3y = 6 \end{cases}$ έχει

D = $\begin{vmatrix} 3 & 1 \\ 9 & 3 \\ \end{vmatrix}$ = 9 - 9 = 0

και επομένως το σύστημα αναμένεται ή να είναι αδύνατο ή να έχει άπειρο πλήθος λύσεων. Το σύστημα αυτό γράφεται

$\begin{cases} 3x + y = 11 \\ 3x + y = 2 \end{cases}$

που είναι προφανώς αδύνατο.

ΕΦΑΡΜΟΓΗ

1^η Να λυθεί το σύστημα

$\begin{cases} λx - y = λ - 1 \\ λ^2 x - 2y = λ \end{cases}$

ΛΥΣΗ

Παρατηρούμε ότι οι συντελεστές και οι σταθεροί όροι του συστήματος δεν είναι όλοι συγκεκριμένοι αριθμοί, αλλά εξαρτώνται από το λ. Πρέπει επομένως για τις διάφορες τιμές του λ, να εξετάσουμε πότε προκύπτει σύστημα που έχει μοναδική λύση την οποία και να βρούμε ή πότε προκύπτει σύστημα αδύνατο ή σύστημα με άπειρες λύσεις. Όπως και στις εξισώσεις, ο λ λέγεται παράμετρος και η εργασία αυτή λέγεται διερεύνηση.
Έχοντας υπόψη τον παραπάνω πίνακα, ακολουθούμε την εξής πορεία.

• Υπολογίζουμε τις ορίζουσες D, D_x, D_y . Έχουμε :

D = $\begin{vmatrix} λ & -1 \\ λ^2 & -2 \\ \end{vmatrix}$ =$-2λ + λ^2 = λ (λ - 2)$

D_x = $\begin{vmatrix} λ - 1 & -1 \\ λ & -2 \\ \end{vmatrix}$ = $-2(λ - 1) + λ = 2 - λ$

D_y = $\begin{vmatrix} λ & λ - 1 \\ λ^2 & λ \\ \end{vmatrix}$ = $λ^2 - λ^2(λ - 1) = λ^2 (1 - λ +1) = λ^2(2 - λ)$

• Βρίσκουμε τις τιμές της παραμέτρου, για τις οποίες είναι D = 0 . Έχουμε :

D = 0 ⇔ λ(λ - 2) = 0 ⇔ λ = 0 ή λ = 2

Διακρίνουμε τις περιπτώσεις :

✔ Αν D ≠0 , δηλαδή αν και λ ≠0 και λ ≠ 2, τότε το σύστημα έχει μοναδική λύση (x, y), με :

x = $\dfrac{D_{x}}{D}$ = $\dfrac{2 - λ}{λ (λ - 2)}$ = $\dfrac{- (λ - 2_)}{λ(λ - 2)}$ = - $\dfrac{1}{λ}$ και

y = $\dfrac{D_{y}}{D}$ = $\dfrac{λ^2(2 - λ)}{λ(λ - 2)}$ = $\dfrac{-λ^2(λ - 2)}{λ(λ - 2)}$ = $-λ$ .

Δηλαδή, για λ ≠0 και λ ≠ 2 , η μοναδική λύση του συστήματος είναι το ζεύγος $\left(-\dfrac{1}{λ}, -λ\right)$.

✔ Αν D = 0 ,δηλαδή αν λ = 0 ή λ = 2 , τότε το σύστημα ή είναι αδύνατο ή έχει άπειρες λύσεις.

Συγκεκριμένα :

• Αν λ = 0 , τότε το σύστημα γράφεται

$\begin{cases} 0x - y = -1 \\ 0x - 2y = 0 \end{cases}$ ⇔ $\begin{cases} y = 1 \\ y = 0 \end{cases}$

και άρα είναι αδύνατο.

• Αν λ = 2 , τότε το σύστημα γράφεται

$\begin{cases} 2x - y = 1 \\ 4x - 2y = 2 \end{cases}$ ⇔ $\begin{cases} 2x - y = 1 \\ 2x - y = 1 \end{cases}$

και άρα έχει άπειρο πλήθος λύσεων. Επειδή ,

2x - y = 1 ⇔ y = 2x - 1 ,

Οι λύσεις του συστήματος είναι όλα τα ζεύγη της μορφής

(k, 2k - 1), k ∈ ℝ

Μικροπείραμα

Γραμμικό Σύστημα 3 x 3

Μία εξίσωση της μορφής αx+βy+γz=δ , με έναν τουλάχιστον από τους συντελεστές α, β, γ διάφορο του μηδενός, λέγεται γραμμική εξίσωση με τρεις αγνώστους.

Λύση μιας γραμμικής εξίσωσης με τρεις αγνώστους λέγεται κάθε τριάδα αριθμών που την επαληθεύει.

Για παράδειγμα η εξίσωση 2x+3y+z=6 είναι μια γραμμική εξίσωση με τρεις αγνώστους και η τριάδα (2, −1,5) είναι μια λύση της εξίσωσης, αφού 2·2+3(–1)+5=6.

Όταν έχουμε τρεις γραμμικές εξισώσεις με τρεις αγνώστους :

α₁x + β₁y + γ₁z=δ₁ , α₂x + β₂y + γ₂z=δ₂ και α₃x + β₃y + γ₃z=δ₃

και ζητάμε τις κοινές λύσεις τους, τότε λέμε ότι έχουμε να λύσουμε ένα γραμμικό σύστημα τριών εξισώσεων με τρεις αγνώστους ή, πιο σύντομα, ένα γραμμικό σύστημα 3 x 3 και γράφουμε

$\begin{cases} α_{1}x + β_{1}y + γ_{1}z = δ_{1} \\ α_{2}x + β_{2}y + γ_{2}z = δ_{2} \\ α_{3}x + β_{3}y + γ_{3}z = δ_{3}\end{cases}$

Για την επίλυση ενός τέτοιου συστήματος χρησιμοποιούμε μεθόδους ανάλογες με τις μεθόδους που χρησιμοποιήσαμε για την επίλυση ενός γραμμικού συστήματος 2 x 2 .

Έστω για παράδειγμα ότι θέλουμε να λύσουμε το σύστημα

$\begin{cases} 2x - y + 3z = -9 \quad ({1})\\ x + 3y - z = 10 \quad \quad ({2})\\ 3x + y - z = 8 \quad \quad ({3})\end{cases}$

Θα χρησιμοποιήσουμε τη μέθοδο της αντικατάστασης. Λύνουμε τη μία από τις τρεις εξισώσεις ως προς έναν άγνωστο, π.χ. την (3) ως προς z, και αντικαθιστούμε στις άλλες δύο. Έτσι έχουμε :

3x + y - z = 8 ⇔ z = 3x + y - 8        (4)

οπότε οι εξισώσεις (1) και (2) γράφονται :

✔ 2x - y + 3z = -9 ⇔ 2x - y + 3(3x + y - 8) = -9 ⇔ 11x + 2y = 15      (5)
✔ x + 3y - z = 10 ⇔ x + 3y - (3x + y - 8) = 10 ⇔ -x + y = 1              (6)

Οι (5), (6) ορίζουν το γραμμικό σύστημα

$\begin{cases} 11x + 2y = 15 \\ -x + y = 1 \end{cases}$ ,

από την επίλυση του οποίου βρίσκουμε ότι x=1 και y=2 .

Αντικαθιστούμε τις τιμές αυτές των x και y στην (4) και βρίσκουμε z = − 3.

Άρα η λύση του αρχικού συστήματος είναι η τριάδα (1,2, −3).

ΣΧΟΛΙΟ

Επειδή η επίλυση ενός γραμμικού συστήματος 3 x 3, όπως είδαμε παραπάνω, ανάγεται στην επίλυση ενός γραμμικού συστήματος 2 x 2, προκύπτει ότι και ένα γραμμικό σύστημα 3 x 3 ή έχει μοναδική λύση ή είναι αδύνατο ή έχει άπειρο πλήθος λύσεων.

ΑΣΚΗΣΕΙΣ