பக்க நீளங்கள் x, y, z கொண்ட முக்கோணங்களின் முக்கோணச் சமனிலிக்கு மூன்று எடுத்துக்காட்டுகள் படத்தில் காட்டப்பட்டுள்ளன. முதல் படம் சமனின்மைத் தன்மையைத் தெளிவாவாகக் கொண்டுள்ளது. கீழுள்ள இரு படங்களும் மூன்றாவது பக்கமான z, மற்ற இரு பக்க நீளங்களின் கூடுதல் x + y க்குக் கிட்டத்தட்ட சமமாகவுள்ள நிலையைக் காட்டுகின்றன.
வடிவவியலில் முக்கோணச் சமனின்மை அல்லது முக்கோணச் சமனிலி (triangle inequality) ஒரு முக்கோணத்தின் பக்கநீளங்களுக்கிடையே அமையக்கூடியத் தொடர்பைத் தருகிறது.
கூற்று
எந்தவொரு முக்கோணத்திலும் அதன் ஏதேனும் இரு பக்கங்களின் நீளங்களின் கூடுதலானது, மூன்றாவது பக்கநீளத்தைவிட எப்பொழுதும் அதிகமானதாகவோ அல்லது சமமானதாகவோ இருக்கும்.[1][2]
கணிதக் குறியீட்டில்
x, y, z ஆகியவை ஒரு முக்கோணத்தின் பக்க நீளங்கள் எனில் முக்கோணச் சமனிலியின்படி:
இச் சமனிலியிலுள்ள சமக்குறியானது, பரப்பளவு சுழியாகவுள்ள முக்கோணங்களுக்கு மட்டுமே உண்மையாக இருக்கும். (அதாவது, மூன்று உச்சிகளும் ஒரே நேர்கோட்டில் அமையும் பொழுது)
யூக்ளிடிய வடிவவியலிலும் வேறுசில வடிவவியல்களிலும் முக்கோணச் சமனிலியானது, தொலைவு குறித்த தேற்றமாக அமைவதோடு திசையன் மற்றும் திசையன் நீளங்கள் வாயிலாக எழுதப்படுகின்றது:
இதில் மூன்றாம் பக்கநீளமான z, திசையன் கூட்டல் x + y ஆல் பதிலிடப்படுகிறது. x,y இரண்டும் மெய்யெண்கள் எனில் அவற்றை ℝ1 இல் அமையும் திசையன்களாகக் கொள்ளலாம். அப்போது முக்கோணச் சமனிலியானது தனி மதிப்புகளுக்கு இடையேயுள்ள தொடர்பாகிறது.
யூக்ளிடிய வடிவவியலில் முக்கோணச் சமனிலியைத் தனிப்பட்ட முறையில் நிறுவதல் முடியுமென்றாலும், செங்கோண முக்கோணங்களில்பித்தகோரசு தேற்றத்தின் விளைவாகவும், பொதுவான முக்கோணங்களுக்கு கொசைன் விதியின் விளைவாகவும் முக்கோணச் சமனிலி அமைகிறது.
முக்கோணச் சமனிலியிலுள்ள சமக்குறி உண்மையாக இருக்க வேண்டுமானால், அம் முக்கோணத்தின் கோணங்கள் 180°,0°,0° என இருத்தல் அவசியமாகிறது. அதாவது முக்கோணத்தின் மூன்று உச்சிகளும் ஒரே கோட்டில் அமையும் புள்ளிகளாக இருக்கும். எனவே யூக்ளிடிய வடிவவியலில், இரு புள்ளிகளுக்கிடைப்பட்ட மிகக்குறைந்த தொலைவு ஒரு நேர்கோடாக அமைகிறது.
கோள வடிவவியலில் இரு புள்ளிகளுக்கு இடையேயுள்ள மிகக்குறைந்த தொலைவு என்பது பெரு வட்டத்தின் வில்லாக இருக்கும். எனினும் கோள வடிவவியலில் முக்கோணச் சமனிலி உண்மையாக வேண்டுமானால், ஒரு கோளத்தின் மீதமையும் இரு புள்ளிகளுக்கு இடையேயுள்ள தொலைவானது அப்புள்ளிகளை ஓரப்புள்ளிகளாகக் கொண்ட சிறு கோள கோட்டுத்துண்டாகக் ([0, π] இடைவெளியில் மையக்கோணம் கொண்டது) கொள்ளப்படல் வேண்டும்.[3][4]
யூக்ளிடிய வடிவவியல்
தள வடிவவியலில் முக்கோணச் சமனிலியின் நிறுவலுக்கான யூக்ளிடின் வரைதல்
படத்தில் காட்டப்பட்டுள்ள வரைமுறையைக் கொண்டு தள வடிவவியலில் முக்கோணச் சமனிலியை யூக்ளிட் நிறுவியுள்ளார்.[5]
முக்கோணம் ABCஇன் ஒரு பக்கம் BC மற்றும் AB பக்கத்தின் நீட்சியிலமையும் கோட்டுத்துண்டு BD ஐயும் சமபக்கங்களாகக் கொண்டு வரையப்படும் இருசமபக்க முக்கோணம் BDC.
யூக்ளிடின் ”கூறுகள்” புத்தகத்தில் இந் நிறுவல் உள்ளது (புத்தகம் 1 கூற்று 20).[6]
முடிவுகளின் கணிதவடிவம்
ஒரு முக்கோணத்தின் மூன்று பக்கங்கள் a, b, c (மூன்றும் நேர் எண்கள்) எனில், முக்கோணச் சமனிலியின்படி கிடைக்கக்கூடிய முடிவுகளின் கணிதவடிவ விளக்கம்:
அதாவது முக்கோணத்தின் மிக நீளமான பக்கம், அம் முக்கோணத்தின் அரைச் சுற்றளவைவிடச் சிறியதாக இருக்கும்.
செங்கோண முக்கோணம்
இருசமபக்க முக்கோணத்தின் சமபக்கங்கள்: AB = AC. அடிப்பக்கக் கோணங்கள் ஒன்றிலிருந்து வரையப்படும் குத்துக்கோட்டால் இம் முக்கோணம் இரு செங்கோண முக்கோணங்களாகப் பிரிக்கப்பட்டுள்ளது.
முக்கோணத்தின் மற்ற இரு பக்கங்களின் நீளங்களைக் காட்டிலும் அதிகமானதாகவும்,
அவற்றின் கூடுதலைவிடச் சிறியதாகவும் இருக்கும்.
இக் கூற்றின் இரண்டாவது பகுதி பொதுவான முக்கோணங்களுக்கு ஏற்கனவே நிறுவப்பட்டுள்ள முக்கோணச் சமனிலி என்பதால் செங்கோண முக்கோணத்திற்கும் அது உண்மையாகும்.
முதற்பகுதியின் நிறுவல்:
ஒரு இருசமபக்க முக்கோணம் ABC இன் சமபக்கங்கள் AB = AC. அடிப்பக்க கோணங்கள் ஒன்றிலிருந்து வரையப்படும் குத்துக்கோட்டால் இம் முக்கோணம் இரு செங்கோண முக்கோணங்களாகப் பிரிக்கப்பட்டுள்ளது. அவ்விரு செங்கோண முக்கோணங்களில் முக்கோணம் ADC கொண்டு
நிறுவல்:
எந்தவொரு முக்கோணத்தின் மூன்று கோணங்களின் கூடுதல் 180 பாகைகள் என்ற பண்பின்படி,
முக்கோணம் ADC இல்,
இதேபோல முக்கோணம் ABC இல்,
எனவே,
ஃ
ஆனால் AB = AC என்பதால்,
அதாவது செம்பக்கம் AC, பக்கம் AD ஐ விடப் பெரியதாகும்:
இதேபோல,
என்பதையும் நிறுவலாம்.
பயன்பாடுகள்
ஒரு முக்கோணத்தின் பக்க நீளங்கள் கூட்டுத் தொடரில் அமைகிறது என்க. அதன் பக்க நீளங்கள் a, a + d, a + 2d.
எனவே முக்கோணச் சமனிலியின் படி முக்கோணத்தின் ஒரு பக்க நீளம் மற்ற இருபக்கங்களின் கூடுதலைவிடச் சிறியது என்பதால்,
ஆகிய மூன்று சமனிலிகள் கிடைக்கின்றன.
இம் மூன்றும் நிறைவு செய்யப்பட வேண்டுமெனில் கீழ்வரும் முடிவு உண்மையாக இருக்க வேண்டும்:
கணிதத் தொகுத்தறிதல் முறையில், முக்கோணச் சமனிலியை எந்தவொரு பல்கோணத்திற்கும் பொதுமைப்படுத்தலாம்:
ஒரு பல்கோணத்தின் எந்தவொரு பக்கத்தின் நீளமும் அதன் பிற பக்கங்களின் நீளங்களின் கூடுதலைவிட எப்பொழுதும் சிறியதாகவே இருக்கும்.
நாற்கரத்தில்
ஒரு நாற்கரத்தின் பக்கங்கள் பெருக்குத் தொடரில் அமைகிறது என்க. அதன் பக்க நீளங்கள் a, ar, ar2, ar3 ஆகும். முக்கோணச் சமனிலியை இந்த நாற்கரத்துக்குப் பொதுமைப்படுத்த:
a > 0 எனில், மேலுள்ள சமனிலிகளை a ஆல் வகுக்கக் கிடைப்பது:
இந்த இரு சமனிலியின் இடப்புறமுள்ள பல்லுறுப்புக்கோவையின் மூலங்கள் டிரைபனொச்சி மாறிலி (tribonacci constant) மற்றுமதன் தலைகீழியாக அமைகின்றன. எனவே r இன் வீச்சு:
1/t < r < t
இதில் t என்பது டிரைபனொச்சி மாறிலி (, தோராய மதிப்பு = 1.83929 (OEIS-இல் வரிசை A058265)
எதிர் முக்கோணச் சமனிலி
தள வடிவவியலில் எதிர் முக்கோணச் சமனிலியின் கூற்று:[11]
முக்கோணத்தின் ஒரு பக்க நீளமானது மற்ற இரு பக்க நீளங்களின் வித்தியாசத்தைவிட அதிகமானதாக அல்லது சமமானதாக இருக்கும்.
↑David E. Joyce (1997). "Euclid's elements, Book 1, Proposition 20". Euclid's elements. Dept. Math and Computer Science, Clark University. Retrieved 2010-06-25. {{cite web}}: Cite has empty unknown parameters: |trans_title=, |month=, |separator=, and |coauthors= (help)