समीकरणx2=−1 का कोई वास्तविक हल नहीं है। R को केवल एक नई संख्या i से बढ़ा देने पर, जिसका वर्ग −1 है, सम्मिश्र संख्याओं का क्षेत्र C बन जाता है, जिसमें हर बहुपद समीकरण के हल होते हैं — और जिसका अंकगणित समतल की ज्यामिति समेटे रहता है: स्थानांतरण, घूर्णन और समरूपण योग तथा गुणन बन जाते हैं।
28.1 बीजगणितीय रूप
परिभाषा 28.1(सम्मिश्र संख्याएँ)
सम्मिश्र संख्याओं का समुच्चय
C={a+ib:a,b∈R},
है, जहाँ i एक ऐसा संकेत है जिस पर केवल नियम i2=−1 लागू है; योग और गुणन i में वास्तविक बहुपदों की तरह किए जाते हैं और i2 को −1 तक घटा दिया जाता है। वास्तविक संख्याएँa और bz=a+ib के वास्तविक भागRe(z) और काल्पनिक भागIm(z) हैं; यह व्यंजक z का बीजगणितीय रूप है, और वह अद्वितीय है: a+ib=a′+ib′ यदि और केवल यदि a=a′ और b=b′ हों।
उदाहरण 28.2
(2+3i)(1−i)=2−2i+3i−3i2=5+i।
परिभाषा 28.3(संयुग्मी)
z=a+ib का संयुग्मीz=a−ib है।
प्रतिज्ञप्ति 28.4(संयुग्मन के गुण)
सभी z,w∈C के लिए:
z+w=z+w,zw=zw,z=z,z+z=2Re(z),z−z=2iIm(z),
और z=a+ib के लिए zz=a2+b2≥0। इसके अतिरिक्त z∈R यदि और केवल यदि z=z हो।
उपपत्ति. सभी बीजगणितीय रूपों से सीधी गणनाएँ हैं; जैसे zz=(a+ib)(a−ib)=a2−(ib)2=a2+b2। ∎
विधि 28.5(सम्मिश्र संख्याओं का भाग)
किसी भागफल को बीजगणितीय रूप में लिखने के लिए अंश और हर दोनों को हर के संयुग्मी से गुणा कीजिए:
2+i1=(2+i)(2−i)2−i=52−i=52−51i.
इसलिए हर शून्येतर सम्मिश्र संख्या का प्रतिलोम होता है: C एक क्षेत्र है।
28.2 सम्मिश्र समतल, मापांक और कोणांक
परिभाषा 28.6(बिंदुसंख्या, मापांक)
लंबकोणिकनिर्देशांकों वाले समतल में बिंदु M(a,b)z=a+ib का प्रतिबिंब है, और zM की बिंदुसंख्या है। z का मापांकM की मूल बिंदु से दूरी है:
∣z∣=a2+b2=zz.
बिंदुसंख्याz वाला बिंदु M(a,b): मापांक∣z∣ लंबाई OM है, और संयुग्मीz वास्तविक अक्ष में z का परावर्तन है।
जहाँ Re(u)≤∣u∣ का उपयोग हुआ है। दूरी वाला कथन zB−zA के निर्देशांकों पर लगाया गया पाइथागोरस सूत्र है। ∎
परिभाषा 28.8(कोणांक, त्रिकोणमितीय और चरघातांकी रूप)
मान लीजिए z=0 है। z का कोणांक, जिसे arg(z) लिखते हैं, धनात्मक वास्तविक अक्ष से किरण OM तक के कोण का कोई भी माप θ है; वह 2kπ तक ही परिभाषित होता है। r=∣z∣ लिखने पर
z=r(cosθ+isinθ)(त्रिकोणमितीयरूप).
संकेतन
eiθ=cosθ+isinθ,
प्रस्तुत करने पर यह चरघातांकी रूपz=reiθ बन जाता है।
चरघातांकी रूप: z उसकी मूल बिंदु से दूरी r और धनात्मक वास्तविक अक्ष से कोण θ द्वारा तय हो जाता है।
प्रमेय 28.9
सभी θ,θ′∈R के लिए:
eiθeiθ′=ei(θ+θ′),eiθ=e−iθ,eiθ=1.
परिणामस्वरूप, शून्येतर z=reiθ और z′=r′eiθ′ के लिए:
उपपत्ति.प्रमेय 28.9 का उपयोग करके n≥0 पर आगमन; प्रतिलोम लेकर n<0 तक बढ़ाइए। ∎
विधि 28.11(रूपों के बीच आना-जाना)
बीजगणितीय से चरघातांकी: r=∣z∣ निकालिए, फिर ऐसा θ ज्ञात कीजिए कि cosθ=ra, sinθ=rb हों (प्रतिलोम कोज्या का हवाला देने से पहले सही चतुर्थांश पहचान लीजिए)। चरघातांकी से बीजगणितीय: rcosθ+irsinθ का प्रसार कीजिए। योगों के लिए बीजगणितीय रूप, और गुणनफलों, घातों तथा भागफलों के लिए चरघातांकी रूप काम में लाइए।
उदाहरण 28.12
z=1+i: ∣z∣=2 और cosθ=sinθ=21, इसलिए θ=4π तथा z=2eiπ/4. अतः z20=210e5iπ=−1024।
28.3 द्विघात समीकरण और इकाई के मूल
प्रमेय 28.13(वास्तविक गुणांकों वाले द्विघात समीकरण)
मान लीजिए a,b,c∈R, a=0, और Δ=b2−4ac हैं। समीकरणaz2+bz+c=0 के C में ये हल हैं:
उनके प्रतिबिंब इकाई वृत्त में अंतर्लिखित सम n-भुज के शीर्ष हैं, और n≥2 के लिए उनका योग 0 है।
उपपत्ति. हर ωkωkn=e2ikπ=1 को संतुष्ट करता है, और वे जोड़े-जोड़े भिन्न हैं क्योंकि उनके कोणांक[0,2π) में पड़ते हैं। इसके उलट, यदि zn=1 हो, तो ∣z∣n=1, इसलिए ∣z∣=1 (धनात्मक वास्तविक) और nθ≡0(mod2π) वाला z=eiθ, अर्थात्θ=n2kπ; k को n के सापेक्ष घटाने पर वह ωk में से किसी एक पर आ जाता है। शीर्ष कोण n2π से बराबर-बराबर बँटे हैं: यानी सम n-भुज। अंत में, ω=ω1 के साथ ω=1 और गुणोत्तर योग देता है
k=0∑n−1ωk=k=0∑n−1ωk=ω−1ωn−1=0.
∎
इकाई के पाँचवें मूल, ω=e2iπ/5: इकाई वृत्त में अंतर्लिखित सम पंचभुज के शीर्ष (अभ्यास 28.10)।
उदाहरण 28.16
इकाई के घनमूल 1, j=e2iπ/3=−21+i23 और j=j2 हैं, और वे 1+j+j2=0 को संतुष्ट करते हैं।
28.4 सम्मिश्र संख्याएँ और समतल ज्यामिति
प्रतिज्ञप्ति 28.17(ज्यामितीय शब्दकोश)
मान लीजिए A,B,C,D बिंदुसंख्याओं a,b,c,d (a=b, c=d) वाले बिंदु हैं।
केंद्र ω (बिंदुसंख्या) और कोण θ वाला घूर्णन z↦ω+eiθ(z−ω) है।
केंद्र ω और अनुपात k∈R∗ वाला समरूपण z↦ω+k(z−ω) है।
b−ad−c का मापांकABCD है और कोणांकसदिशोंAB तथा CD के बीच का कोण। विशेष रूप से, AB⊥CD यदि और केवल यदि b−ad−c विशुद्ध काल्पनिक हो, और A,B,C संरेख (C=A, C=B) हैं यदि और केवल यदि b−ac−a∈R हो।
उपपत्ति. (1) और (3) निर्देशांकों वाले सूत्रों को ही दोहराते हैं। (2) के लिए: प्रतिचित्रण w↦eiθwमापांकों को 1 से गुणा करता है और कोणांकों में θ जोड़ देता है: यानी वह मूल बिंदु के परितः कोण θ का घूर्णन है; ω को 0 पर भेजने वाले स्थानांतरण से संयुग्मन करने पर सामान्य केंद्र मिल जाता है। (4) के लिए: भागफलों के मापांक और कोणांक घट जाते हैं (प्रमेय 28.9)। ∎
28.5 अभ्यास
अभ्यास 28.1★
बीजगणितीय रूप में लिखिए: (3−2i)(1+4i), 1−i2+i, i2027।
हल
हल — अभ्यास 28.1.
(3−2i)(1+4i)=3+12i−2i−8i2=11+10i।
1−i2+i=(1−i)(1+i)(2+i)(1+i)=21+3i=21+23i।
i2027: चूँकि i4=1 और 2027=4×506+3, इसलिए i2027=i3=−i।
अभ्यास 28.2★
C में हल कीजिए: (a) z2−4z+13=0; (b) z2+z+1=0। हर स्थिति में जाँचिए कि दोनों हल संयुग्मी हैं और उनका गुणनफल निकालिए।
हल
हल — अभ्यास 28.2.
(a)Δ=16−52=−36: z=24±6i=2±3i। संयुग्मी युग्म; गुणनफल =4+9=13=ac। (b)Δ=1−4=−3: z=2−1±i3 (इकाई के घनमूल j और j); गुणनफल =41+3=1।
अभ्यास 28.3★
चरघातांकी रूप में लिखिए: z1=−1+i, z2=3−i, और z2z1 को पहले चरघातांकी फिर बीजगणितीय रूप में निकालिए। इससे cos1211π का यथार्थ मान निकालिए।
वास्तविक भाग मिलाने पर: 22cos1211π=4−3−1, इसलिए
cos1211π=−46+2.
अभ्यास 28.4★★
बिंदुसंख्याz वाले बिंदुओं M के उन समुच्चयों का ज्यामितीय वर्णन कीजिए जिनके लिए: (a) ∣z−2∣=∣z+i∣; (b) ∣z−1−i∣=3; (c) z+1z−1 विशुद्ध काल्पनिक हो।
हल
हल — अभ्यास 28.4.
(a)∣z−2∣=∣z−(−i)∣ का अर्थ है कि MA(2,0) और B(0,−1) से समान दूरी पर है: यानी [AB] का लंब समद्विभाजक।
(b) बिंदु (1,1) से दूरी 3: केंद्र 1+i और त्रिज्या 3 वाला वृत्त।
(c)प्रतिज्ञप्ति 28.17(4) से z+1z−1 का विशुद्ध काल्पनिक होना बताता है कि A(1,0) से M तक और B(−1,0) से M तक के सदिशलांबिक हैं: M रेखाखंड [AB] को समकोण पर देखता है। समुच्चय व्यास [AB] वाला वृत्त (इकाई वृत्त) है, पर बिंदु A और B स्वयं हटाकर।
अभ्यास 28.5★★
दे म्वाव्र के सूत्र और द्विपद प्रमेय का उपयोग करके cos3θ को cosθ के बहुपद के रूप में, और sin3θ को sinθ के पदों में व्यक्त कीजिए।
हल
हल — अभ्यास 28.5.
दे म्वाव्र: cos3θ+isin3θ=(cosθ+isinθ)3। c=cosθ, s=sinθ के साथ द्विपद प्रमेय से प्रसार करने पर:
(c+is)3=c3+3ic2s−3cs2−is3=(c3−3cs2)+i(3c2s−s3).
भाग मिलाकर और s2=1−c2, c2=1−s2 का उपयोग करके:
cos3θ=4cos3θ−3cosθ,sin3θ=3sinθ−4sin3θ.
अभ्यास 28.6★★
(रैखिकीकरण.)cosθ=2eiθ+e−iθ का उपयोग करके cos3θ का रैखिकीकरण कीजिए (उसे coskθ के संयोजन के रूप में लिखिए), और ∫0π/2cos3θdθ निकालिए।
(अभ्यास 25.9 के W3=32 के अनुकूल, क्योंकि सममिति θ↦2π−θ से ∫0π/2cos3=∫0π/2sin3।)
अभ्यास 28.7★★
मान लीजिए A और B की बिंदुसंख्याएँ a=1+i और b=3+2i हैं। वे दोनों बिंदु C ज्ञात कीजिए जो त्रिभुज ABC को समबाहु बनाते हैं, और उन्हें केंद्र A तथा कोणों ±3π वाले घूर्णनों के अधीन B के प्रतिबिंब के रूप में लीजिए।
हल
हल — अभ्यास 28.7.
b−a=2+i और e±iπ/3=21±i23 के साथ c=a+e±iπ/3(b−a):
eiπ/3(2+i)=(21+i23)(2+i)=(1−23)+i(21+3),
इसलिए c1=(2−23)+i(23+3), और इसी तरह कोण −3π के साथ: c2=(2+23)+i(23−3)।
अभ्यास 28.8★★★
C में z4=−4 हल कीजिए और हल आलेखित कीजिए। z4+4 का वास्तविक गुणांकों वाले दो द्विघात बहुपदों में गुणनखंडन कीजिए।
हल
हल — अभ्यास 28.8.
−4=4eiπ, इसलिए z4=−4 के हल
zk=2ei(4π+2kπ),k=0,1,2,3,
हैं, अर्थात्1+i, −1+i, −1−i, 1−i: परित्रिज्या 2 वाले किसी वर्ग के शीर्ष। संयुग्मीमूलों की जोड़ी बनाने पर
मान लीजिए u=ω+ω4 और v=ω2+ω3 हैं। दिखाइए कि u+v=−1 और uv=−1, और u=2−1+5 निकालिए।
निष्कर्ष निकालिए कि cos52π=45−1।
हल
हल — अभ्यास 28.10.
1.ω1 से भिन्न 5-वाँ इकाई-मूल है, इसलिए पाँचों मूलों का योग लुप्त हो जाता है (प्रमेय 28.15), जिसका अर्थ 1+ω+ω2+ω3+ω4=0 है।
2. बिंदु 1 से u+v=ω+ω2+ω3+ω4=−1। गुणनफल के लिए ω5=1 का उपयोग करने पर:
uv=(ω+ω4)(ω2+ω3)=ω3+ω4+ω6+ω7=ω3+ω4+ω+ω2=−1.
इसलिए u,vX2+X−1=0 के मूल हैं: {2−1+5,2−1−5}। अब u=ω+ω=2cos52π>0 (क्योंकि 52π<2π), अतः u=2−1+5।
3.cos52π=2u=45−1।
28.6 समस्या: इकाई के दर्पण में पंचभुज
समस्या 28.1
सप्ताहांत समस्या — इकाई के पाँचवें मूल cos72∘ का यथार्थ मान निकाल देते हैं, स्वर्ण अनुपात परिणाम पर हस्ताक्षर करता है, और गुणा वस्तुतः घूर्णन निकलता है
यूक्लिड सम पंचभुज की रचना कर सकते थे, पर वह पटरी और परकार के आगे क्यों झुक जाता है — जबकि मामूली 20∘ का कोण नहीं झुकता — यह कारण दो हज़ार वर्षों तक छिपा रहा। वह इसी अध्याय में छिपा है: इकाई के पाँचों पाँचवें मूल (प्रमेय 28.15) का योग शून्य है, और बीजगणित की वही एक पंक्ति cos72∘ को एक द्विघात समीकरण में से निचोड़ लेती है — केवल वर्गमूल, अतः रचनीय, और उस पर हस्ताक्षर भी, ज़ाहिर है, स्वर्ण अनुपात के। इस रत्न के चारों ओर: प्रवाह, त्रिकोणमिति तक दे म्वाव्र का छोटा रास्ता, और गुणा का ज्यामिति के रूप में पर्दाफ़ाश।
भाग I — प्रवाह।
(2+i)(3−i), 1−i1+i (विधि 28.5), और ∣3+4i∣ निकालिए।
c=cos52π रखिए और cos54π के द्विकोण सूत्र से प्रश्न 8 को c के लिए द्विघात समीकरण में बदलिए; उसे हल कीजिए और निष्कर्ष निकालिए:
cos72∘=45−1.
संख्याओं से जाँचिए, फिर स्वर्ण अनुपात को अपने काम पर हस्ताक्षर करने दीजिए: दिखाइए कि c=2φ1, जहाँ φ=21+5 (समस्या 2.1) — और वह प्रसिद्ध ज्यामितीय प्रतिध्वनि बताइए: सम पंचभुज में विकर्ण भुजा का φ गुना होता है।
भाग III — दे म्वाव्र के छोटे रास्ते।
रचना का फ़ैसला: cos72∘ को केवल वर्गमूल चाहिए (प्रश्न 9), इसलिए पंचभुज पटरी और परकार से रचनीय है; जबकि cos20∘ एक अटूट त्रिघात (समस्या 24.1) को संतुष्ट करता है, इसलिए 60∘ के कोण का त्रिभाजन नहीं हो सकता। उभरती हुई कसौटी बताइए (वर्गमूल बनाए जा सकते हैं, घनमूल नहीं), जिसका पूरा सिद्धांत — उन्नीस वर्ष के गाउस और 17-भुज — स्नातक खंडों में रहता है।
द्विपद प्रमेय और दे म्वाव्र से (cosθ+isinθ)3 का प्रसार कीजिए, और cos3θ=4cos3θ−3cosθ को तीन पंक्तियों में फिर निकालिए — समस्या 24.1 के योग-सूत्र वाले रास्ते से तुलना कीजिए।
अभ्यास 28.9 से जाँच: θ=52π और n=4 के लिए योग 1+cosθ+⋯+cos4θ किसके बराबर है, और वह प्रश्न 8 के अनुकूल क्यों है?
प्रतिचित्रण z↦(1+i)z का पूरा वर्णन कीजिए: वह कितने कोण से घुमाता है, कितने गुना बड़ा करता है, और इकाई वर्ग के साथ क्या करता है?
संयुग्मियों (प्रतिज्ञप्ति 28.7) से ∣z1z2∣=∣z1∣∣z2∣ सिद्ध कीजिए, फिर n=1,2,3,4 के लिए (1+i)n निकालिए और उन घातों द्वारा खींचे गए सर्पिल का वर्णन कीजिए।
संख्या j=e2iπ/3: दिखाइए कि 1+j+j2=0, और त्रिभुज (1,j,j2) पर चिरपरिचित कसौटी सत्यापित कीजिए: a+jb+j2c=0 किसी समबाहु त्रिभुज abc (के एक अभिविन्यास) के लिए सही होता है।
बीजगणित की मूल प्रमेय (स्वीकृत: दालम्बेर–गाउस): हर बहुपद C पर पूरी तरह गुणनखंडित हो जाता है। इससे वास्तविक संसार वाला उपप्रमेय निकालिए — हर वास्तविक बहुपद वास्तविक रैखिक और द्विघात टुकड़ों में गुणनखंडित हो जाता है — और प्रश्न 12 को उसका उदाहरण बताइए।
समापन — C का चित्र, हर बात पर एक वाक्य: संख्याएँ बिंदु बन जाती हैं; गुणा घूर्णन-और-मापन बन जाता है; इकाई के मूल सम बहुभुज बन जाते हैं; दे म्वाव्र घातों को त्रिकोणमितीय सर्वसमिकाओं में बदल देते हैं; और बीजगणितीय संवृतता यह गारंटी देती है कि किसी समीकरण को कभी किसी बड़े संसार की ज़रूरत नहीं पड़ेगी। समापन-पद: प्रश्न 10 में कौन-सी दो प्रसिद्ध संख्याएँ मिलीं?
4.z2=eiπ/2: z=±eiπ/4=±22(1+i)। और Δ=4−20=−16: z=1±2i।
5.z↦iz: मूल बिंदु के परितः एक चौथाई चक्कर का घूर्णन। ∣z−(1+i)∣=2: केंद्र 1+i और त्रिज्या 2 वाला वृत्त।
6.(ωk)5=e2iπk=1, और पाँचों बिंदु e2ikπ/5 भिन्न हैं: यानी z5=1 के पाँचों हल। वे इकाई वृत्त पर 72∘ के बराबर कोणों पर बैठे हैं: एक सम पंचभुज, जिसका एक शीर्ष 1 पर है।
7.S=1+ω+⋯+ω4(1−ω)S=1−ω5=0 को संतुष्ट करता है, और ω=1: S=0। (पंचभुज का संतुलन-बिंदु उसका केंद्र है।)
8.ω4=ω और ω3=ω2: संयुग्मियों की जोड़ी बनाने पर योग का वास्तविक भाग1+2cos52π+2cos54π=0 पढ़ा जाता है।
9.cos54π=2c2−1, इसलिए 1+2c+4c2−2=0, अर्थात् 4c2+2c−1=0: c=4−1+5 (धनात्मक मूल, क्योंकि 72∘ न्यून कोण है): cos72∘=45−1।
10. संख्याओं में c≈0.30902: कैलकुलेटर से मेल। और 2φ1=1+51=45−1 (हर का परिमेयकरण): c=2φ1. पंचभुज आरपार स्वर्णिम है: उसका विकर्ण उसकी भुजा को φ के अनुपात में काटता है — पंचकोण-तारे की अंतहीन स्व-समरूपता।
11. वर्गमूल परकार से रचनीय हैं (माध्यमिक विद्यालय खंड की गुणोत्तरमाध्य वाली अर्धवृत्त मशीन), इसलिए जो संख्या परिमेय संख्याओं से केवल वर्गमूलों द्वारा बनी हो — जैसे cos72∘ — वह रचनीय है; घनमूल रचनीय नहीं हैं, और cos20∘ को एक घनमूल चाहिए: पंचभुज झुक जाता है, त्रिभाजन डटा रहता है। गाउस की कसौटी हर सम बहुभुज का फ़ैसला कर देती है — उन्नीस वर्ष की आयु में उनके 17-भुज ने ही उन्हें गणित चुनने पर विवश किया।
12.−4=4eiπ: चौथे मूलों का मापांक2 है और कोणांक4π+k2π: चारों संख्याएँ ±1±i। संयुग्मियों की जोड़ी बनाने पर: (z−1−i)(z−1+i)=z2−2z+2 और (z+1−i)(z+1+i)=z2+2z+2: यही अभ्यास 28.8 का गुणनखंडन है।
13.(cosθ+isinθ)3=cos3θ+3icos2θsinθ−3cosθsin2θ−isin3θ; दे म्वाव्र से यह cos3θ+isin3θ के बराबर है। वास्तविक भाग: cos3θ=cos3θ−3cosθ(1−cos2θ)=4cos3θ−3cosθ — और काल्पनिक भागsin3θ मुफ़्त में दे देते हैं।
14. यह 1+ω+⋯+ω4=0 का वास्तविक भाग है: योग 0 के बराबर है — ठीक प्रश्न 8, अभ्यास 28.9 की मूल-निधि से देखा हुआ।
16.1+i=2eiπ/4: प्रतिचित्रण समतल को 45∘ से घुमाता है और 2 गुना बड़ा कर देता है। इकाई वर्ग भुजा 2 वाला तिरछा वर्ग बन जाता है — क्षेत्रफल में दुगुना, और आठवें हिस्से भर घूमा हुआ।
17.∣z1z2∣2=z1z2z1z2=z1z1z2z2=∣z1∣2∣z2∣2: वर्गमूल लीजिए। 1+i की घातें: 1+i, 2i, −2+2i, −4: हर एक 45∘ और घूमी हुई तथा 2 गुना लंबी — मापांकों 2,2,22,4,… से होकर बाहर की ओर जाता एक सर्पिल।
18.j1 से भिन्न इकाई का तीसरा मूल है, इसलिए (n=3 के साथ प्रश्न 7 का तर्क) 1+j+j2=0। मानक त्रिभुज पर कसौटी: a+jb+j2c=1+j⋅j+j2⋅j2=1+j2+j4=1+j2+j=0: संतुष्ट, जैसा समबाहु त्रिभुज (1,j,j2) माँगता है।
19.C पर कोई वास्तविक बहुपद रैखिक गुणनखंडों में बँट जाता है; उसके अवास्तविक मूलसंयुग्मी युग्मों में आते हैं (समीकरण का संयुग्मन कीजिए), और हर युग्म गुणा होकर एक वास्तविक द्विघात z2−2Re(z0)z+∣z0∣2 बन जाता है: अतः घात-1 और घात-2 के टुकड़ों में वास्तविक गुणनखंडन — प्रश्न 12 ने उसे z4+4 पर करके दिखाया।
20. बिंदु; घूर्णन-और-मापन; सम बहुभुज; प्रसार से त्रिकोणमितीय सर्वसमिकाएँ; और एक ऐसा बंद संसार जहाँ घात n के हर समीकरण के nमूल होते हैं। समापन-पद: प्रश्न 10 में π के पंचभुज ने स्वर्ण अनुपात से हाथ मिलाया — यूक्लिड के दोनों सबसे प्रसिद्ध अतिथि, जिनका परिचय अंततः शून्य के बराबर पाँच तीरों के योग ने कराया।