8. Calcolo della riga nei tratteggi lineari di secondo ordine

Prerequisiti:

• Le equazioni caratteristiche del downcast di t e t\_valore nei tratteggi lineari
• Definizioni e simboli di teoria dei tratteggi

Abbiamo visto che per risolvere il problema del downcast è necessario risolvere le cosiddette equazioni caratteristiche del downcast, che però presuppongono che si conosca a quale riga, o più in generale a quale sottotratteggio proprio, appartenga l’x-esimo trattino di un tratteggio, dato x. Può sembrare strano, ma è possibile calcolare la riga di un trattino senza avere idea di quale sia il suo valore. Infatti, come abbiamo visto nell’articolo introduttivo Da un problema sulla corsa ai tratteggi, il calcolo della riga ed il calcolo del valore di un trattino sono due problemi ben distinti. In questo articolo vedremo come si calcola la riga per i tratteggi lineari di secondo ordine, mentre successivamente vedremo come si calcola il valore, col metodo del downcast.

Calcolo della riga nei tratteggi lineari di secondo ordine

Indichiamo con T un tratteggio lineare di secondo ordine. Assumiamo per semplicità che le sue righe abbiano indici 1 e 2. Vogliamo trovare una condizione che caratterizza l’appartenenza del suo x-esimo trattino ad una specifica riga. È indifferente considerare la riga 1 o la riga 2 perché, se la condizione di appartenenza alla riga 1 non è soddisfatta, necessariamente il trattino appartiene alla riga 2, e viceversa; comunque, per fissare le idee, scegliamo la riga 1.

Si può dimostrare (v. Teoria dei tratteggi, pagg. 146-150) che l’appartenenza dell’x-esimo trattino di T alla riga 1 può essere desunta dal calcolo di un particolare modulo:

Vediamo quali valori assume questo modulo nel caso del tratteggio T = (3, 5). Nella rappresentazione grafica del tratteggio, scriviamo il valore della (1) in corrispondenza dell’x-esimo trattino. Otteniamo così la seguente figura:

Possiamo notare che i valori più piccoli (da 0 a 4) si trovano sulla prima riga, mentre quelli più grandi (da 5 a 7) si trovano sulla seconda riga. Questo non è un caso. In generale si dimostra che l’x-esimo trattino appartiene alla riga 1 se e solo se il modulo (1) assume un valore più basso di n_2 (in questo caso n_2 = 5):

È questo il motivo per cui il massimo modulo sulla prima riga è 4 = n_2 - 1. Negando questa condizione, abbiamo quella che caratterizza l’appartenenza alla seconda riga:

È utile, per completare il quadro, analizzare di nuovo la questione dal punto di vista della riga 2. Se nella (1) consideriamo n_2 x al posto di n_1 x - 1, otteniamo un altro modulo significativo:

Calcolando questo modulo per le varie x nel tratteggio precedente, si ottiene quanto segue:

La situazione mostrata è l’opposto di prima: ora sono i trattini della seconda riga (e non quelli della prima) che hanno i valori del modulo minori di n_1 (e non di n_2). In generale si ha che:

E di conseguenza

Sta a noi quindi decidere quale modulo utilizzare, se (1) o (4): in entrambi i casi si ottengono delle condizioni che caratterizzano l’appartenenza dell’x-esimo trattino ad entrambe le righe. Naturalmente, le formule (2) e (6), che stabiliscono entrambe l’appartenenza alla riga 1, e le formule (3) e (5), che stabiliscono l’appartenenza alla riga 2, devono essere equivalenti; la dimostrazione, in una forma un po’ più generale che vedremo tra poco, si trova in Teoria dei tratteggi, Lemma 6.1 pagg. 147-148.

Ora proviamo a scrivere le formule precedenti in una forma più generale. Indichiamo gli indici di riga del tratteggio con le lettere i e j, mediante la condizione che abbiamo visto nelle equazioni caratteristiche (in particolare nel Corollario 1 della Proposizione T.4), \{i, j\} = \{1, 2\}.
In questo modo il problema diventa stabilire una condizione per caratterizzare l’appartenenza dell’x-esimo trattino alla generica riga i (che può essere 1 o 2), indicando con j l’altra riga (rispettivamente, 2 o 1). Così le equazioni (2) e (5) si generalizzano con la singola equazione

Qui abbiamo utilizzato la notazione abbreviata (i \lt j), grazie a cui si ottiene la (2) per i = 1 e la (5) per i = 2. Notiamo che in entrambi i casi n_i + n_j = n_1 + n_2 ma, dato che stiamo usando le lettere, per uniformità di scrittura preferiamo la notazione n_i + n_j.
Analogamente, le equazioni (3) e (6) possono essere generalizzare mediante la seguente:

A partire da questa si ottiene infatti la (3) per i = 2 e la (6) per i = 1.

Possiamo enunciare quanto visto finora nel seguente Teorema:

Applicando il Teorema T.2, stabiliamo a quale riga appartiene l’ottavo trattino del tratteggio (3, 5).

Verifichiamo se appartiene alla riga 1: applichiamo pertanto la formula (8) con (n_1, n_2, x) = (3, 5, 8), fermandoci alla prima forma delle due equivalenti, ottenendo:

\begin{aligned} \mathrm{t}_{(3, 5)}(8) \in T[1] & \Leftrightarrow (3 \cdot 8 - 1) \mathrm{\ mod\ } (3 + 5) \lt 5 \\ & \Leftrightarrow 23 \mathrm{\ mod\ } 8 \lt 5 \\ & \Leftrightarrow 7 \lt 5 \end{aligned}

La condizione è falsa: dunque l’ottavo trattino non appartiene alla prima riga, per cui, dovendo necessariamente appartenere a una delle due righe, appartiene alla seconda:

Dall’immagine vediamo che, invece, il settimo trattino appartiene alla prima riga. Infatti, ripetendo i passaggi precedenti con x = 7, otteniamo una relazione vera:

\begin{aligned} \mathrm{t}_{(3, 5)}(7) \in T[1] & \Leftrightarrow (3 \cdot 7 - 1) \mathrm{\ mod\ } (3 + 5) \lt 5 \\ & \Leftrightarrow 20 \mathrm{\ mod\ } 8 \lt 5 \\ & \Leftrightarrow 4 \lt 5 \end{aligned}