माना कि <math>f</math> फलन हो। माना कि <math>a \in \mathbb{R}</math>; <math>a</math> स्थिर गुणांक होगा। माना कि <math>j</math> फलन बनें, जहां j को केवल वहीं परिभाषित किया गया है <math>f</math> परिभाषित किया गया। (दूसरे शब्दों में, का डोमेन <math>j</math> के डोमेन के सामान्तर है <math>f</math>।) माना कि <math>x</math> के क्षेत्र में हो <math>j</math>, माना कि <math>j(x) = af(x)</math>।
माना कि <math>f</math> फलन हैं। <math>a \in \mathbb{R}</math>; जहाँ <math>a</math> स्थिर गुणांक होगा। <math>j</math> फलन हैं, जहां j को केवल वहीं परिभाषित किया गया है <math>f</math> परिभाषित किया गया। (दूसरे शब्दों में, <math>j</math> का डोमेन के <math>f</math> डोमेन के सामान्तर है।) माना कि <math>x</math> के क्षेत्र में हो <math>j</math>, माना कि <math>j(x) = af(x)</math>।
हम यह सिद्ध करना चाहते हैं <math> j^{\prime}(x) = af^{\prime}(x)</math>।
हम यह सिद्ध करना चाहते हैं <math> j^{\prime}(x) = af^{\prime}(x)</math>।
कैलकुलस में, किसी भी फलन (गणित) के रैखिक संयोजन का व्युत्पन्न फलन के यौगिक के समान रैखिक संयोजन के सामान्तर होता है;[1] इस गुण को विभेदन की रैखिकता के नियम के रूप में जाना जाता है,[2] या विभिन्निता के लिए सुपरपोजीशन नियम के नाम से जाना जाता है।[3] यह मूलभूत गुणसूत्र है जो विभेदीकरण के तत्वों को ही नियम में सम्मिलित करता है, विभेदन में योग नियम (दो फलन के योग का व्युत्पन्न व्युत्पन्नों का योग है) और विभेदन में स्थिर कारक नियम किसी फलन के अचर गुणज का व्युत्पन्न, व्युत्पन्न का ही अचर गुणज होता है)।[4][5] इसलिए इसका कहना है कि विभेदन रैखिक मानचित्र है, या विभेदक संचालिका रेखीय मानचित्र संचालिका है।[6]
माना कि f और g फलन बनें, साथ α और β स्थिरांक अब विचार करें
विभेदन में योग नियम के अनुसार, यह है
और विभेदन में स्थिर कारक नियम से, यह कम हो जाता है
इसलिए,
कोष्ठक को हटाकर, इसे अधिकांशतः इस प्रकार लिखा जाता है:
परिभाषा से विस्तृत प्रमाण/व्युत्पन्न
हम संपूर्ण रैखिकता सिद्धांत को ही बार में सिद्ध कर सकते हैं, या हम व्यक्तिगत चरणों (स्थिर कारक और जोड़ने के) को व्यक्तिगत रूप से सिद्ध कर सकते हैं। यहां, दोनों विधि दिखाए जाएंगे।
रैखिकता को सीधे सिद्ध करना स्थिर कारक नियम, योग नियम और अंतर नियम को विशेष स्थितियों के रूप में भी सिद्ध करता है। दोनों स्थिर गुणांकों को निर्धारित करके योग नियम के द्वारा प्राप्त किया जाता है अंतर नियम पहला स्थिरांक गुणांक निर्धारित करके प्राप्त किया जाता है, और दूसरा स्थिरांक गुणांक है। स्थिर कारक नियम या तो दूसरे स्थिर गुणांक या दूसरे फलन को समुच्चय करके प्राप्त किया जाता है (तकनीकी दृष्टिकोण से, दूसरे फलन के फलन के डोमेन पर भी विचार किया जाना चाहिए - समस्याओं से बचने का विधि दूसरे फलन को पहले फलन के सामान्तर और दूसरे निरंतर गुणांक को सामान्तर समुच्चय करना है , कोई दूसरे स्थिरांक गुणांक और दूसरे फलन दोनों को 0 के रूप में परिभाषित कर सकता है, जहां दूसरे फलन का डोमेन अन्य संभावनाओं के बीच पहले फलन का उपसमूह है।)
इसके विपरीत, यदि हम पहले स्थिर कारक नियम और योग नियम को सिद्ध करते हैं, तो हम रैखिकता और अंतर नियम को सिद्ध कर सकते हैं। रैखिकता को सिद्ध करना पहले और दूसरे फलन को दो अन्य फलन के रूप में परिभाषित करके निरंतर गुणांक द्वारा गुणा किया जाता है। फिर, जैसा कि पिछले अनुभाग से व्युत्पत्ति में दिखाया गया है, हम विभेदन करते समय पहले योग विधि का उपयोग कर सकते हैं, और फिर निरंतर कारक नियम का उपयोग कर सकते हैं, जो रैखिकता के लिए हमारे निष्कर्ष तक पहुंचेगा। अंतर नियम को सिद्ध करने के लिए, दूसरे फलन को स्थिर गुणांक द्वारा गुणा किए गए किसी अन्य फलन के रूप में फिर से परिभाषित किया जा सकता है , इसे सरल बनाने पर, हमें विभेदन के लिए अंतर नियम मिलेगा।
नीचे दिए गए प्रमाण/व्युत्पन्न में,[7][8] गुणांक उपयोग किया जाता है; वे गुणांकों के अनुरूप हैं ऊपर।
रैखिकता (सीधे)
माना कि । माना कि फलन हो माना कि फलन हो, जहां केवल वहीं परिभाषित किया गया है और दोनों परिभाषित हैं। (दूसरे शब्दों में, का डोमेन के डोमेन का प्रतिच्छेदन है और ।) माना कि के क्षेत्र में हो । माना कि ।
हम यह सिद्ध करना चाहते हैं ।
परिभाषा के अनुसार, हम इसे देख सकते हैं
सीमाओं के योग के लिए सीमा विधि का उपयोग करने के लिए, हमें यह जानना आवश्यक है और दोनों व्यक्तिगत रूप से उपस्थित हैं। इन छोटी सीमाओं के लिए, हमें यह जानना आवश्यक है और सीमा के लिए गुणांक विधि का उपयोग करने के लिए दोनों व्यक्तिगत रूप से उपस्थित हैं। परिभाषा से, और । तो, यदि हम यह जानते हैं और दोनों अस्तित्व में हैं, यह हम जान लेंगे और दोनों व्यक्तिगत रूप से उपस्थित हैं। यह हमें लिखने की सीमा के लिए गुणांक विधि का उपयोग करने की अनुमति देता है
और
इसके साथ, हम सीमाओं के योग के लिए सीमा विधि को लागू करने के लिए वापस जा सकते हैं, क्योंकि हम यह जानते हैं और दोनों व्यक्तिगत रूप से उपस्थित हैं। यहां से, हम सीधे उस व्युत्पन्न पर वापस जा सकते हैं जिस पर हम काम कर रहे थे।
अंततः, हमने वही दिखाया जो हमने प्रारंभ में प्रामाणित किया था: ।
योग
माना कि फलन हो। माना कि फलन हो, जहां केवल वहीं परिभाषित किया गया है और दोनों परिभाषित हैं। (दूसरे शब्दों में, का डोमेन के डोमेन का प्रतिच्छेदन है और ।) माना कि के क्षेत्र में हो , माना कि ।
हम यह सिद्ध करना चाहते हैं ।
परिभाषा के अनुसार, हम इसे देख सकते हैं
यहां सीमाओं के योग के लिए विधि का उपयोग करने के लिए, हमें यह दिखाना होगा कि व्यक्तिगत सीमाएं, और दोनों उपस्थित हैं। परिभाषा से, और , इसलिए जब भी व्युत्पन्न होते हैं तो सीमाएं उपस्थित होती हैं और अस्तित्व है। इसलिए, यह मानते हुए कि व्युत्पन्न उपस्थित हैं, हम उपरोक्त व्युत्पत्ति को जारी रख सकते हैं
इस प्रकार, हमने वह दिखा दिया जो हम दिखाना चाहते थे, कि: ।
अंतर
माना कि फलन हो। माना कि फलन हो, जहां केवल वहीं परिभाषित किया गया है और दोनों परिभाषित हैं। (दूसरे शब्दों में, का डोमेन और के डोमेन का प्रतिच्छेदन है।) माना कि के क्षेत्र में हो , माना कि ।
हम यह सिद्ध करना चाहते हैं ।
परिभाषा के अनुसार, हम यह देख सकते हैं:
यहां सीमाओं के अंतर के लिए विधि का उपयोग करने के लिए, हमें यह दिखाना होगा कि व्यक्तिगत सीमाएं, और दोनों उपस्थित हैं। परिभाषा से, ओर वो , इसलिए जब भी व्युत्पन्न होते हैं तो ये सीमाएँ उपस्थित होती हैं और अस्तित्व है। इसलिए, यह मानते हुए कि व्युत्पन्न उपस्थित हैं, हम उपरोक्त व्युत्पत्ति को जारी रख सकते हैं
इस प्रकार, हमने वह दिखा दिया जो हम दिखाना चाहते थे, कि: ।
स्थिर गुणांक
माना कि फलन हैं। ; जहाँ स्थिर गुणांक होगा। फलन हैं, जहां j को केवल वहीं परिभाषित किया गया है परिभाषित किया गया। (दूसरे शब्दों में, का डोमेन के डोमेन के सामान्तर है।) माना कि के क्षेत्र में हो , माना कि ।
हम यह सिद्ध करना चाहते हैं ।
परिभाषा के अनुसार, हम यह देख सकते हैं:
अब, यह दिखाने के लिए स्थिर गुणांकों के लिए सीमा विधि का उपयोग करें
हमें वह दिखाने की आवश्यकता है उपस्थित ।
चूँकि , , व्युत्पन्न की परिभाषा के अनुसार। तो यदि तो उपस्थित है उपस्थित ।
इस प्रकार, यदि हम ऐसा मान लें उपस्थित है, हम सीमा विधि का उपयोग कर सकते हैं और अपना प्रमाण जारी रख सकते हैं।
इस प्रकार, हमने यह सिद्ध कर दिया है कि कब , अपने पास ।